Apresenta os principais conceitos e resultados de linguagens formais e autômatos, de uma forma simples e acesśvel, sem descuidar do desenvolvimento do racioćnio nem dos aspectos matemático-formais. Atende as diretrizes curriculares do MEC.