Máquinas de Turing
15 Novembro 2016, 09:30 • Ana Respicio
Máquinas de Turing: variantes ao modelo padrão, equivalência do poder computacional entre as variantes ao modelo padrão.
Linguagem Turing-reconhecível.
Linguagem decidível.
15 Novembro 2016, 09:30 • Ana Respicio
Máquinas de Turing: variantes ao modelo padrão, equivalência do poder computacional entre as variantes ao modelo padrão.