Lenguajes Decidibles

Los lenguajes decidibles son cadenas de palabras calculables mediante funciones recursivas por lo cual tambin se les llamas lenguajes recursivos. Un posible alfabeto sera, digamos, {a, b} , y una cadena cualquiera sobre este alfabeto sera, por ejemplo, ababba . Un lenguaje sobre este alfabeto, que incluyera esta cadena, sera: el conjunto de todas las cadenas que contienen el mismo nmero de smbolos que , por ejemplo La palabra vaca (esto es, la cadena de longitud cero) se permite en este tipo de lenguajes, notndose frecuentemente A diferencia de que ocurre con el alfabeto (que es un conjunto finito) y con cada palabra (que tiene una longitud tambin finita), un lenguaje puede estar compuesto por un nmero infinito de palabras. Esos son algunos ejemplos de problemas de decisin expresados como lenguajes:
y y y

Las frases sobre el alfabeto {a, b} que contienen alternadas las letras a y b. Las frases sobre el alfabeto {a, b, c} que contienen igual nmero de letras a y b. Las frases que describen un grafo con aristas etiquetadas con nmeros naturales que indican su longitud, dos vrtices del grafo y un camino en el grafo que es el camino ms corto entre esos dos vrtices. Las frases que describen una mquina de Turing y una cinta de entrada para esta mquina tal que la mquina se para en un tiempo finito al procesar esa entrada.

Existen problemas que no pueden ser resueltos por una computadora, dado que las computadoras solamente pueden ejecutar algoritmos, esto es secuencia de instrucciones universalmente precisas y entendibles que resuelven cualquier instancia de problemas computacionales definidos rigurosamente. No es una sorpresa que esta idea intuitiva de algoritmo pueda ser definida formalmente. El correspondiente modelo matemtico se llama mquina de Turing (Alan Turing, 1936). La teora de computabilidad tiene como objetivo el estudio de problemas de decisin, con el fin de determinar si los mismos son tericamente decidibles. Los problemas se pueden clasificar desde el punto de vista de la teora de computabilidad en resolubles y no resolubles. Los problemas resolubles son objeto de estudio de la teora de complejidad computacional. En el contexto de complejidad computacional, el inters est centrado en establecer una medida de la cantidad de recursos computacionales (en trminos de tiempo y/o espacio)

necesarios para resolver un determinado problema o equivalentemente reconocer un lenguaje LOS PROBLEMAS RESOLUBLES SE SUBDIVIDEN EN TRATABLES E INTRATABLES Los problemas tratables son: Aquellos para los cuales existe un algoritmo eficiente que los resuelve. Los intratables son: Aquellos para los cuales no se conoce (o tal vez no exista) un algoritmo eficiente que los resuelva Lenguajes aceptables y decidibles - Lenguaje decidible: es aquel lenguaje L para el cual existe una mquina de Turing que puede aceptar cualquier cadena wL y rechazar cualquier cadena wL. - Lenguaje aceptable: es aquel lenguaje L para el cual no existe ninguna mquina de Turing que puede aceptar cualquier cadena wL y rechazar cualquier cadena wL. - Lenguajes recursivamente innumerables: lenguajes estructurados por frases. - Lenguajes recursivos: lenguajes decidibles por una mquina de Turing Lenguajes aceptables vs. Lenguajes decidibles Lenguaje aceptable
La mquina separa al reconocer una cadena del lenguaje

Lenguaje decidible
La mquina dice si una cadena pertenece al lenguaje o no Implica reconocer el complemento del lenguaje Existen lenguajes aceptables que no son decidibles! Un lenguaje es aceptable pero su complemento no.

EJEMPLOS

PROBLEMA DE LA PARADA El problema de parada para mquinas de Turing es el ejemplo de problema irresoluble ms conocido. Fue adems el primer problema que se demostr formalmente que no tena solucin. El concepto de problema indecidible o irresoluble se aplica a problemas de decisin, es decir, problemas a los que podemos decir si tienen solucin o no. Dentro de estos problemas, existe un conjunto al que no le podemos asignar una respuesta, ni afirmativa ni negativa: no existe un algoritmo que nos permita determinar si el problema tiene solucin. Una de las razones por la que es importante conocer que el problema de la parada no tiene solucin, es que nos permite decidir si otros problemas son resolubles o no definicion Sea M una mquina de Turing arbitraria con un alfabeto de entrada . Sea . Puede decidirse si la mquina M se detendr con la entrada w? Solucin La respuesta a esta pregunta es negativa. No se puede determinar si una mquina de Turing se detiene con una entrada arbitraria.

AUTOR: http://www.mitecnologico.com/Main/LenguajesDecidibles 5.1 LENGUAJES DECIDIBLES

Los lenguajes decidibles son cadenas de palabras calculables mediante funciones recursivas por lo cual tambin se les llamas lenguajes recursivos. Un posible alfabeto sera, digamos, {a, b}, y una cadena cualquiera sobre este alfabeto sera, por ejemplo, ababba . Un lenguaje sobre este alfabeto, que incluyera esta cadena, sera: el conjunto de todas las cadenas que contienen el mismo nmero de smbolos que , por ejemplo La palabra vaca (esto es, la cadena de longitud cero) se permite en este tipo de lenguajes, notndose frecuentemente A diferencia de que ocurre con el alfabeto (que es un conjunto finito) y con cada palabra (que tiene una longitud tambin finita), un lenguaje puede estar compuesto por un nmero infinito de palabras.

AUTOR: http://tecsistemasteoriacomputacional.blogspot.com/2011/04/51-lenguajesdecidibles.html

5.1.- Lenguajes Decidibles.

Un lenguaje decidible es aquel lenguaje L para el cual existe una maquina de Turing que le puede aceptar cualquier cadena w L. Hay lenguajes formados por cadenas tales que una maquina de Turing logra un estado final con las cadenas que reconoce y acepta, solamente. En este caso se dice que la maquina de Turing semidecide al lenguaje. Los lenguajes semidecididos por una MT se llaman recursivos numerables. Las gramticas sin restricciones son las que generan los lenguajes recursivos numerables. De aqu en adelante ser suficiente referirse a los lenguajes recursivos numerables, pues estos generalizan a los lenguajes recursivos, los cuales generalizan a los lenguajes libres de contexto, y estos a los lenguajes regulares. Lo anterior tiene relacin directa con que los autmatas de Turing generalizan a los de la pila y estos a su vez a los autmatas finitos. Por otro lado, pese a que lenguajes formales ms generales que los recursivos numerables no son reconocidos por un automata de Turing, no existe hasta el momento ningn autmata ms poderoso capaz de reconocerlos. En terminos de procedimientos, las cadenas de un lenguaje decidible corresponden a procedimientos que terminan, ya sea realizando lo que indica la palabra sealando que no tienen la capacidad de realizarlo. Para un lenguaje semidecidible, las cadenas decididas por la MT son instrucciones realizadas por la MT. De manera complementaria, las cadenas no decidibles por la MT corresponden a procedimientos que no terminan utilizando una maquina de Turing. A partir de lo dicho aqu tenemos la definicin de algoritmo:
y

Un algoritmo es una implementacin de una maquina de Turing tal que el conjunto de sus entradas es el lenguaje decidible.

Es decir, si un dado un conjunto de entradas bajo las cuales una MT logra un estado de parada para cada entrada, la maquina corresponde a la implementacin de un algoritmo. Esta es la Tesis de Church Turing. No es un teorema pues no se puede demostrar matemticamente, de manera general y categrica. Es solo la afirmacin de que el concepto informal del algoritmo corresponde a un objeto matemtico. Al ser solo una afirmacin no demostrable, puede suceder que luego fuera refudada. Para que esto ocurra, se necesitara encontrar un autmata ms potente que uno de Turing tal que fuese la implementacin de un algoritmo. Si bien hay algunas propuestas interesantes que pretende generalizar a la MT, hasta la fecha ninguna de ellas ha sido aceptada para sustituir nuestro actual concepto de procedimiento comprable. Por otro lado, mientras que los lenguajes computables son una infinidad numerable, los lenguajes no computables son una infinidad no numerable. Por ello, son ms los lenguajes no computables o indecidibles. Una teora lgica (TL) se define a partir de un conjunto de enunciados dados llamados axiomas, unas reglas de inferencia y un esquema de derivacin.

A partir de los axiomas y aplicando la regla de inferencia y el esquema de derivacin se infieren los teoremas de la teora. El conjunto de teoremas de la teora forma un lenguaje formal. Si es posible definir una maquina de Turing tal que reconozca al lenguaje de los teoremas, este lenguaje es decidible y la teora tambin lo es en consecuencia. Dicho en otras palabras, si el conjunto de teoremas visto como un lenguaje es reconocido por una maquina de Turing, entonces la TL es decidible. Y viceversa. Puede hablarse entonces de manera indistinta de teoras lgicas o de lenguajes decididles, como aquellos para los que existe una maquina de Turiong capaz de reconocerlos. Luego la correspondencia entre la sintaxis de una teora lgica (lenguaje formal) y reconocimiento simblico del mismo por parte de un autmata queda establecida. AUTOR: http://sistemas.itlp.edu.mx/tutoriales/teoriadelacomputacion/t51.htm
EJEMPLOS

Ejemplo: Muestre que la coleccin de lenguajes decidibles por maquina de Turing para un alfabeto cualquiera es infinita, pero contable. Solucin: {Lenguajes independientes de contexto} es infinito {Lenguajes independientes de contexto} {Lenguajes decidibles por Turing} {Lenguajes estructurados por frases} es contable {Lenguajes decidibles por Turing} {Lenguajes estructurados por frases} {Lenguajes decidibles por Turing}

{Lenguajes decidibles por Turing} es contable

La coleccin de lenguajes decidibles es contable por ser un subconjunto de los lenguajes estructurados por frases (que son contables). Es infinita por que contiene a los lenguajes independientes de contexto, que son infinitos.

PREGUNTAS: 1.-Cmo se calculan los lenguajes decidibles? R=Mediante funciones recursivas.

2.- Que generan ah los lenguajes recursivos numerables? R= Las gramticas sin restricciones.