Passaram-se mais de trinta anos desde que John Hopcroft e Jeffrey Ullman publicaram a primeira edição deste livro clássico sobre linguagens formais, teoria de autômatos e complexidade computacional. Com esta revisão há tanto tempo esperada, os autores continuam a apresentar o assunto de maneira concisa e objetiva, com uma visão das aplicações práticas acompanhando o rigor matemático. Esta edição foi revisada para se tornar mais acessível aos alunos de hoje, com a inclusão de maior quantidade de material sobre elaboração de provas e demonstrações, mais figuras e diagramas para apresentar idéias, quadros para destacar temas inter-relacionados e um estilo de redação menos formal. O livro inclui muitos exercícios novos em cada capítulo, a fim de ajudar os leitores a confirmar e ampliar sua compreensão do assunto.
Esta nova edição apresenta os seguintes recursos:
Completamente reescrito para ficar menos formal, proporcionando maior acessibilidade
Enfatiza aplicações modernas da teoria
Utiliza numerosas figuras para auxiliar a apresentação das idéias
Fornece mais detalhes e intuição para definições e demonstrações
Inclui quadros explicativos especiais para apresentar material suplementar que poderá ser do interesse dos leitores
Desafia os leitores com exercícios extensivos de níveis de dificuldade amplamente variáveis
Apresenta uma notação gráfica para PDAs e máquinas de Turing