Primeiro trabalho de Linguagens Formais e Computabilidade 2013.2