Diferencia entre revisiones de «La tesis de Church-Turing/Otras Máquinas»
Contenido eliminado Contenido añadido
Línea 37:
La MTO es una máquina de Turing conectada a un oráculo que es capaz de determinar si un elemento pertenece a un conjunto específico de números naturales. Asimismo, esta máquina presenta tres estados especiales:
• ''Estado llamada''
• ''Estado-1''
• ''Estado-0''
Además, la Máquina con Oráculo está formada por un elemento adicional, un símbolo especial que actúa de marcador: μ. Para poder usar su oráculo la máquina debe escribir, en dos recuadros de la cinta el marcador y, entre ambos el símbolo que se desea verificar. Una vez hecho esto, se pasará al estado de ''estado llamada''. A partir de este momento,
. '''Primero:''' Se envía una petición al oráculo.
. '''Segundo:''' La máquina finaliza en el ''estado-1'' si el número escrito pertenece al ''conjunto oráculo'' y, en caso contrario, finaliza en el ''estado-0''.
| |||