Sinopse: 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 d e ajudar os leitores a confirmar e ampliar sua compreensão do assunto.
