Trabalho de Linguagens Formais e Automatos (IME)