PROBLEMAS INSOLUBLES PARA LA TEORIA DE LENGUAJES.

CONCEPTOS: Concepto de reducibilidad: Una reduccin es una forma de convertir un problema en otro problema de que se trata convertir un problema en otro de tal forma que la solucin que se le da al segundo problema pueda ser usada para resolver el primero. Ejemplo de reducibilidad: Por ejemplo suponiendo que quieres encontrar un camino para una nueva ciudad. T sabes que esto podra ser fcil si t tuvieras un mapa. As t puedes reducir el problema encontrando un camino para ir por la cuidad, al el problema de obtener un mapa para ir por la ciudad. La reducibilidad siempre envuelve dos problemas, a los cuales les podemos llamar A y B, si A se reduce a B, podemos usar la solucin de B para solucionar A. As en nuestro ejemplo A es el problema para encontrar un camino para cruzar la ciudad, y B es el problema de obtener el mapa. en este caso solo se trata de reducir el problema diviendolo en dos para reducirlo y asi buscar la solucin mediante dos problemas?? En la reducibilidad tambin se producen problemas matemticos. Por ejemplo el problema de medicin el rea de un rectngulo se reduce al problema de medir alto por ancho. El problema es solucionado con un sistema lineal de ecuaciones y esto se reduce al problema de invertir una matriz. La reducibilidad juega un importante papel en la clasificacin de problemas por decidibilidad y despus en la complejidad as como en la teora.

APLICACIN Y OBJETIVO PROBLEMA DE DECISION. Un problema de decisin es un problema en donde las respuestas posibles son s o no. Por lo que un problema de decisin tambin se puede formalizar como el problema de decidir si una cierta frase pertenece a un conjunto dado de frases, tambin llamado lenguaje formal. El conjunto contiene exactamente las frases para las cuales la respuesta a la pregunta es positiva.

Un ejemplo tpico de problema de decisin es la pregunta: Es un nmero entero dado primo? Una instancia de este problema sera: Es 17 primo?

concepto de problema decisin

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.

Un problema de decisin es y y 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),

Ejemplos de problemas de decisin (EXPLICACIN AL GRUPO): Existe un algoritmo para decidir si un nmero natural cualquiera es par? Si es soluble. Existe un algoritmo para decidir si dos autmatas finitos cualesquiera son equivalentes? Si es un problema soluble. Existe un algoritmo para determinar si una gramtica es ambigua o no?

No es insoluble. Muchos problemas insolubles son paradjicos en su naturaleza. EjEMPLO: la paradoja de Russell. Un peluquero afeita a todas las personas que no se afeitan a si mismas. El peluquero: se afeita as mismo? (insoluble).

Intuitiva: (INVESTIGAR EL CONCEPTO DE UN PROBLEMA INTUITIVO) Una 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. Como podemos apreciar la reducibilidad no es ms que utilizar dos problemas unindolos para as poder optimizar polinomialmente el rendimiento de los mismos EJEMPLO DE UN PROBLEMA INTUITIVO.

EJEMPLOS PROBLEMAS INSOLUBLES Como ser lgico para algunos al decir que un problema es insoluble se infiere que es un problema que nuestro autmata no puede resolver, veamos unos ejemplos para que esta idea se concrete ejemplo 1: De las siguiente imgenes, cual es la ms llamativa?

Nuestro autmata no puede saber cul es la imagen ms llamativa ya que para cada usuario la respuesta puede variar convirtiendo en este problema insoluble.

Ejemplo 2: Un peluquero afeita a todas las personas que no se afeitan a si mismas. El peluquero: se afeita as mismo? (insoluble).

FUNCIONES COMPUTABLES Las funciones computables son una formalizacin de la nocin intuitiva de algoritmo y segn la tesis 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 por un Oracle por A o f. Tales funciones puede ser llamados Acomputable o f-computable respectivamente. Antes la definicin preciso 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 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.

Segn la tesis 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, un sistema 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.

REDUCIBILIDAD DE TURING 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 ms 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 fcil por que, de hecho, ya lo tenemos: el propio conjunto SK no solo es simple si no hipersimple. As mismo, 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 ms 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 ms 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 ms delgado posible en este sentido intuitivo, y que son T-completos. 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 varias 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.

Tess Church-Turing Alonzo Church Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemtico y lgico norteamericano responsable por crear la base de la computacin terica. Nacido en la ciudad de Washington

Su obra ms conocida es el desarrollo del clculo lambda (INVESTIGAR DE QUE SE TRATA), y su trabajo de 1936 que muestra la existencia de problemas indecidibles. Este trabajo precedi el famoso trabajo de su alumno Alan Turing sobre el problema de parada que tambin demostr la existencia de problemas irresolubles por dispositivos mecnicos. Luego de revisar la tesis doctoral de Turing, demostraron que el clculo lambda y la mquina de Turing utilizada para expresar el problema de parada tenan igual poder de expresin; posteriormente demostraron que una variedad de procesos mecnicos alternos para realizar clculos tenan poder de cmputo equivalente. Como resultado se postul la Tesis de Church-Turing. Segn el tesis Church-Turing, la clase de funciones computables es equivalente a la clase de funciones definidos por funciones recursivos, calculo de lamda, o algoritmos de Markov. El clculo lambda influenci el diseo del lenguaje Lisp as como los lenguajes de programacin funcional. y y y INVESTIGAR POR LO MENOS 3 EJEMPLOS DE CASOS DONDE SE APLIQUE LA REDUCIBILIDAD. APLICACIN DE LA REDUCIBILIDAD EN LA TEORIA DE LA COMPUTACIN. CUAL ES LA APORTACION DE LA REDUCIBILIDAD A LA COMPUTACIN

http://softwarsincorp.blogspot.com/2009/06/windows-seven.html http://entucaramcfly.blogspot.com/2009/06/teoria-de-la-computacion-segunda.html http://sistemas.itlp.edu.mx/tutoriales/teoriadelacomputacion/t63.htm