Trabalho 01 de Linguagens Formais e Computabilidade - Victor Ferreira Pereira