Trabalho de Linguagens Formais