Linguagens formais
teorias e conceitos

linguagens formais, autômatos, autômatos finitos, gramáticas regulares, linguagens livres de contexto, máquinas de Turing, teoria da computação, hierarquia de Chomsky, decidibilidade, matemática discreta, funções computáveis, análise sintática, complexidade computacional, computabilidade, linguagens recursivas, ciência da computação

Sinopse

Visão geral:

- Este livro aborda a teoria das linguagens formais, abrangendo desde conceitos introdutórios de matemática discreta até as classes de linguagens da Hierarquia de Chomsky.
- Os aspectos fundamentais das linguagens formais são apresentados com base em definições teóricas, exemplos práticos, exercícios resolvidos e discussões sobre decidibilidade e complexidade.
- O livro é escrito em estilo didático, estruturado para facilitar o aprendizado com tópicos graduais, muitos exercícios ao final dos capítulos e linguagem acessível para alunos de graduação.
- Inclui glossário, índice remissivo e referências bibliográficas.

Sobre este livro:

O conteúdo está organizado de forma sequencial e pedagógica, iniciando com fundamentos em matemática discreta, como conjuntos, lógica, grafos e árvores. A seguir, o livro explora os conceitos básicos de linguagens, como símbolos, cadeias, gramáticas, autômatos e a hierarquia de Chomsky.

Os capítulos centrais desenvolvem as linguagens regulares e livres de contexto, com foco em gramáticas, expressões regulares, autômatos finitos e de pilha, bem como análise de ambiguidade e simplificação. Em seguida, aborda-se linguagens sensíveis ao contexto e recursivas, discutindo as máquinas de Turing e os limites da computação.

Por fim, o livro trata das linguagens recursivamente enumeráveis, decidibilidade e redutibilidade, oferecendo uma visão teórica completa para estudantes de Ciência da Computação e áreas afins. É um recurso essencial para disciplinas como Linguagens Formais e Teoria da Computação.

Metadado adicionado por Blucher em 28/07/2023

ISBN relacionados

9786555067170 (ISBN do e-book em ePUB)