Este livro aborda a teoria das linguagens formais, desde conceitos introdutórios de matemática discreta até a Hierarquia de Chomsky. Com linguagem acessível, apresenta definições teóricas, exemplos práticos, exercícios e discussões sobre decidibilidade e complexidade. Organizado de forma sequencial, explora fundamentos matemáticos, linguagens regulares, livres de contexto, sensíveis ao contexto e recursivamente enumeráveis, incluindo máquinas de Turing. Indicado para estudantes de Ciência da Computação, oferece visão teórica completa em disciplinas como Linguagens Formais e Teoria da Computação.