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

Definir modelos de computação (autômatos) e estudar suas relações com classes de linguagens.