Projeto de Linguagens Formais e Computabilidade de Kelvin Marx do Nascimento Modesto