5.

2 EL PROBLEMA DE HALTING

 El problema de Halting o problema de la

parada o problema de la detencin es el primer problema indecidible mediante maquinas de Turing.

 Equivale a construir un programa que te diga

si un problema de ordenador finaliza alguna vez o no.

 El problema de la parada o problema de la

detencin para mquinas de Turing es el ejemplo de problema irresoluble ms conocido.  Consiste en determinar si una mquina de Turing se detendr con cierta entrada o si quedar en un ciclo infinito.

 El concepto de problema indecidible o

irresoluble se aplica a problemas a los que podemos decir si tienen solucin o no.
 El razonamiento a seguir sera: si suponiendo

que un problema es decidible, se puede demostrar que el problema de la parada tiene solucin, entonces podemos llegar a la conclusin de que el problema en cuestin no la tiene, por reduccin al absurdo.

 supongamos que existe una mquina de

Turing que es capaz de determinar si otra mquina de Turing terminar con una entrada determinada.  Llamemos Termina a esta mquina.

 Esta mquina recibira como entrada la

cadena M,w, donde M es la codificacin de una mquina de Turing y w es la codificacin de la cadena que se le alimenta a M.

 La mquina Termina terminar en un estado

de aceptacin si M para ante la entrada w, y en otro caso terminar en un estado de rechazo, pero nunca entrar en un ciclo infinito.

Referencias
 http://sistemas.itlp.edu.mx/tutoriales/teoriad

elacomputacion/index.htm
 http://es.wikipedia.org/wiki/Problema_de_la_

parada#Demostraci.C3.B3n_por_construcci. C3.B3n_de_m.C3.A1quinas_de_Turing

 Definicion del problema  El problema del paro consiste en determinar

si una mquina de Turing cualquiera se detendr ante cualquier entrada dada.  Es decir, si existe una mquina MThcapaz de determinar si cualquier otra mquina se va a detener o no.  Es conocido que elproblema del altoesindecidible

Demostracin de la indecibilidad
 Para demostrar que el problema del alto es

indecidible tenemos que probar la siguiente afirmacin:  NO existe una mquina MT que tomando como entrada cualquier mquina MT0, termine despus de un tiempo finito y responda S cuando MT0termine y NO cuando MT0no termine.MTh

Funcionamiento de la mquina hipottica MT MTh  Cuando MT0termina  Si MThexiste existe el problema es decidible

 Si MThNO existe NO

el problema es

indecidible

Estrategia de la demostracin Por contradiccindemostraremos que no existe una mquina MThque resuelva el problema del alto. Hiptesis:
Supondremos que existe MTh.

Al final llegaremos a una contradiccin derivada de esta hiptesis.

Estrategia de la demostracin
  

 

Construyamos una nueva mquina MTs que se comporte de la siguiente manera: La nueva mquina MTstomar como entrada una mquina dada MT0. MTsejecutar la mquina MThy le dar como entrada la mquina MT0. Por hiptesis, MThterminar en algn momento y responder S o NO (segn MT0termine o no). Si MTh dice S , entonces MTsentra en un ciclo infinito y no termina. Si MTh dice NO , entonces MTsse detiene inmediatamente(la salida no importa).

La nueva mquina MT MTs

 Si MT0termina MTSno termina  Si MT0 no termina MTStermina

Qu sucede si MT es la entrada de s misma? Existe cierta entrada para la cual MTs produce una contradiccin. La mquina de entrada que causa esta contradiccin es la propia MTs (MT0=MTs).

Para ver por qu la entrada MTscausa una contradiccin, supongamos dos casos: 1. Que MTstermina cuando es entrada de s misma. 2. Que MTsno termina cuando es entrada de s misma.

Caso 1 MTs es dada como su propia entrada (una copia).

2. MTh recibe como entrada a MTs.

3. Por hiptesis, MTh responder S ya que supusimos que MTstermina.

4. Una vez que MTh responde S , comienza un ciclo infinito.

Esto implica que la suposicin de que MTstermina al aplicarse a s misma, implica que MTsno termina!

 MT no termina cuando es la entrada de s

misma. MTs.

 Caso 2

1. MTs es dada como su propia entrada (una copia).

 2. MTh recibe como entrada a MTs.

 3. Por hiptesis, MTh responder NO ya que

supusimos que MTsno termina.

 4. Una vez que MTh responde NO , MTs

termina.

Esto implica que la suposicin de que MTsno termina al aplicarse a s misma implica que MTstermina!

 Conclusiones

De los dos casos anteriores, concluimos que cualquiera de las suposiciones sobre MTs(que MTstermine o no) implica su negacin. Esto quiere decir que es imposible tanto que MTs termine como que no termine!

Conclusin final Ya que MTs fue construido legalmente, la nica parte que puede ser responsable de la contradiccin es la mquina hipottica MTh. La conclusin final es que una mquina de Turing MThque resuelva el problema del paro no existe. Por lo tanto el problema del paro es indecidible.