Primeiro trabalho Linguagens Formais e Computabilidade