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 autmatos. Exemplos de tópicos trabalhados são: linguagens regulares e Teorema de Kleene; autmato mínimo e monoides sintáticos; o relacionamento entre linguagens livres de contexto e autmatos 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 autmatos, 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.
