Linguagens Formais e Autômatos, 6.ed., apresenta os principais conceitos e resultados de linguagens formais e autômatos, de uma forma simples e acessível, sem descuidar do desenvolvimento do raciocínio nem dos aspectos matemático-formais. Sempre que possível, as construções apresentadas são instanciadas em casos aplicados a computação e informática. Este é um livro-texto para disciplinas dos cursos de graduação em computação e informática, de acordo com as Diretrizes Curriculares do MEC, bem como um livro de referência para diversos aspectos da computação. O livro é autocontido e possui uma apresentação que facilita a adequação do texto aos objetivos propostos, à carga horária e aos pré-requisitos da disciplina. É ilustrado com cerca de 125 figuras, 90 exemplos detalhados, 250 exercícios em níveis crescentes de raciocínio e um completo índice com cerca de 720 entradas.
Informática e Tecnologia