Voltar ao notebook

Modelos computacionais

Linguagens Formais e Autômatos

Teoria organizada por aula, autômatos finitos, autômatos com pilha, máquinas de Turing e exercícios resolvidos passo a passo.

GitHub original

Rota de estudo

Teoria

Roteiro conceitual do semestre, da teoria regular até máquinas de Turing.

Abrir pagina

Rota de estudo

Prática

Resoluções guiadas para fixar gramáticas, linguagens e autômatos.

Abrir pagina

Rota de estudo

Revisão

Revisão consolidada com GLC, AP, MT, decidibilidade e complexidade.

Abrir pagina