Trabalho 1 de Linguagens Formais