Trabalho final da disciplina: Linguagens Formais e Autômatos