Máquinas de Turing
13 Novembro 2018, 09:30 • André Souto
Motivação para considerar as Máquinas de Turing.
A Tese de Church-Turing.
Noção intuitiva de Máquina de Turing.
Diferenças paras autómatos finitos.
Périplo para a definição de máquina de Turing.
Exemplos.
Definição formal de Máquina de Turing.
Definição de computação numa máquina de Turing.
Exemplos.
Estudar secção 3.1 do Sipser.