Linguagem Formal e Teoria dos Automatos

O livro contem uma cobertura aprofundada sobre topicos relacionados a teoria da computacao trabalhados em titulos de bacharel e mestrado de varias universidades. Uma quantidade suficiente de fundamentos teoricos apoiados por diversas ilustracoes esta incluida para aqueles que possuem profundo interesse no assunto. Nos primeiros capitulos, o livro apresenta o material basico necessario para o estudo das teorias dos automatos. Exemplos de topicos trabalhados sao: linguagens regulares e Teorema de Kleene; automato minimo e monoides sintaticos; o relacionamento entre linguagens livres de contexto e automatos com pilha; maquinas de Turing e decidibilidade. Este livro fornece aos alunos um estilo de escrita mais informal, assim como uma cobertura mais acessivel da teoria dos automatos, tratamento solido nas construcoes de prova, muitas figuras e diagramas para ajudar a comunicar ideias, e barras laterais para destacar materiais relacionados. Cada capitulo oferece uma abundancia de exercicios para um aprendizado pratico e direto.