1ª colocação no 1º Prêmio Jabuti Acadêmico (2024), na categoria Ciência da Computação (vídeo da premiação, vídeo completo)
Autores:
- Marcus Vinicius Midena Ramos
- João José Neto
- Italo Santiago Vega
Editora Blucher
2023
ISBN 9786555067163
608 páginas
Revisão completa do livro publicado em 2009. Contempla a errata, o material adicional, seções novas e uma série de novidades.
Seções revisadas:
- Seção 1.1 - Conjuntos
- Seção 1.7 - Teoremas e demonstrações
- Seção 2.5 - Autômatos e reconhecedores
- Seção 3.1 - Gramáticas regulares
- Seção 3.3 - Autômatos finitos
- Seção 3.7 - Transdutores finitos
- Seção 3.9 - Linguagens que não são regulares
- Seção 3.10 - Propriedades de fechamento
- Seção 4.5 - Simplificação de gramáticas livres de contexto
- Seção 4.6 - Formas normais para gramáticas livres de contexto
- Seção 4.14- Linguagens que não são livres de contexto
- Seção 4.15 - Propriedades de fechamento
- Seção 4.16- Questões decidíveis
- Seção 6.2 - Critérios de aceitação
- Seção 7.6 - Linguagens que não são recursivamente enumeráveis
- Seção 7.10 - Redutibilidade
A Seção 4,7 foi subdividida em duas, por questões de clareza e padronização do texto:
- Seção 4.7 - Autômatos de pilha
- Seção 4.8 - Critérios de aceitação
As seguintes novas seções foram incorporadas ao texto, visando torná-lo mais completo, claro e auto-contido:
- Seção 1.6 - Lógica formal
- Seção 2.6 - Gramáticas e autômatos
- Seção 4.12 - Linguagens livres de contexto descendentes
- Seção 6.5 - Máquinas de Turing Universais
- Seção 7.11 - Linguagens, problemas e seus complementos
Diversos pequenos trechos, nas demais seções, também foram revisados e sofreram modificações.
O Glossário, ao final do texto, passou por uma grande expansão e mais do que triplicou de tamanho. Com tudo isso, o número de páginas cresceu bastante e foi necessário dividir a obra original em dois novos volumes. Como resultado, todas as seções de modelagem e implementação foram devidamente revisadas, atualizadas, corrigidas onde cabível e expandidas, dando origem à um volume separado.
Assim, o presente volume trata da teoria e dos conceitos e um segundo, que está sendo publicado de forma simultânea a este, traz 601 exercícios resolvidos sobre a matéria. Agora, portanto, são dois os volumes que tratam do assunto:
- Linguagens Formais: Teoria e Conceitos (o presente volume);
- Linguagens Formais: Exercícios e Soluções.
Um terceiro volume, planejado para o futuro, conterá toda a parte de modelagem (em UML) e implementação (em Ruby).
Material de apoio:
Revisões:
Notícias:
Para adquirir: Amazon ou Editora Blucher.
Dúvidas, críticas, erros ou sugestões? Envie um email para marcus (dot) ramos (at) univasf (dot) edu (dot) br
