TEORIAS DE LA DECIBILIDAD

CAMILO RAZO BRAVO

LENGUAJES DECIDIBLES

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.

Esos son algunos ejemplos de problemas de decisin expresados como lenguajes: 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 cort 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.

LOS PROBLEMAS DE HALTING (INDECIDIBLE)

El problema de Halting 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 (entrando a un bucle infinito, por ejemplo).
Para el problema de Halting no existe un algoritmo que pueda decidir si un programa arbitrario se detendr o no. Su demostracin se realiza por contradiccin/absurdo.

El problema de Halting enfocado a las maquinas de Turing. Turing defini las bases de las computadoras modernas y planteo un problema sobreellas, llegando a la conclusin de que no hay ningn algoritmo que lo resuelva. Es el problema de la detencin (Halting problem); el problema de saber si un problema se cuelga cuando corre en la computadora. Turing demostr que el problema de la detencin es indecidible, es decir, demostr que haba problemas que una maquina no poda resolver.

DECIBILIDAD DE TEORAS LGICAS.

A partir de que se define una teora lgica? 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 las reglas de inferencia y el esquema de derivacin se infieren los teoremas de la teora. El conjunto de teoremas de la teora forman un lenguaje formal.