Introducción a la máquina y teoremas de Turing Realizado por Francisco Ruiz Benito

Introducción a los sistemas y teorías de Church-Turing Introdicción a la teoría de la computación: una bibliografía Máquina de Turing: explicación Teoría de la complejidad ¿Qué es NP? Clasificaciones de los algoritmos (o funciones) Primeros resultados de limitación Test de Turing (cultura general )

Introducción a la teoría de la computación Hacia 1900, David Hilbert intentó encontrar un algoritmo general para probar la validez de proposiciones matemáticas. En 1931, Kurt Gödel demostro su teorema de incompletitud el cual prueba que no existe tal procedimiento efectivo. En 1936, Alan Turing introdujo un modelo para describir procedimientos efectivos. Dicho modelo se conoce como máquina de Turing.

Máquina de Turing Un procedimiento efectivo tiene ciertas propiedades: Debe poderse describir en forma finita. Debe consistir en pasos discretos que pueden ser ejecutados mecánicamente. Una máquina de Turing consta de: Una cinta semi-infinita dividida en celdas. Cada celda puede contener solo uno de un conjunto finito de símbolos. Un cabezal de lectura/escritura. Un control finito.

Máquina de Turing Las primeras n ³ 0 celdas de la cinta contienen la entrada. Las demás contienen el símbolo especial blanco. En cada movimiento, la máquina de Turing puede, dependiendo del símbolo bajo el cabezal y del estado del control finito: Cambiar de estado, Imprimir un símbolo en la cinta reemplazando al existente, y Mover el cabezal a la izquierda o derecha una celda. Una máquina de Turing tiene el mismo poder de computación que un computador digital tal como lo conocemos.

Máquina de Turing a1 a2 ... ai an B Control finito

Máquina de Turing no determinística Para cada estado dado y un símbolo leído de la cinta, una máquina de Turing no determinística tiene un número finito de opciones para el siguiente movimiento. Cada opción consiste de un nuevo estado, símbolo a imprimir y dirección de movimiento. La falta de determinismo no resulta en una máquina mas poderosa.

Teoría de la complejidad Considere la clase de funciones que transforman los enteros no negativos al intervalo {0,1}. Estas funciones se pueden hacer corresponder uno a uno con los números reales. Por otra parte, si los procedimientos efectivos tienen descripciones finitas, estos se pueden hacer corresponder uno a uno con los números enteros. Los números enteros no se corresponden uno a uno con los reales. En consecuencia, no todas las funciones son computables.

Problemas NP La complejidad de un problema es una medida del tiempo y espacio requerido para resolverlo. Casi todos los algoritmos presentados hasta ahora pertenecen a la clase P o polinomial O(Nm). Estos son “faciles” El siguiente escalafón son los problemas de clase NP o non-deterministic polinomial. Estos problemas pueden resolverse en un tiempo y espacio polinomial en un computador no determinístico. Un problema pertenece a NP si es posible determinar que una solución es correcta en un tiempo polinomial.

Problemas NP-completos Son un subconjunto de NP que contiene los problemas más difíciles. Un problema es NP-completo si todos los problemas en NP se pueden reducir a él en un tiempo/espacio polinomial. Si un problema NP-Completo pudiera resolverse en un tiempo/espacio polinomial, todos los problemas en NP pertenecerían a P. A pesar de todos los esfuerzos, no ha sido posible encontrar una solución polinomial para ningún problema NP-completo. Los algoritmos que se han encontrado son de orden exponencial.

Aparición de los principales resultados de limitación Teoremas de Incompletitud de Gödel Problema de Parada

Teoremas de Incompletitud de Gödel: Primer Teorema: Si PA (Aritmética de Peano) es consistente, entonces hay una fórmula G de PA tal que ni ella, ni su nega- ción, son demostrables en PA. Segundo Teorema: Si PA es consistente, entonces el enunciado formal que expresa la consistencia de PA no es demostrable en PA.

Problema de Parada: Turing-Church (1936-7): No hay una función computable H(x,y) capaz de determinar si la x-ésima función computable fx finaliza o no su rutina cuando computa el input y.

Test de Turing (TT)

Sociedad Híbrida (SH)