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.

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.

Alunos de graduação em Engenharia de Software

Confira o sumário detalhado desse livro (clique aqui).

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

Revisão:
Júlio Henrique Araújo Pereira Machado, Mestre em Ciência da ComputaçãoGraduado em Ciência da Computação

SOUSA, C. E. B. et al. Linguagens formais e autômatos. Porto Alegre: SAGAH, 2021.