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. Atende as diretrizes curriculares do MEC