Introdução à Teoria de Autômatos, Linguagens e Computação

Conhecido internacionalmente no meio académico como o livro de referência absoluto sobre a teoria da computação, este manual apresenta de forma rigorosa e concisa os conceitos de linguagens formais, teoria dos autômatos e complexidade computacional. Os autores equilibram o formalismo matemático com aplicações práticas, cobrindo tópicos cruciais como as Máquinas de Turing, gramáticas livres de contexto e problemas NP-completos. Esta 2.ª edição foi amplamente revisada para incluir mais diagramas, figuras e uma vasta coleção de exercícios práticos que facilitam a aprendizagem.

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