Trabalho 1 de Linguagens Formais e Computabilidade com correções