MAC4722 - Linguagens, Autômatos e Computabilidade (2020)

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