Trabalho final da cadeira de Linguagens Formais e Autômatos