7/23/2019 Indecibilidad

http://slidepdf.com/reader/full/indecibilidad 1/10

IndecibilidadPresentado en el campo de los lenguajes formales y teoría de autómatas.

7/23/2019 Indecibilidad

http://slidepdf.com/reader/full/indecibilidad 2/10

Que es Indecibilidad?

Un problema de decisión es decidible si existe un algoritmo que lo (en caso contrario es indecidible)

Imposibilidad de demostrar en un sistema de una cierta complejid

del mismo sistema todas las proposiciones verdaderas.

"a cualidad de un problema de decisión (recursivamente) indecidibpuede decidirse por ning#n algoritmo como el problema de la para

 %uring.

7/23/2019 Indecibilidad

http://slidepdf.com/reader/full/indecibilidad 3/10

El problema de la parada

&'ea una quina de %uring y una cadena *. +Para con entrad

'i se pudiera predecir la parada de si se pudiera predecir de forautomtica la parada de cualquier proceso en ejecución tambin s

decidir automticamente el xito o el fracaso de esa ejecución.

+/ómo mostramos que una lógica es indecidible,

'i quisiramos mostrarlo de forma directa deberíamos escribir unafórmula que codi0que ejecuciones arbitrarias en una mquina de %

7/23/2019 Indecibilidad

http://slidepdf.com/reader/full/indecibilidad 4/10

Propiedades de Indecibilidad

Un lenguaje es indecible si sus miembros no pueden ser identi0cadalgoritmo que restrinja todas las entradas de un n#mero de pasos

1o puede ser reconocido como una entrada valida en una mquina

'on aquellos que no pueden ser resueltos con todas sus variantesalgoritmo.

7/23/2019 Indecibilidad

http://slidepdf.com/reader/full/indecibilidad 5/10

Un problema ser considerado cualquier cuestión formulada en trmformales (matemticos).

Un problema es de decisión si su resolución es binaria lo que implica0rmación o negación de un predicado lógico. 2xisten otros tipos deproblemas que no son de decisión (de optimi3ación y b#squeda).

Problema decible 4 lenguaje recursivo.

2xiste un algoritmo 4 2xiste una mquina de %uring que siempre seante cualquier entrada dando la respuesta correcta.

7/23/2019 Indecibilidad

http://slidepdf.com/reader/full/indecibilidad 6/10

7/23/2019 Indecibilidad

http://slidepdf.com/reader/full/indecibilidad 7/10

Lenguajes recursivamenteenumerables

'on lenguajes que nos permiten reconocer las cadenas forman parte de un lenguaje de una mquina de %uring cadena comparte el lenguaje de la mquina de %uring ndar un resultado binario siempre.

7/23/2019 Indecibilidad

http://slidepdf.com/reader/full/indecibilidad 8/10

Ultimo teorema de

toma una entrada busca soluciones epositivas enteras pde la ecuaciónx7n8y7n437n paeste programa no

encuentra solución 'i el programa soluecuación tomandovalor a n9: nos mun ;ola mundo

7/23/2019 Indecibilidad

http://slidepdf.com/reader/full/indecibilidad 9/10

 %ratamos de demostrar que es imposible construir un programentrada pueda comprobar que lo primero que imprime es ;ol

7/23/2019 Indecibilidad

http://slidepdf.com/reader/full/indecibilidad 10/10

2n uno sí imprime ;ola mundo y en el otro no se sabe a cienodo carcter y solo utili3a la instrucción printf 

h2 recibe un solo programa por su entrada. En donde la respuesta no se p

con certeza por lo tanto se convierte en un problema indecible.