Trabalho de Linguagens Formais e Computabilidade - UFS