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 autor es 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 amp liar sua compreensão do assunto.

Autor	Hopcroft, John
Editora	LTC - GEN
ISBN	8535210725
EAN	9788535210729
Categoria	Computação e Informática / Geral
Assunto	Inteligência Artificial e Semântica
Páginas	584
Número da Edição	1
Ano da Edição	2002