Sumários
Indecidibilidade de A_TM
27 Novembro 2019, 09:30 • André Souto
Prova que N, Z e Q, conjunto das máquinas de Turing e de todas as strings são enumeráveis.
Resolução de exercícios sobre máquinas de Turing
27 Novembro 2019, 08:00 • André Souto
Continuação da resolução de exercícios sobre máquinas de Turing.
Resolução de exercícios sobre máquinas de Turing
26 Novembro 2019, 11:00 • Andreia Mordido
Continuação da resolução de exercícios sobre máquinas de Turing.
Resolução de um exercício prático para a avaliação contínua.Resolução de exercícios sobre máquinas de Turing
26 Novembro 2019, 10:30 • André Souto
Continuação da resolução de exercícios sobre máquinas de Turing.
Decidibilidade de linguagens
26 Novembro 2019, 09:30 • André Souto
Continuação da aula anterior: Decidibiliade da linguagem vazia em DFA e da igualdade entre linguagens de DFA.