MAC4722 Linguagens, Autômatos e Computabilidade

Esta disciplina se propõe a introduzir o aluno aos conceitos de Linguagens Formais, Autômatos e Computabilidade.