1. LA MÁQUINA DE TURING
Lorenzo Alejo 13-1087
José Ferreras 13-1074
Universidad Iberoamericana
Santo Domingo, Rep. Dom.
Prof. Ing. Rina Familia
2. QUÉ ES UNA MÁQUINA DE TURING?
Una Máquina de Turing es un modelo
matemático que consiste en
un autómata capaz de
implementar cualquier problema
matemático expresado por medio de
un algoritmo.
3. MÁQUINA DE ESTADO FINITO
Es un autómata que se mueve sobre una
secuencia lineal de datos. En cada instante
la máquina puede leer un solo dato de la
secuencia (generalmente un carácter) y
realiza ciertas acciones en base a una tabla
que tiene en cuenta su "estado" actual
(interno) y el último dato leído.
4. CÓMO FUNCIONA?
La máquina de Turing transforma un
INPUT en un OUTPUT después de
algunos pasos. Tanto el INPUT como el
OUPUT constan de números en código
binario (ceros y unos).
5. PROCESAMIENTO DE DATOS
En su versión original la máquina de Turing
consiste en una cinta infinitamente larga con
unos y ceros que pasa a través de una caja.
La caja es tan fina que solo el trozo de cinta
que ocupa un bit (0 ó 1) está en su interior.
La máquina tiene una serie de estados
internos finitos que también se pueden
numerar en binario.
6.
7. TIPOS
Existen diversas "variedades" de una máquina de Turing, pero
la más simple puede ser descrita diciendo que es cualquier
dispositivo que cumple las siguientes condiciones:
Tiene una cinta sobre la que puede desplazarse a izquierda
y derecha un cabezal de lectura/escritura. La cinta
contiene una serie de celdas, y en cada una de ellas puede
escribirse un símbolo de un conjunto finito; este conjunto
de símbolos se denomina el alfabeto de la máquina. En
principio todas las celdas que no se hayan escrito antes
contienen un carácter especial nulo o vacío (que se
representa por 0 o #). La cinta puede contener tantas
celdas a derecha e izquierda del cabezal como sean
necesarias para el funcionamiento de la máquina.
8. El cabezal puede moverse a derecha (R) a
izquierda (L) de su posición actual, así
como leer el contenido de una celda o
escribir en ella cualquier carácter de su
alfabeto.
Existe un registro de estado que almacena
el estado de la máquina. El número de
estados posibles es finito, y no se exige
ningún estado especial con el que sea
iniciada la máquina.
Existe una tabla de acción, que contiene las
instrucciones de lo que hará el autómata.
Estas instrucciones representan en cierta
forma el "programa" de la máquina.