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.