Trabalho 01 - Linguagens Formais e Computabilidade - Victor Ferreira Pereira