DISEÑADORES: Caresano, Agustín

Ortiz, Miriam

COORDINADORA: Díaz, Margarita

 Por Alan M.Turing
 En la década del ´30
 Publicada en 1936
 Aparece la MT (Máquina de Turing)
 Planteo de la existencia de un
método que pueda aplicarse a
cualquier sentencia matemática
Un modelo:

 Computacional

 Matemático

 Abstracto
 Representa un proceso en un
número finito de pasos
 Cabezal Lector-Escritor

 Cinta Infinita
 Lee estado y valor

 Mueve el cabezal (derecha o

izquierda)

 Toma nuevo estado

 Escribe en la cinta
 Estado actual

 Símbolo leído
 Como máximo una posibilidad de

ejecución por entrada

 Único camino computacional

 Mas de una posibilidad de ejecución

 Árbol computacional
 Demostró que hay problemas

matemáticos que una máquina no

puede resolver
 Para cada MT no Determinista existe

una Determinista equivalente

 Una MT que acepte como entrada la

tabla que representa a otra máquina

de Turing

 Simula su comportamiento
 Generalmente son indecidibles

 Problema de la parada

 Primera aproximación al concepto de

Sistema Operativo
 www.wikipedia.org

 www.zator.com