Introdução à teoria, linguagens e computação dos autômatos -Introduction to Automata Theory, Languages, and Computation
 Capa do Livro da Cinderela (edição de 1979)
| |
| Autor | John Hopcroft e Jeffrey Ullman |
|---|---|
| País | EUA |
| Língua | inglês |
| Sujeito | Ciência da Computação |
| Editor | Addison-Wesley |
Data de publicação |
1979 |
| Tipo de mídia | Impressão |
| ISBN | 0-201-02988-X |
| OCLC | 4549363 |
| 629,8 / 312 | |
| Classe LC | QA267 .H56 |
Introdução à Teoria de Autômatos, Linguagens e Computação é umlivro-textoinfluente de ciência da computação de John Hopcroft e Jeffrey Ullman sobre linguagens formais e teoria da computação . Rajeev Motwani contribuiu para a edição de 2000 e posteriores.
Apelido
O Arquivo Jargão registra o apelido do livro, Livro da Cinderela , assim: "Chamado porque a capa mostra uma garota (supostamente Cinderela) sentada na frente de um dispositivo de Rube Goldberg e segurando uma corda saindo dele. Na contracapa, o dispositivo está em frangalhos depois de (inevitavelmente) puxar a corda. "
História da edição e recepção
O precursor deste livro apareceu sob o título Linguagens formais e sua relação com os autômatos em 1968. Formando uma base para a criação de cursos sobre o tema, bem como para pesquisas futuras, esse livro moldou o campo da teoria dos autômatos por mais de um década, cf. (Hopcroft 1989).
- Hopcroft, John E .; Ullman, Jeffrey D. (1968). Linguagens formais e sua relação com autômatos . Addison-Wesley.
- Hopcroft, John E .; Ullman, Jeffrey D. (1979). Introdução à Teoria, Linguagens e Computação dos Autômatos (1ª ed.). Addison-Wesley. ISBN 81-7808-347-7.
- Hopcroft, John E .; Motwani, Rajeev; Ullman, Jeffrey D. (2000). Introdução à Teoria dos Autômatos, Linguagens e Computação (2ª ed.). Addison-Wesley. ISBN 81-7808-347-7.
- Hopcroft, John E .; Motwani, Rajeev; Ullman, Jeffrey D. (2006). Introdução à Teoria, Linguagens e Computação dos Autômatos (3ª ed.). Addison-Wesley. ISBN 0-321-45536-3.
- Hopcroft, John E .; Motwani, Rajeev; Ullman, Jeffrey D. (2013). Introdução à Teoria, Linguagens e Computação dos Autômatos (3ª ed.). Pearson. ISBN 978-1292039053.
A primeira edição de Introdução à Teoria, Linguagens e Computação dos Autômatos foi publicada em 1979, a segunda edição em novembro de 2000 e a terceira edição apareceu em fevereiro de 2006. Desde a segunda edição, Rajeev Motwani juntou-se a Hopcroft e Ullman como terceiro autor . Começando com a segunda edição, o livro apresenta cobertura estendida de exemplos onde a teoria dos autômatos é aplicada, enquanto grandes partes da teoria mais avançada foram retiradas. Embora isso torne a segunda e a terceira edições mais acessíveis para iniciantes, torna-a menos adequada para cursos mais avançados. O novo viés para longe da teoria não é visto como positivo por todos: como Shallit cita um professor, "eles removeram todas as partes boas". (Shallit 2008).
A primeira edição, por sua vez, constituiu uma revisão importante de um livro anterior também escrito por Hopcroft e Ullman, intitulado Formal Languages and their Relation to Automata . Foi publicado em 1968 e é referido na introdução da edição de 1979. Em uma nota histórica pessoal sobre o livro de 1968, Hopcroft declara: "Talvez o sucesso do livro veio de nossos esforços para apresentar a essência de cada prova antes de realmente fornecer a prova" (Hopcroft 1989). Comparado com o livro anterior, a edição de 1979 foi expandida e o material foi retrabalhado para torná-lo mais acessível aos alunos, cf. (Hopcroft 1989). Essa orientação para a compreensibilidade ao preço da sucinta não foi vista de forma positiva por todos. Como Hopcroft relata sobre o feedback da edição revisada de 1979: "Parece que nossas tentativas de diminuir o nível de nossa apresentação para o benefício dos alunos, incluindo mais detalhes e explicações, tiveram um efeito adverso no corpo docente, que então teve que examinar o adicionou material para delinear e preparar suas palestras "(Hopcroft 1989).
Ainda assim, a edição mais citada do livro é aparentemente a edição de 1979: De acordo com o site CiteSeerX , mais de 3.000 artigos científicos disponíveis gratuitamente online citam esta edição do livro.
Veja também
- Introdução à Teoria da Computação por Michael Sipser , outro livro-texto padrão na área
- Lista de publicações importantes em ciência da computação teórica
Referências
links externos
- Entrada "Livro da Cinderela". In: O arquivo Jargon (versão 4.4.7, 29 de dezembro de 2003).
- Hopcroft, John E. (1989). "O surgimento da ciência da computação - Um comentário clássico de citação sobre 'Linguagens formais e sua relação com os autômatos ' " . Conteúdo Atual Engenharia, Tecnologia e Ciências Aplicadas . 31 : 12. disponível online (pdf)
- Shallit, Jeffrey O. (2008). Um segundo curso em linguagens formais e teoria dos autômatos . Cambridge University Press. p. ix. ISBN 978-0-521-86572-2.