Linguagens Formais e Computabilidade - UFS