Tema 9

Introducci on Codicaci on de la MT Enumeraci on de las MT El lenguaje de diagonalizaci on Ld La MT universal Propiedades de los lenguajes RE El problema de Correspondencia de Post
Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas indecidibles

Yolanda Garc a Ruiz (UCM)
May 30, 2011
Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i
Existe la posibilidad de que existan problemas que un computador no puede resolver. Los problemas que una MT puede resolver se dividen en dos tipos:
aquellos para los que existe un algoritmo (una MT que se para, tanto si acepta como si no acepta) aquellos que en caso de no aceptar la entrada, pueden continuar ejecut andose indenidamente.
La u ltima es problem atica, ya que es imposible saber si la MT aceptar a la entrada o no. Problema: Esta m aquina de Turing acepta esta entrada? Se trata de un problema indecidible.
La m aquina de Turing y la parada Cuando una MT actua sobre una entrada hay tres posibles resultados, la m aquina puede:
Aceptar Rechazar Quedar en un Loop (La m aquina simplemente no PARA)
Las m aquinas de Turing que siempre se paran, con independencia de si aceptan o no, son un buen modelo de algoritmo. Ahora si existe un algoritmo para resolver un problema dado, entonces se dice que el problema es decidible.
La m aquina de Turing y la parada Los lenguajes reconocidos por m aquinas de Turing que siempre se paran, acepten o no, se denominan recursivos o decidibles. Un lenguaje que es aceptado por una m aquina de Turing se conoce como lenguaje Recursivamente Enumerable. Todo lenguaje recursivo es recursivamente enumerable, pero la armaci on rec proca, no es en general, v alida.
Codicaci on de la MT Para demostrar que existen lenguajes que no son ni siquiera aceptados por las MT, se va a proceder a codicar la entrada para que las cedenas sean binarias, esto es que = {0, 1}. Luego se va a proceder a codicar la descripci on de la m aquina de Turing como una cadena binaria Esta codicaci on no es u nica, pero es nita ya que la descripci on tiene un n umero nito de elementos
Ejemplo Sea L = {wcw|w {a + b} }. Primero listamos los elementos del alfabeto de la m aquina y los codicamos en binario: Cada s mbolo se codicar a como una cedena de i ceros: S mbolo C odigo a 0 b 00 c 000 Dada una cadena de entrada se codicar a concatenando los c odigos de cada s mbolo separados por un uno. La cadena abaacabaa se codicar a como: 010010101000101001010
Codicaci on de la MT Ahora habr a que construir una MT M, cuya entrada fuese binaria y que determinase que hay el m smo n umero de de grupos de ceros en el mismo orden y a su vez con el mismo n umero de ceros. El problema ahora es distinto pero equivalente. Una vez obtenida la MT con alfabeto de entrada binario y con un solo estado de aceptaci on, se va a codicar, tambi en en binario, el modelo de MT denido por: M = (Q, , , f, q0 , #, qf )
Codicaci on de la MT C odigo de los estados: Cada estado se codica con una cadena de i ceros.
Un u nico estado inicial denotado q0 Un u nico estado nal, denotado qf S mbolo q0 qf q1 ... C odigo 0 00 000 ...
El alfabeto de cinta de cada MT M es de la forma: = {s1 , . . . , sp } . Estos s mbolos se codican como secuencias de ceros: s1 (0), s2 (00), ... , sp (00 . . . 0) p-veces
Codicaci on de la MT (Cont.) Las directrices de desplazamiento I, D y P se codican con 0, 00 y 000, respectivamente.
Codicaci on de la MT (Cont.) Una transici on se codica usando unos como separadores para los estados, los s mbolos del alfabeto de cinta y la directriz de desplazamiento D. As , la transici on f (q3 , s2 ) = (q5 , s3 , D) se codica como 100010010000010001001 Una MT se codica escribiendo consecutivamente las secuencias de las codicaciones de todas sus transiciones separadas con dos unos. M as precisamente, la codicaci on de una MT M es de la forma 1C1 11C2 11 . . . 11Cr 1 donde las Ci son las codicaciones de las transiciones de M.
Ejemplo Sea M = ({q0 , qf , q1 , q2 }0, 1, f, q0 , #, qf ). f 0 1 # q0 (q1 , 0, D) (q2 , 1, D) (q2 , 1, D) q1 (q1 , 0, D) (q2 , 1, D) (qf , #, D) q2 (qf , #, D) qf La m aquina quedar a codicada: 010100010100 11 010010000100100 11 00010100010100 11 000010010000100100 11 00010001001000100 11 000010001001000100
Enumeraci on de las MT Las cadenas binarias (cadenas de ceros y unos) se pueden ordenar lexicogr acamente: w1, w2, w3, . . . El orden se establece por longitud y las cadenas de la misma longitud se ordenan ortogr acamente de izquierda a derecha (considerando 0 < 1). Este orden comienza as : 0, 1, 00, 01, 10, 11, 000, 001, 010, 011, 100, 101, 110, . . . Seg un la codicaci on de las MT, no todas las secuencias binarias representan una MT. Sabemos, por ejemplo, que en la codicaci on de una MT no pueden aparecer tres unos consecutivos. As , las secuencias: 010001110 y 1011010110111010 no codican ninguna MT.
Enumeraci on de las MT (Cont.) Si una cadena binaria no representa el c odigo v alido de una MT, supondremos que codica la MT con un solo estado y sin transiciones; tal MT acepta el lenguaje . Tenemos entonces una enumeraci on w1, w2, w3, . . . de todas las cadenas binarias y una enumeraci on M 1, M 2, M 3, . . . de las MT que act uan sobre un alfabeto dado. Podemos entonces hablar de la i- esima cadena binaria y de la i- esima MT, M i. En realidad, estas enumeraciones coinciden porque todas las cadenas binarias codican m aquinas de Turing.
L mite de las MT Si una cadena binaria no representa el c odigo v alido de una MT, supondremos que codica la MT con un solo estado y sin transiciones; tal MT acepta el lenguaje . Tenemos entonces una enumeraci on w1, w2, w3, . . . de todas las cadenas binarias y una enumeraci on M 1, M 2, M 3, . . . de las MT que act uan sobre un alfabeto dado. Podemos entonces hablar de la i- esima cadena binaria y de la i- esima MT, M i. Tenemos tantas m aquinas MT posibles como n umeros naturales, luego podemos decir que el n umero de MT es innito contable. Como el conjunto de todos los posibles lenguajes es inito incontable, podemos decir que hay m as lenguajes que MT posibles; habr a lenguajes que una MT no podr a reconocer
El lenguaje de diagonalizaci on Ld El lenguaje de diagonalizaci on no puede ser aceptado por ninguna MT y por tanto no es recursivamente enumerable. Esto permite demostrar que hay m as lenguajes que MT. Construir una tabla cuyas columnas son cada una de las cadenas wi y cada la se corresponde con una MT ... w30 w31 w32 ... ... ... ... ... ... ... M30 ... 1 1 1 ... M31 ... 0 1 1 ... M32 ... 0 0 0 ... ... ... ... ... ... ...
L mite de las MT Denici on: Una secuencia o vector caracter stico de un lenguaje ser a una cadena de unos y ceros, donde la posici on j de la cadena ser a:
1 si la cacena wj pertenece a L(Mi ) 0 si la cacena wj no pertenece a L(Mi )
Cada la de la tabla ser a el vector caracter stico del lenguaje aceptado por la m aquina correspondiente, donde se reejan las cadenas que pertenecen al lenguaje de cada m aquina.
Sea el lenguaje compuesto por cada una de las cadenas que representan el c odigo de la m aquina Mi cuya codicaci on es aceptada por ella misma. El vector caracter stico de este lenguaje se corresponde con la diagonal de la tabla:
La M30 y M31 aceptan w30 y w31 , es decir, aceptan su propia codicaci on, mientras que M32 no
Se puede demostrar que la m aquina que acepta este lenguaje existe, siendo el vector caracter stico de alguna Mk de la lista
El lenguaje de diagonalizaci on Ld Ld es el lenguaje compuesto por cada una de las cadenas que representan el c odigo de una Mi cuya codicaci on no es aceptada por ella misma.
Si wi pertenece a L(Mi ), entonces wi no pertenece a Ld . Si wi no pertenece a L(Mi ), entonces wi pertenece a Ld .
Con este m etodo se ha encontrado un conjunto de cadenas que no es el vector caracter stico de ninguna MT, es decir, no hay ninguna MT que acepte Ld .
El lenguaje de diagonalizaci on Ld Suponer que existe Mk que acepta el lenguaje Ld . Si wk es el c odigo de Mk pueden ocurrir dos cosas:
wk Ld : En este caso, Mk deber a aceptar la cadena. sin embargo, se ha demostrado que Ld no contiene wk si existe alguna m aquina que acepte su propia codicaci on, debiendo Mk rechazarla. Contradicci on!!! wk / Ld : En este caso, Mk deber a rechazar la cadena. Sin embargo, se ha demostrado que Ld contiene wk si existe alguna m aquina que no acepte su propia codicaci on, debiendo Mk aceptarla. Contradicci on!!!
Se concluye que no hay ninguna MT que acepte Ld
El lenguaje de diagonalizaci on Ld El lenguaje de diagonalizaci on no puede ser aceptado por ninguna MT y por tanto no es recursivamente enumerable. Esto permite demostrar que hay m as lenguajes que MT.
La MT universal La m aquina de Turing universal Mu simula el comportamiento de todas las MT (sobre un alfabeto de entrada dado). Mu procesa pares de la forma (M, w), siendo M la codicaci on de una MT determinada y w la codicaci on de una cadena de entrada para M . La pareja (M, w) se puede presentar tambi en como una cadena binaria, en la forma M 1w. Es decir, los c odigos de M y w se separan con un uno. Puesto que el c odigo de M termina en 1 y el de w comienza con 1, en la cadena M1w aparecen tres unos consecutivos u nicamente en el sitio que separa los c odigos de M y w.
El lenguaje universal Lu = {M 1w : la MT M acepta la cadena w }. Se tiene entonces que Mu acepta la entrada M 1w si y solamente si M acepta w La MT Mu que acepta Lu se la llama m aquina de Turing Universal, y recibe este nombre debido a que es una m aquina que es capaz de simular otra MT M con la cadena de entrada , a partir de la descripci on codicada de la misma. Se dice que Mu es una m aquina programable, pues a la entrada tiene el c odigo de cualquier MT con sus datos de entrada
El lenguaje universal La MT Mu podr a tener el siguiente comportamiento:

Parar a aceptando si M para aceptando Parar a rechazando si M para rechazando Entrar a en un bucle si M entra en un bucle. Este echo se le conpce como el Problema de Parada.
El tercer comportamiento es por el que se puede observar que Lu es indecidible. El lenguaje universal Lu es un lenguaje RE. Entonces se puede construir una MT de tres cintas que simule cualquier otra MT M con una cadena de entrada determinada.
El lenguaje universal La MT Mu se describe de la siguiente manera:

La primera cinta contiene el c odigo de una MT M determinada La segunda cinta contiene inicialmente el c odigo de una entrada w para M . La tercera cinta se usa para almacenar el estado actual de M , tambi en codicado.
Con entrada M 1w, que representa el par (M, w), la m aquina Mu procede de la siguiente manera:
El lenguaje universal Con entrada M 1w, que representa el par (M, w), la m aquina Mu procede de la siguiente manera:
1. Coloca los c odigos de M y w en la primera y segunda cintas, respectivamente. Para separar los c odigos de M y w se busca el u nico sitio de la cadena que tiene tres unos consecutivos 2. La cadena 0, que representa el estado inicial q1, se coloca en la tercera cinta. La unidad de control escanea inicialmente el primer s mbolo de cada cadena binaria, en cada una de las tres cintas. 3. Examina el c odigo de M para determinar si representa una MT v alida. En caso negativo, Mu se detiene sin aceptar (recu erdese que los c odigos no v alidos representan una MT que no acepta ninguna cadena).
4. Mu utiliza la informaci on de las cintas 2 y 3 para buscar en la cinta 1 la transici on que sea aplicable.
Si encuentra una transici on aplicable, Mu simula en la cinta 2 lo que har a M y cambia el estado se nalado en la cinta 3. Esto requiere re-escribir la cadena de la cinta 2 desplazando adecuadamente los s mbolos a izquierda o a derecha. La simulaci on contin ua de esta forma, si hay transiciones aplicables. Despu es de realizar una transici on, la unidad de control regresa, en la primera y tercera cintas, al primer s mbolo de la cadena. Si al procesar una entrada w, Mu se detiene en el u nico estado de aceptaci on de M , entonces la cadena w ser a aceptada. Por consiguiente, Mu tiene tambi en un u nico estado de aceptaci on, que es el mismo estado de aceptaci on de cualquier otra MT.
5. Puede suceder que Mu no encuentre una transici on aplicable o que se detenga en un estado que no es de aceptaci on. En estos casos, Mu simplemente se detiene sin aceptar, como lo har a M .
Se tiene entonces que Mu acepta la entrada M 1w si y solamente si M acepta w. De modo que el lenguaje aceptado por la m aquina de Turing universal Mu se puede describir expl citamente; este lenguaje se denomina corrientemente el lenguaje universal y se denota con Lu :
El lenguaje universal Lu es, por consiguiente, un lenguaje RE.
Utilizando la MT Universal, es f acil demostrar las siguientes propiedades de los lenguajes recursivos y recursivamente enumerables:
La intersecci on de dos lenguajes recursivamente enumerables es recursivamente enumerable. La uni on de dos lenguajes recursivamente enumerables es recursivamente enumerable. Si un lenguaje es recursivo, su complementario tambi en lo es. Si un lenguaje L es recursivamente enumerable y su complementario tambi en, entonces L es recursivo.
La intersecci on de dos lenguajes recursivamente enumerables es recursivamente enumerable. Demostraci on:

Sean T1 y T2 m aquinas de Turing que aceptan L1 y L2 . Con la MT universal, podemos simular el comportamiento de T1 sobre la cadena w Si se para en un estos de aceptaci on, se simula T2 sobre la misma cadena. Si tambi en se para en un estado de aceptaci on, se acepta la cadena. En otro caso, se rechaza.
La entrada w ser a aceptada por la M aquina Universal si y s olo si las dos m aquinas T1 y T2 se paran y la aceptan.
La uni on de dos lenguajes recursivamente enumerables es recursivamente enumerable. Demostraci on:

Sean G1 y G2 dos gram aticas de tipo 0 que generan L1 y L2 respectivamente. Podemos crear una nueva gram atica de tipo 0 a nadiendo un nuevo axioma. A nadir dos producciones mediante las cuales se puede producir el axioma de G1 o el axioma de G2
Otra opci on es seguir el razonamiento anterior para la intersecci on de lenguajes a partir de m aquinas de Turing. (Ejecutar dos m aquinas de Turing de forma no determinista)
Si un lenguaje es recursivo, su complementario tambi en lo es. Demostraci on:

Si L es un lenguaje recursivo, ha de existir una MT M que lo reconoce y que siempre para. Es suciente con construir otra m aquina M igual que M, pero haciendo que todos los estados nales dejen de serlo y viceversa. La m aquina as obtenida acepta el lenguaje complementario de L.
Si un lenguaje L es recursivamente enumerable y su complementario Lc tambi en, entonces L es recursivo. Demostraci on:
Si L y su complementario son recursivamente enumerables, existen dos m aquinas M1 y M2 que los reconocen. Utilizando la MT universal, se puede simular en paralelo la ejecuci on de las dos m aquinas sobre una cadena de entrada w. Par ello se puede modicar la M aquina Universal para que utilice 6 cintas.
Se simula un paso de la ejecuci on de T1 utilizando las 3 primeras cintas. Se simula un paso de la ejecuci on de T2 utilizando las 3 u ltimas cintas Si T1 se para en un estado nal, la m aquina universal se para en un estado de aceptaci on. Si T2 se para en un estado nal, la m aquina universal se para en un estado no nal
Dado que w pertenece a L o a Lc alguna de las dos m aquinas parar a en un tiempo nito. As que la m aquina as construida parar a siempre para toda cadena en un tiempo nito.
El problema de Correspondencia de Post El Problema de Correspondencia de Post es un problema de decisi on indecidible que fue propuesto por Emil Post. Resulta u til para realizar pruebas de indecibilidad. El problema puede ser descrito como sigue: Dado un diccionario biling ue que contiene pares de frases, es decir, listas de palabras, que signican lo mismo, decidir si existe una frase que signica lo mismo en ambos lenguajes.
Planteamiento del problema La entrada del problema est a formada por dos listas nitas de caracteres de alg un alfabeto . Ambas listas de igual longuitud: L1 = u1 , . . . , un L2 = v1 , . . . , vn El alfabeto contiene al menos dos s mbolos. Una soluci on a este problema es una secuencia de ndices i1 , ..., ik , 1 ij n, tales que ui1 ...uik = vi1 ...vik El problema de decisi on consiste en saber si existe una soluci on para el problema planteado.
Ejemplo: Sea = {a, b} y sean dos listas L1 y L2 siguientes: i ui vi 1 aba a 2 bbb aaa 3 aab abab 4 bb baba Una soluci on al problema es la secuencia 1, 4, 3, 1 u1 u4 u3 u1 = aba + bb + aab + aba = ababbaababa v1 v4 v3 v1 = a + babba + abab + a = ababbaababa Si eliminamos u4 y v4 de ambas listas, el problema ya no tiene soluci on Se puede asegurar que el problema es Indecidible

Tema 9

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tema 9

Cargado por

Copyright:

Formatos disponibles

Introducci on Codicaci on de la MT Enumeraci on de las MT El lenguaje de diagonalizaci on Ld La MT universal Propiedades de los lenguajes RE El problema de Correspondencia de Post

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas indecidibles

May 30, 2011

Yolanda Garc a Ruiz (UCM)

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

Yolanda Garc a Ruiz (UCM)

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

Yolanda Garc a Ruiz (UCM)

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

Yolanda Garc a Ruiz (UCM)

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

Yolanda Garc a Ruiz (UCM)

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

Codicaci on de la MT (Cont.) Las directrices de desplazamiento I, D y P se codican con 0, 00 y 000, respectivamente.

Yolanda Garc a Ruiz (UCM)

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

Yolanda Garc a Ruiz (UCM)

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

Yolanda Garc a Ruiz (UCM)

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

Yolanda Garc a Ruiz (UCM)

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

Yolanda Garc a Ruiz (UCM)

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

Yolanda Garc a Ruiz (UCM)

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

Yolanda Garc a Ruiz (UCM)

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

Se concluye que no hay ninguna MT que acepte Ld

Yolanda Garc a Ruiz (UCM)

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

Yolanda Garc a Ruiz (UCM)

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

Yolanda Garc a Ruiz (UCM)

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

El lenguaje universal La MT Mu podr a tener el siguiente comportamiento:

Yolanda Garc a Ruiz (UCM)

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

El lenguaje universal La MT Mu se describe de la siguiente manera:

Yolanda Garc a Ruiz (UCM)

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

Yolanda Garc a Ruiz (UCM)

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

El lenguaje universal Lu es, por consiguiente, un lenguaje RE.

Yolanda Garc a Ruiz (UCM)

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

Yolanda Garc a Ruiz (UCM)

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

La intersecci on de dos lenguajes recursivamente enumerables es recursivamente enumerable. Demostraci on:

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

La uni on de dos lenguajes recursivamente enumerables es recursivamente enumerable. Demostraci on:

Yolanda Garc a Ruiz (UCM)

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i

Si un lenguaje es recursivo, su complementario tambi en lo es. Demostraci on:

Yolanda Garc a Ruiz (UCM)

Teor a de Aut omatas y Lenguajes Formales Tema 9. Problemas i