Teoria da Computação


Período letivo 2025.1:


Simuladores:


Máquinas de Turing (salvar como .jff e depois abrir no JFLAP):


Slides:

Material complementar:


Avaliações:


Aulas ministradas:

Aula 01 - 11/03/2025 - Apresentação e motivação.
Aula 02 - 13/03/2025 - Programas monolíticos, iterativos e recursivos.
Aula 03 - 18/03/2025 - Máquinas. Programa para uma máquina. Computação.
Aula 04 - 20/03/2025 - Função computada. Equivalência de programas em uma máquina. Equivalência de máquinas.
Aula 05 - 25/03/2025 - Máquinas de Traços. Instruções rotuladas compostas.
Aula 06 - 27/03/2025 - União disjunta de conjuntos. Cadeias de conjuntos. Simplificação de ciclos infinitos. Rótulos fortemente equivalentes. Verificação da equivalência forte de programas.
Aula 07 -
Aula 08 -
Aula 09 -
Aula 10 -
Aula 11 -
Aula 12 -
Aula 13 -
Aula 14 -
Aula 15 -
Aula 16 -
Aula 17 -
Aula 18 -
Aula 19 -
Aula 20 -
Aula 21 -
Aula 22 -
Aula 23 -
Aula 24 -
Aula 25 -
Aula 26 -
Aula 27 -
Aula 28 -
Aula 29 -
Aula 30 -