INSTITUTO TECNOLOGICO DE VILLAHERMOSA

MATERIA: TEORIA DE LA COMPUTACION.

INVESTIGACION DE LA UNIDAD VI

PROFESORA: LUCILA JAUREGUI WADE EQUIPO INTEGRANTES: DANIEL CRUZ SALVADOR. OSCAR DE JESUS PEREZ BADAL. ROBERTO ARTURO ALEJO FRIAS. HENRY EDEN LAZARO FUENTEZ. GERMAN JESUS MADRIGUAL GARCIA. EMMANUEL VAQUERO FLORES.

AULA: K _53

VILLAHERMOSA TABASCO NOVIEMBRE 2010

INDICE
TEMAS PGINAS.

6.1 PROBLEMAS INSOLUBLES PARA LA TEORIA DE LENGUAJES. -------------

6.2 UN PROBLEMA SIMPLE INSOLUBLE. -------------------------------------------------

6.3 FUNCIONES COMPUTABLES. ----------------------------------------------------------

6.4 REDUCIBILIDAD DE TURING. ----------------------------------------------------------

REDUCIBILIDAD.
Se dice que un problema L1 se reduce en tiempo polinomial determinstico a otro problema L2, si asumiendo que existe un algoritmo A2 en P que resuelve L2 es posible construir un algoritmo A1 en P que resuelva L1. Escribiremos L1 W L2 para significar que L1 se reduce a L2. Intuitiva: Un problema P1 se reduce polinomialmente a otro problema P2, si existe un algoritmo que transforme una instancia del problema P1 en una instancia del problema P2 en tiempo polinomial determinstico. Ejemplo Ordenar se reduce a encontrar el menor Sabemos que existe Menor (i; j), que devuelve el elemento menor del segmento del arreglo A [i, j]

6.1 PROBLEMAS INSOLUBLES PARA LA TEORIA DE LENGUAJES.

Problemas de decisin. Un problema de decisin (PD) es aquel formulado por una pregunta (referida a alguna propiedad) que requiere una respuesta de tipo si/no. Problemas de decisin. Un problema de decisin es: * Soluble si existe un algoritmo total para determinar si la propiedad es verdadera (Existe una MT que siempre para al resolver el problema). * Parcialmente soluble si existe un algoritmo parcial para determinar si la propiedad es verdadera (existe una MT que resuelve el problema, pero puede no parar). * Insoluble si no existe un procedimiento efectivo para determinar si la propiedad es verdadera (no existe una MT). Ejemplo 1.- Sea el problema Pacept el siguiente problema: Pacept: Existe un procedimiento efectivo capaz de determinar si una mquina de Turing acepta una determinada cadena ? Otra manera de formular el problema sera: Pacept: Existe un procedimiento efectivo capaz de determinar si una determinada cadena, pertenece al lenguaje que reconoce la mquina de Turing T? ,

Para demostrar que Pacept no es soluble, comenzaremos suponiendo que lo es, llegando de esta manera a un absurdo. Este absurdo tendr lugar debido a que la solubilidad de Pacept implica la solubilidad de Pdet. Expresado de otra manera, demostramos que Pdet se reduce a Pacept. Demostracin: Supongamos que Pacept es un problema de decisin soluble. Al ser un problema soluble, entonces existe un procedimiento efectivo (o mquina universal de Turing), X, que resuelve Pacept. X toma como datos de entrada la descripcin de una mquina de Turing T y una cadena y determina en un tiempo finito si T acepta o no a la cadena . Es decir X recibe como

entrada al par (T, ) y retorna un 1 si T acepta , mientras que devuelve la salida 0 si T no acepta . Construyamos a partir de X, un procedimiento efectivo (o mquina universal de Turing) Y La mquina Y recibe como entrada un par (T, ), la cadena de ambos problemas es la misma, lo que necesitamos es un proceso adicional que modifique T de manera que las respuestas de X, respondan el problema de la detencin. Este proceso adicional se lleva a cabo en la mquina universal X que realiza lo siguiente: a. Recibe como dato de entrada la mquina de Turing T. b. Modifica T manteniendo su definicin de quntuplas pero indicando que todos los estados son aceptadores. c. Retorna la mquina modificada con el nombre T. Combinando las mquinas X y comportamiento: X, tenemos la mquina universal Y que tiene el siguiente

1. Y recibe como entrada el par (T, ). 2. La mquina universal Y utiliza X, la cual a partir de T construye T. 3. El par (T, ) es ingresado a la mquina universal X. 4. Si la respuesta de X es 1 entonces T acepta pero entonces T se detiene sobre .

Dado que T se comporta como T solo que siempre que se detiene acepta, podemos afirmar que T se detiene sobre y que por lo tanto Y emite un 1 5. Si la respuesta de X es 0 entonces T no acepta pero entonces T no se detiene sobre . Dado que T tiene a todos sus estados como aceptadores, significa que para no aceptar la cadena, la nica posibilidad es que T no se haya detenido. Como T se comporta como T, podemos afirmar que esta tampoco se detiene y por lo tanto Y emite un 0, ya que T no se detiene sobre . Conclusin: La mquina universal Y retorna 1 (T se detiene sobre ) si X retorna 1 (T acepta ). La mquina universal Y retorna 0 (T no se detiene sobre ) si X retorna 0 (T no acepta ). Hemos mostrado como construir la mquina universal Y que resuelve el problema de la detencin a partir de la mquina universal X que resuelve un problema que supusimos soluble. Sabemos por hiptesis que el problema de la detencin es un problema insoluble, por lo tanto la solucin encontrada mediante la mquina universal Y no puede existir. Lo que implica que alguna de sus componentes no puede existir, es decir o bien X, o bien X no existe. Como por construccin X existe, luego X no. Podemos entonces concluir que Pacept es un problema nosoluble.

Ejemplo 2.- Sea el problema Palguna el siguiente problema: Pacept: Existe un procedimiento efectivo capaz de determinar si una mquina de Turing se detiene sobre alguna cadena? Para demostrar que Palguna no es soluble, comenzaremos suponiendo que lo es, llegando de esta manera a un absurdo. Este absurdo tendr lugar debido a que la solubilidad de Palguna implica la solubilidad de Pdet. Expresado de otra manera, demostramos que Pdet se reduce a Palguna. Demostracin: Supongamos que Palguna es un problema de decisin soluble. Al ser un problema soluble, entonces existe un procedimiento efectivo (o mquina universal de Turing), Alguna, que resuelve Palguna. Alguna toma como datos de entrada la descripcin de una mquina de Turing T y determina en un tiempo finito si T se detiene sobre alguna cadena o no. Es decir Alguna recibe como entrada (T) y retorna un 1 si T se detiene para alguna cadena, mientras que devuelve la salida 0 si T no se detiene para ninguna cadena. Construyamos a partir de Alguna, un procedimiento efectivo (o mquina universal de Turing) Detencin La mquina Detencin recibe como entrada un par (T, ), el problema Palguna solo tiene como entrada una mquina de Turing, por lo que necesitamos un proceso adicional que combine T y de manera que las respuestas de Alguna, respondan el problema de la detencin. Este proceso adicional se lleva a cabo en la mquina universal X que realiza lo siguiente: a. Recibe como dato de entrada la mquina de Turing T y la cadena . b. Construye una mquina de Turing T tal que: i. Para la cadena se comporta como la mquina de Turing T. j. Para toda cadena que no sea la nueva mquina T nunca se detiene o cicla indefinidamente. Combinando las mquinas universales Alguna y X, tenemos la mquina universal Detencin que tiene el siguiente comportamiento: 1. Detencin recibe como entrada el par (T, ). 2. La mquina universal Detencin utiliza X, la cual a partir de T y de Turing T. construye la nueva mquina

3. La mquina de Turing T obtenida en el paso anterior es ingresada a la mquina universal Alguna. 4. Si la respuesta de Alguna es 1 entonces T se detiene para alguna cadena. De la manera en la que construimos T esa cadena necesariamente es la cadena (ya que para el resto sabemos que la mquina siempre cicla) como el comportamiento de T frente a la cadena es el mismo que tiene la mquina T entonces podemos afirmar que T se detiene sobre y que por lo tanto Detencin emite un 1 5. Si la respuesta de Alguna es 0 entonces T no se detiene para ninguna cadena. De la manera en la que construimos T la nica cadena sobre la que T poda detenerse era y que el comportamiento frente a esta cadena era el mismo que el de la mquina T. Podemos entonces afirmar, que la mquina de Turing T tampoco se detiene frente a la cadena y que por lo tanto la respuesta que emite Detencin es igual a 0. Conclusin: La mquina universal Detencin retorna 1 (T se detiene sobre ) si Alguna retorna 1 (T se detiene sobre alguna cadena).

La mquina universal Detencin retorna 0 (T no se detiene sobre ) si Alguna retorna 0 (T se detiene sobre ninguna cadena). Hemos mostrado como construir la mquina universal Detencin que resuelve el problema de la detencin a partir de la mquina universal Alguna que resuelve un problema que supusimos soluble. Sabemos por hiptesis que el problema de la detencin es un problema insoluble, por lo tanto la solucin encontrada mediante la mquina universal Detencin no puede existir. Lo que implica que alguna de sus componentes no puede existir, es decir o bien Alguna, o bien X no existe. Como por construccin X existe, luego Alguna no puede existir. Podemos entonces concluir que Palguna es un problema no-soluble. Ejemplo 3.- Sea el problema Pvacio el siguiente problema: Pvacio: Existe un procedimiento efectivo capaz de determinar si una mquina de Turing no acepta ninguna cadena? En este caso tomaremos como el problema insoluble a reducir a este al problema de la aceptacin Pacept, demostrado como insoluble anteriormente. Demostracin: Supongamos que Pvacio es un problema de decisin soluble. Al ser un problema soluble, entonces existe un procedimiento efectivo (o mquina universal de Turing), Sol Vacio?, que resuelve Pvacio. Sol Vacio toma como datos de entrada la descripcin de una mquina de Turing T y determina en un tiempo finito si T no acepta cadena alguna. Es decir Sol Vacio recibe como entrada T y retorna un 1 si T no acepta cadena alguna, mientras que devuelve la salida 0 si T acepta alguna cadena. Construyamos a partir de Sol Vacio, un procedimiento efectivo (o mquina universal de Turing) Aceptacin La mquina Aceptacin recibe como entrada un par (T, ), el problema Pvacio solo tiene como entrada una mquina de Turing, por lo que necesitamos un proceso adicional que combine T y de manera que las respuestas de Sol Vacio, respondan el problema de la aceptacin. Este proceso adicional se lleva a cabo en la mquina universal X que realiza lo siguiente: a. Recibe como dato de entrada la mquina de Turing T y la cadena . b. Construye una mquina de Turing T tal que: i. Para la cadena se comporta como la mquina de Turing T. j. Para toda cadena que no sea la nueva mquina T nunca se detiene o cicla indefinidamente. Combinando las mquinas universales Sol Vacio y X, tenemos la mquina universal Aceptacin que tiene el siguiente comportamiento: 1. Aceptacin recibe como entrada el par (T, ). 2. La mquina universal Aceptacin utiliza mquina de Turing T. X, la cual a partir de T y construye la nueva

3. La mquina de Turing T obtenida en el paso anterior es ingresada a la mquina universal Sol Vacio. 4. Si la respuesta de Sol Vacio es 1 entonces T no acepta cadena alguna. De la manera en la que construimos T la nica cadena sobre la que haba incertidumbre con respecto a la aceptacin o no es (ya que para el resto sabemos que la mquina siempre cicla). Como el comportamiento de T frente a la cadena es el mismo que tiene la mquina T entonces podemos afirmar que T no acepta la cadena ya que de lo contrario habra una cadena que T aceptara. Por lo tanto Aceptacin debe emitir un 0 5. Si la respuesta de Sol Vacio es 0 entonces T acepta alguna cadena. De la manera en la que construimos T la nica cadena que pudo ser aceptada es . Como la aceptacin de depende de

T (debido a la manera en que T fue construida) podemos asegurar que T acepta la mquina universal Aceptacin retorna el valor 1.

y por lo tanto

Conclusin: La mquina universal Aceptacin retorna 1 (T acepta ) si Sol Vacio retorna 0 (T acepta alguna cadena). La mquina universal Aceptacin retorna 0 (T no acepta ) si Sol Vacio retorna 1 (T no acepta cadena alguna). Hemos mostrado como construir la mquina universal Aceptacin que resuelve el problema de la aceptacin (Pacept) a partir de la mquina universal Sol Vacio que resuelve un problema Pvacio. Sabemos por hiptesis que el problema de la aceptacin es un problema insoluble, por lo tanto la solucin encontrada mediante la mquina universal Aceptacin no puede existir. Lo que implica que alguna de sus componentes no puede existir, es decir o bien Sol Vacio, o bien X no existe. Como por construccin X existe, luego Sol Vacio no puede existir y por lo tanto Pvacio es un problema insoluble.

6.2 UN PROBLEMA SIMPLE INSOLUBLE.

El demostrador (del Arggone Natinla Laboratory) demostr, en esencia, que de las ecuaciones de algebra de Robbins:

x_y=y_x (x _ y) _ z = x _ (y_ z) : ( : (x_y) _ : (x_:y)) = x Implican las ecuaciones de algebre de Boole:

x_y=y_x (x _ y) _ z = x _ (y_ z) : ( : (x_y) _ : (x_:y)) = x Es decir el demostrador demostr ser capaz de razonar con ecuaciones matemticas, de hacer demostraciones dentro de una teora matemtica.

6.3 FUNCIONES COMPUTABLES. Las funciones computables son el objeto bsico de estudio de la teora de la computabilidad y consisten en las funciones que pueden ser calculadas por una mquina de Turing. Introduccin Las funciones computables son una formalizacin de la nocin intuitiva de algoritmo y segn la Tesis de Church-Turing son exactamente las funciones que pueden ser calculadas con una mquina de clculo. La nocin de la computabilidad de una funcin puede ser relativizada a un conjunto arbitrario de nmeros naturales A, o equivalentemente a una funcin arbitraria f de los naturales a los naturales, por medio de mquinas de Turing extendidas con un orculo por A o f. Tales funciones puede ser llamados A-computable o f-computable respectivamente. Antes la definicin precisa de una funcin computable los matemticos usaban el trmino informal efectivamente computable. Las funciones computables son usadas para discutir computabilidad sin referirse a ningn modelo de computacin concreto, como el de la mquina de Turing o el de la mquina de registros. Los axiomas de Blum pueden ser usados para definir una teora de complejidad computacional abstracta sobre el conjunto de funciones computables. Segn la Tesis de Church-Turing, la clase de funciones computables es equivalente a la clase de funciones definidas por funciones recursivas, clculo lambda, o algoritmos de Markov. Alternativamente se pueden definir como los algoritmos que pueden ser calculados por una mquina de Turing, una mquina de Post, o una mquina de registros. En teora de la complejidad computacional, el problema de determinar la complejidad de una funcin computable esta conocido como un problema de funciones. Definicin Una funcin parcial

se llama parcialmente computable si el grfico de f es un conjunto recursivamente enumerable. El conjunto de funciones parcialmente computables con un parmetro es normalmente escrito o si el nmero de parmetros puede deducirse del contexto. Una funcin total

se llama computable si el grfico de f es un conjunto recursivo. El conjunto de funciones totalmente computables con un parmetro normalmente se escribe o .

Una funcin computable f se llama predicado computable si es una funcin con valor booleano, es decir

Comentarios A veces, por razones de claridad, se escribe una funcin computable como

Podemos fcilmente codificar g en una nueva funcin

Usando una funcin de pares. Ejemplos

y y y y

Funcin constante f : Nk Adicin f : N2

N, f(n1,...nk) := n

N, f(n1,n2) := n1 + n2

Mximo comn divisor Identidad de Bzout, una ecuacin diofntica linear

Propiedades
y y y y

El conjunto de las funciones computables es numerable. Si f y g son funciones computables entonces f + g, fg y fog son funciones computables. Las funciones computables son definibles aritmticamente. Una funcin con valor booleano f es un predicado computable si y slo si el lenguaje es recursivo.

6.4 REDUCIBILIDAD DE TURING.

En teora de la computabilidad funciones computables o funciones Turing-computables son los objetos bsicos de estudio. Hacen nuestras nociones intuitivas de algoritmo precisas y segn el tesis Church-Turing son exactamente las funciones que pueden ser calculados con una mquina de calculacin. La nocin de la computabilidad de una funcin puede ser relativizado a un conjunto arbitrario de nmeros naturales A, o equivalentamente a una funcin arbitraria f de los naturales a los naturales, por medio de mquinas de Turing extendidas por un oracle por A o f. Tales funciones puede ser llamados A-computable o f-computable respectivamente. Antes la

Definicin preciso de una funcin computable matemticos solan usar el trmino informal efectivamente computable. Funciones computables son usados para discutir computabilidad sin referir a ningn modelo de computacin concreto, como mquina de Turing o mquina de registros. Los axiomas de Blum pueden ser usados para definir una teora de complejidad computacional abstracta sobre el conjunto de funciones computables.

Post propuso un camino para obtener un conjunto no completo para la reductibidad de Turing, definiendo y estudiando reducibilidades intermedias. As, las diferencias importantes entre la reduccin 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 (adaptabilidad de la reduccin). Es posible definir reducibilidades intermedias, entre ellas las reducciones por la tabla de variedad, que no son adaptativas. Y, en efecto, una versin reforzada de los conjuntos simples, los hipersimples, proporciona conjuntos que no son completos respecto de la reductibilidad por tablas de verdad. Post demostr este hecho, y construyo un conjunto hipersimple; nosotros lo tenemos facil por que, de hecho, ya lo tenemos: el propio conjunto SK no solo es simple si no hipersimple. Asimismo, propuso un concepto de hiper-hipersimple, y demostr que existen, en la esperanza de que no fueran completos respecto reducciones de Turing. La idea era procurar que los complementarios fueran lo mas delgados posible en cierto sentido intuitivo: en un inmune no cabe un recursivamente enumerable y en un hiperinmune (complementario de un hipersimple) el siguiente elemento esta siempre demasiado lejos para lo que puede lograr enumerar una funcin recursiva. Sin embargo mas adelante se estableci que existen hiper-

hipersimples que son T-completos e incluso que existen recursivamente numerables maximales respecto a la inclusin, y por tanto con complementario lo mas delgado posible en este sentido intuitivo, y que son Tcompletos. La solucin finalmente requiri un concepto tcnico nuevo, las construcciones por mtodos de prioridad, que extendieron otra de las varias contribuciones de Post. Merece la pena comentar que actualmente existen varios demostraciones diferentes, algunas de las cuales pueden considerarse la culminacin del programa estructural de Post; pese a lo cual, los mtodos de prioridad han de verse como el camino apropiado de solucin. Reduccin de Turing En teora del computability, a Reduccin de Turing de un problema A a un problema B, nombrado despus Alan Turing, es a reduccin cul soluciona A, asumiendo B se sabe ya (Rogers 1967, Soare 1987). Ms formalmente, una reduccin de Turing es una funcin computable por mquina del orculo con un orculo para B. Las reducciones de Turing se pueden aplicar a ambos problemas de la decisin y problemas de la funcin. Si una reduccin de Turing de A a B existe entonces cada algoritmo para B puede ser utilizado producir un algoritmo para A, insertando el algoritmo para B en cada lugar donde el computar de la mquina del orculo A pregunta el orculo para B. Sin embargo, porque la mquina del orculo puede preguntar el orculo una gran cantidad de veces, el algoritmo que resulta puede requerir ms tiempo asinttico que cualquiera M o la mquina del orculo, y puede requerir tanto espacio como ambos junto. La primera definicin formal del computability relativo, entonces llamada reducibilidad relativa, fue dada cerca Alan Turing en 1939 en trminos de mquinas del orculo. Ms adelante en 1943 y 1952 Stephen Kleene defini un concepto equivalente en trminos de funciones recurrentes. En 1944 Poste de Emil utiliz el trmino reducibilidad de Turing para referir al concepto. Definicin Dado dos sistemas de nmeros naturales, decimos A es Turing reducible a B y escriba si hay mquina del orculo ese computa la funcin caracterstica de A cuando est funcionado con orculo B. En este caso, tambin decimos A es B- recurrente y B- computable. Si hay una mquina del orculo que, cuando est funcionado con orculo B, clculos una funcin parcial con dominio A, entonces A reputa B-recurrentemente enumerable y B- computably enumerable.

Decimos A es Equivalente de Turing a B y escriba si ambo y clases de equivalencia de Turing se llaman los sistemas equivalentes Grados de Turing. El grado de Turing de un sistema X se escribe . Dado un sistema, un sistema se llama Turing difcilmente para si para todos . Si adems entonces A se llama Turing completo para. Ejemplo Dejado We denote el sistema de los valores de la entrada para los cuales la mquina de Turing con ndice e altos. Entonces los sistemas y es el equivalente de Turing (aqu (e,n) denota una funcin de apareamiento eficaz). Una demostracin de la reduccin se puede construir usando el hecho eso. Dado un par (e,n), un nuevo ndice i(e,n) puede ser el usar construido teorema del sm-n tales que el programa cifrado cerca i(e,n) no hace caso de su entrada y simula simplemente el cmputo de la mquina con ndice e en entrada n. Particularmente, la mquina con ndice i(e,n) para en cada entrada o para en ninguna entrada. As asimientos para todos e y n. Porque la funcin i es computable, esto demuestra. Las reducciones presentadas aqu son no slo reducciones de Turing pero muchas-uno reducciones, discutido abajo. Caractersticas
y y

Cada sistema es Turing equivalente a su complemento Cada sistema computable es Turing reducible a cada otro sistema computable. Porque estos sistemas se pueden computar sin orculo, pueden ser computados por una mquina del orculo que no haga caso del orculo que se da. La relacin es transitivo: si y entonces . Por otra parte asimientos para cada sistema A, y as la relacin es a pre order (no es a orden parcial porque y no implica necesariamente A = B). Hay pares de sistemas (A,B) tales que A no es Turing reducible a B y B no es Turing reducible a A. As no es una orden linear. Hay secuencias que disminuyen infinitas de sistemas debajo . As esta relacin no es fundamentado. Cada sistema es Turing reducible sus el propio Salto de Turing, solamente el salto de Turing de un sistema nunca es Turing reducible al sistema original.

El uso de una reduccin Puesto que cada reduccin de un sistema B a un sistema A tiene que determinarse si un solo elemento est adentro A en solamente finito muchos pasos, puede hacer solamente finito muchas preguntas de calidad de miembro en el sistema B. Cuando la cantidad de informacin sobre el sistema B computaban un de un solo bit de A se discute, esto es hecho exacto por la funcin del uso. Formalmente, uso de una reduccin est la funcin que enva cada nmero natural n al

nmero natural ms grande m de quin calidad de miembro en el sistema B fue preguntado por la reduccin mientras que determinaba la calidad de miembro de n en A. Reducciones ms fuertes Hay dos maneras comunes de producir las reducciones ms fuertes que la reducibilidad de Turing. La primera manera es limitar el nmero y la manera de las preguntas del orculo.
y

Un sistema A es muchos-uno reducibles a B si hay una funcin computable f tales que un elemento n est adentro A si y solamente si f(n) est adentro B. Tal funcin se puede utilizar para generar una reduccin de Turing (computando f(n), preguntando el orculo, y despus interpretando el resultado). A reduccin de la tabla de verdad o a reduccin dbil de la tabla de verdad debe presentar todas sus preguntas del orculo al mismo tiempo. En una reduccin de la tabla de verdad, la reduccin tambin da una funcin boleana (a tabla de verdad) cul, cuando est dada las respuestas a las preguntas, producir la respuesta final de la reduccin. En una reduccin dbil de la tabla de verdad, la reduccin utiliza las respuestas del orculo como base para el cmputo adicional dependiendo de las respuestas dadas (pero de no usar el orculo). Equivalente, una reduccin dbil de la tabla de verdad es una para el cual el uso de la reduccin es limitado por una funcin computable.

La segunda manera de producir una nocin ms fuerte de la reducibilidad es limitar los recursos de cmputo que el programa que pone la reduccin de Turing en ejecucin puede utilizar. Estos lmites en complejidad de cmputo de la reduccin sea importante al estudiar clases subrecursive por ejemplo P. Un sistema A es polinmico-tiempo reducible a un sistema B si hay una reduccin de Turing de A a B esos funcionamientos en tiempo polinmico. El concepto de reduccin del registro-espacio es similar. Observe que mientras que estas reducciones son ms fuertes en el sentido que proporcionan una distincin ms fina en clases de equivalencia, y tienen requisitos ms restrictivos que las reducciones de Turing, es esto porque las reducciones ellos mismos son menos de gran alcance; no puede haber manera de construir muchos-uno reduccin a partir de un sistema a otro aun cuando que existe una reduccin de Turing para los mismos sistemas. Reducciones ms dbiles Segn Tesis de la Iglesia-Turing, una reduccin de Turing es la forma ms general de una reduccin con eficacia calculable. Sin embargo, reducciones ms dbiles tambin se consideran. Un sistema A reputa aritmtico en B si A es definible por un frmula de Aritmtica de Peano con B como parmetro. El sistema A es hyperarithmetical en B si hay a ordinal recurrente tales que A es computable de B( ), el salto -iterado de Turing de B. La nocin de constructibility relativo es una nocin importante de la reducibilidad en teora determinada.

REFERENCIAS BIBLIOGRAFICAS.
y

y y y y

A. Turing, 1939. Sistemas de la lgica basados en ordinales. Procedimientos de la sociedad de las matemticas de Londres, ser. 2 V. 45, pp. 161228. Reimpreso en el Undecidable, M. Davis ed., 1965. H. Rogers, 1967. Teora de funciones recurrentes y del computability eficaz. McGrawColina. http://softwarsincorp.blogspot.com/2009/06/64-reducibilidad-de-turing.html. http://www.buenastareas.com/ensayos/Teoria-De-La-Computacion/414267.html