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 B 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)