Máquina de Turing universal
21 Novembro 2018, 09:30 • André Souto
O postulado de Church-Turing e o 10º problema de Hilbert.
Considerações sobre algoritmos.
Codificações de objectos para máquinas de Turing.
Exemplos: grafos e máquinas de Turing.
Definição de máquina de Turing universal.
Prova da existência de uma máquina de Turing universal.
Estudar a secção 3.3 do Sipser.