Trabalho para a disciplina de Linguagens Formais e Autômatos