Introduccin a los sistemas y

teoras de Church-Turing
Introdiccin a la teora de la computacin:
una bibliografa
Mquina de Turing: explicacin
Teora de la complejidad
Qu es NP?
Clasificaciones de los algoritmos (o funciones)
Primeros resultados de limitacin
Test de Turing (cultura general )
Introduccin a la teora de la
computacin
Hacia 1900, David Hilbert intent encontrar un
algoritmo general para probar la validez de
proposiciones matemticas.
En 1931, Kurt Gdel 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 mquina de Turing.
Mquina de Turing
Un procedimiento efectivo tiene ciertas
propiedades:
Debe poderse describir en forma finita.
Debe consistir en pasos discretos que pueden ser
ejecutados mecnicamente.
Una mquina de Turing consta de:
Una cinta semi-infinita dividida en celdas. Cada
celda puede contener solo uno de un conjunto
finito de smbolos.
Un cabezal de lectura/escritura.
Un control finito.
Mquina de Turing
Las primeras n 0 celdas de la cinta contienen la
entrada. Las dems contienen el smbolo especial
blanco.
En cada movimiento, la mquina de Turing puede,
dependiendo del smbolo bajo el cabezal y del
estado del control finito:
Cambiar de estado,
Imprimir un smbolo en la cinta reemplazando al existente, y
Mover el cabezal a la izquierda o derecha una celda.
Una mquina de Turing tiene el mismo poder de
computacin que un computador digital tal como lo
conocemos.
Mquina de Turing

a1 a2 ... ai ... an B B B ...

Control
finito
Mquina de Turing no
determinstica
Para cada estado dado y un smbolo ledo
de la cinta, una mquina de Turing no
determinstica tiene un nmero finito de
opciones para el siguiente movimiento.
Cada opcin consiste de un nuevo estado,
smbolo a imprimir y direccin de
movimiento.
La falta de determinismo no resulta en una
mquina mas poderosa.
Teora 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 nmeros
reales.
Por otra parte, si los procedimientos efectivos
tienen descripciones finitas, estos se pueden
hacer corresponder uno a uno con los nmeros
enteros.
Los nmeros 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 escalafn son los problemas de clase
NP o non-deterministic polinomial. Estos
problemas pueden resolverse en un tiempo y
espacio polinomial en un computador no
determinstico.
Un problema pertenece a NP si es posible
determinar que una solucin es correcta en un
tiempo polinomial.
Problemas NP-completos
Son un subconjunto de NP que contiene los
problemas ms difciles.
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 perteneceran a P.
A pesar de todos los esfuerzos, no ha sido posible
encontrar una solucin polinomial para ningn
problema NP-completo. Los algoritmos que se han
encontrado son de orden exponencial.
Aparicin de los principales
resultados de limitacin

Teoremas de Incompletitud de Gdel

Problema de Parada
Teoremas de Incompletitud de Gdel:

Primer Teorema: Si PA (Aritmtica de Peano) es consistente,

entonces hay una frmula G de PA tal que ni ella, ni su nega-
cin, 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 funcin computable H(x,y)

capaz de determinar si la x-sima funcin computable fx finaliza o
no su rutina cuando computa el input y.
Test de Turing (TT)
Sociedad Hbrida (SH)