REDUCIBILIDAD DE TURING

 En teoría de la computacion las funciones

computables o funciones Turing-computables
son los objetos básicos de estudio. Hacen
nuestras nociones intuitivas de algoritmo
precisas y según el tesis Church-Turing son
exactamente las funciones que pueden ser
calculados con una máquina de calculación. La
noción de la computabilidad de una función
puede ser relativizado a un conjunto arbitrario de
números naturales A, o equivalentemente a una
función arbitraria f de los naturales a los
naturales, por medio de máquinas de Turing
extendidas por un oráculo por A ó f.
 Tales funciones puede ser llamados A-
computable o f-computable
respectivamente. Antes de la definición
precisa de una función computable
matemáticos solían usar el término informal
efectivamente computable.
 La reducibilidad de Turing consiste en
convertir un problema en otro, de tal manera
que se pueda resolver más fácilmente.
 Post propuso un camino para obtener un conjunto
no completo para la reducibilidad de Turing,
definiendo y estudiando reducibilidades
intermedias. Así, las diferencias importantes entre
la reducción M y la de Turing son obviamente el
poder efectuar mas de una pregunta, y en segundo
lugar el poder “hacer lo contrario” de lo que indica
la respuesta; pero la propiedad realmente
relevante resulta ser un poder que cada pregunta
dependa esencialmente de las respuestas
obtenidas a preguntas anteriores.
 Para poder explicar la reducibilidad de turing
necesitamos saber lo que son los oráculos.
Ejemplo de oráculo:

 Tengamos un lenguaje A, donde A es subconjunto de S*.

Una máquina de turing con oráculo A es una maquina de
turing de una sola cinta con tres estados especiales q?, qy, y
qn. El estado q? es usado para preguntar si una cadena es
parte del lenguaje A. cuando la MT entra al estado q?
solicita una respuesta a la pregunta: ¿Está la cadena que no
es de símbolos vacíos a la derecha de la cabeza en A? La
respuesta es suministrada obteniendo el cambio de estado
de la MT en el siguinte movimiento a uno de los estados qy,
ó qn dependiendo de si la respuesta es si o no. El cómputo
continúa normalmente hasta la proxima vez que se entre a
q? cuando el oráculo responda otra pregunta.
 La reducibilidad de Turing consiste
básicamente en comprobar que L1 es
recursivo en L2.
GRACIAS