Trabalho de Linguagens Formais e Autômatos 2013/1