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 dos 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 transmitir ideias e quadros para destacar temas interrelacionados. O livro inclui muitos exercícios novos em cada capítulo, a fim de ajudar os leitores a validar e ampliar sua compreensão do assunto.