Linguagens Formais e Autômatos
Autor: Victor de Andrade Machado , Carlos Estevao Bastos Sousa , Leonardo Brendo Gomes Nascimento , Rafael Leal Martins , Morgana Macedo Azevedo da Rosa , Diego Vrague Noble , Fernanda Rosa da Silva , Lucas Rafael Costella Pessutto
LIVRO IDEAL PARA
Alunos de graduação em Engenharia de Software
SOBRE O LIVRO
No livro Linguagens formais e autômatos, você encontrará uma abordagem detalhada, técnica e bem embasada sobre um tema absolutamente básico, mas muitas vezes relegado, e que todo profissional da área de computação precisa estudar para formar uma base sólida de conhecimentos.
Resumo
No livro Linguagens formais e autômatos, o leitor encontrará uma rigorosa e vasta abordagem dessa área fundamental de estudos para qualquer profissional da computação. Subjacentes aos compiladores e interpretadores de programação estão exatamente os autômatos e a noção de linguagens formais, determinantes para identificar a correção e validade de estruturas geradas por programadores em cada linguagem específica. Para aqueles que desejam aprender mais sobre o assunto, este livro examina tópicos como autômatos finitos determinísticos e não determinísticos, linguagens, expressões e gramáticas regulares, linguagens recursivas, máquina de Turing, entre muitos outros.
Referência
SOUSA, C. E. B. et al. Linguagens formais e autômatos. Porto Alegre: SAGAH, 2021.
Informações técnicas
eBook
Formato ePDF
Páginas 255
ISBN 9786556901138
Ano 2021
Equipe técnica
Júlio Henrique Araújo Pereira Machado, Mestre em Ciência da ComputaçãoGraduado em Ciência da Computação
Sumário
Autômatos finitos determinísticos
Linguagens formais e autômatos: autômatos finitos não determinísticos
Linguagens regulares
Expressões regulares
Gramáticas regulares
Autômatos de pilha determinísticos
Autômatos de pilha não determinísticos
Linguagens livres do contexto
Gramáticas livres do contexto
Máquina de Turing
Linguagens recursivamente enumeráveis
Linguagens recursivas
Linguagens sensíveis ao contexto e irrestritas
Gramáticas e máquina de Turing
Decidibilidade
Estudo de caso