Primeiro trabalho de Linguagens Formais e Computabilidade