UNIVERSIDAD DE LAS AMERICAS

ESCUELA DE REDES Y TELECOMUNICACIONES

Nombre: Byron Churta

Tema: Maquina de Turing

Fecha: 19 de agosto del 2010

Máquina de Turing

La máquina de Turing (MT) es un modelo computacional que realiza

una lectura/escritura de manera automática sobre una entrada
llamada cinta, generando una salida en esta misma.

Historia

En 1936, Alan Turing contestó al Entscheidungsproblem, la cuestión planteada por

David Hilbert sobre si las matemáticas son decidibles, es decir, si hay un método
definido que pueda aplicarse a cualquier sentencia matemática y que nos diga si esa
sentencia es cierta o no. En el artículo On Computable Numbers, Turing construyó un
modelo formal de computador, la Máquina de Turing, y demostró que había problemas
tales que una máquina no podía resolver. La máquina de Turing es el primer modelo
teórico de lo que luego sería un computador programable. Con el tiempo a este tipo de
máquina se la conoció como máquina de estado finito, debido a que en cada etapa de un
cálculo, la siguiente acción de la máquina se contrastaba con una lista finita de
instrucciones de estado posibles.

Descripción de la máquina de Turing.

Una máquina de Turing consiste, básicamente, en una cinta infinita,

dividida en casillas. Sobre esta cinta hay un dispositivo capaz de
desplazarse a lo largo de ella a razón de una casilla cada vez. Este
dispositivo cuenta con un cabezal capaz de leer un símbolo escrito en
la cinta, o de borrar el existente e imprimir uno nuevo en su lugar. Por
último, contiene además un registro capaz de almacenar un estado
cualquiera, el cual viene definido por un símbolo. Los símbolos que
definen el estado del dispositivo no tienen por que coincidir con los
símbolos que se pueden leer o escribir en la cinta. En los programas
presentados en el artículo, los posibles símbolos a leer o escribir en la
cinta son el 0 y el 1, y los posibles estados se representan con letras
mayúsculas. En el emulador, existe un cambio en la representación
del estado, usando para ello los números del 0 al 99, para permitir un
mayor número de ellos.

La máquina de Turing puede considerarse un autómata capaz de leer

lenguajes formales de longitud finita que se forman a partir de un
alfabeto finito.
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 [2]. 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.
• 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 [3], que contiene las instrucciones de
lo que hará el autómata. Estas instrucciones representan en
cierta forma el "programa" de la máquina. Las ejecución de
cada instrucción de la tabla de acción incluye cuatro pasos:
o Leer un carácter en la posición actual.
o Escribir un nuevo símbolo en esta posición (puede ser el
mismo que había). El símbolo a escribir es alguno del
alfabeto de la máquina, y depende del carácter leído y del
estado actual.
o Desplazar el cabezal una celda a derecha o izquierda
(R/L); en algunos modelos el desplazamiento puede ser
nulo (detener H).
o Decidir cual será el nuevo estado en función del carácter
que se acaba de leer y del estado actual. Si la tabla de
acción no contiene ninguna correspondencia con el
estado actual y el símbolo leído, entonces la máquina
detiene su funcionamiento.

FUNCIONAMIENTO

La máquina tiene un funcionamiento totalmente mecánico y

secuencial. Lo que hace es leer el símbolo que hay en la casilla que
tiene debajo. Después toma el símbolo del estado en que se
encuentra. Con estos dos datos accede a una tabla, en la cual lee el
símbolo que debe escribir en la cinta, el nuevo estado al que debe
pasar y si debe desplazarse a la casilla izquierda o derecha.

La máquina de Turing consta de un cabezal lector/escritor y una cinta

infinita en la que el cabezal lee el contenido, borra el contenido
anterior y escribe un nuevo valor. Las operaciones que se pueden
realizar en esta máquina se limitan a:

• avanzar el cabezal lector/escritor hacia la derecha.

Visualización de una Maquina de Turing, en la que se ve el cabezal y

la cinta que se lee.

• avanzar el cabezal lector/escritor hacia la izquierda.

El cómputo es determinado a partir de una tabla de estados de la

forma:

(estado, valor) (nuevo estado, nuevo valor, dirección)

Esta tabla toma como parámetros el estado actual de la máquina y el

carácter leído de la cinta, dando la dirección para mover el cabezal, el
nuevo estado de la máquina y el valor a ser escrito en la cinta.

La memoria será la cinta la cual se divide en espacios de trabajo

denominados celdas, donde se pueden escribir y leer símbolos.
Inicialmente todas las celdas contienen un símbolo especial
denominado “blanco”. Las instrucciones que determinan el
funcionamiento de la máquina tienen la forma, “si estamos en el
estado x leyendo la posición y, donde hay escrito el símbolo z,
entonces este símbolo debe ser reemplazado por este otro símbolo, y
pasar a leer la celda siguiente, bien a la izquierda o bien a la
derecha”. La máquina de Turing puede considerarse como un
autómata capaz de reconocer lenguajes formales. En ese sentido es
capaz de reconocer los lenguajes recursivamente enumerables, de
acuerdo a la jerarquía de Chomsky. Su potencia es, por tanto,
superior a otros tipos de autómatas, como el autómata finito, o el
autómata con pila, o igual a otros modelos con la misma potencia
computacional.

BIBLIOGRAFIA

http://www.mitecnologico.com/Main/DefinicionFormalMaquinaDeTurin
g
http://www.zator.com/Cpp/E0_1_1.htm

http://www.rastersoft.com/articulo/turing.html

http://es.wikipedia.org/wiki/M%C3%A1quina_de_Turing

http://cienciasdelacomputacion.com/category/maquina-de-turing/