Trabalho 01 - Linguagens Formai e Computabilidade - Victor Ferreira Pereira