Diferencia entre revisiones de «La tesis de Church-Turing/Otras Máquinas»
Contenido eliminado Contenido añadido
Línea 56:
La siguiente ilustración muestra el funcionamiento del oráculo de una O-Machine:
[[Imagen:simulacion_funcionamiento_maquina_oraculo.png]]
A partir de los conceptos introducidos anteriormente, intuitivamente podemos afirmar que una MTO puede resolver el problema de la parada. Para ello, basta con facilitarle el alfabeto correspondiente a dicho problema. Este tipo de máquinas nos permite descubrir si para una determinada entrada ''n'', la máquina se va a detener o no:
| |||