Trabalho Linguagem Formais - FACIN