MAC4722 - Linguagens, Autômatos e Computabilidade

Definir modelos de computação e estudar suas relações com classes de linguagens.