Linguagem Formal e Teoria dos Autômatos

O livro contém uma cobertura aprofundada sobre tópicos relacionados à teoria da computação trabalhados em títulos de bacharel e mestrado de várias universidades. Uma quantidade suficiente de fundamentos teóricos apoiados por diversas ilustrações está incluída para aqueles que possuem profundo interesse no assunto. Nos primeiros capítulos, o livro apresenta o material básico necessário para o estudo das teorias dos autômatos. Exemplos de tópicos trabalhados são: linguagens regulares e Teorema de Kleene; autômato mínimo e monoides sintáticos; o relacionamento entre linguagens livres de contexto e autômatos com pilha; máquinas de Turing e decidibilidade. Este livro fornece aos alunos um estilo de escrita mais informal, assim como uma cobertura mais acessível da teoria dos autômatos, tratamento sólido nas construções de prova, muitas figuras e diagramas para ajudar a comunicar ideias, e barras laterais para destacar materiais relacionados. Cada capítulo oferece uma abundância de exercícios para um aprendizado prático e direto.