Apresenta os principais conceitos e resultados de Linguagens Formais e Autômatos,usando uma linguagem simples e acessível a qualquer aluno de graduação,mas 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.