MAQUINA DE TURING

Presentado por:
CARLOS ENRIQUE MAYORGA ZAMORA
COD: 083251092010

UNIVERSIDAD DEL TOLIMA

INGENIERIA DE SISTEMAS
CREAD IBAGUE
2015

INTRODUCCION

Una mquina de Turing (MT) es un modelo computacional que realiza

una lectura/escritura de manera automtica sobre una entrada llamada cinta,
generando una salida en esta misma.
Las mquinas de Turing fueron propuestas por primera vez por Alan Turing, en un
intento para dar una definicin matemtica precisa de algoritmo o procedimiento
mecnico. Los primeros trabajos de Turing y Alonzo Church abrieron la rama de la
lgica matemtica, que eventualmente se convertira en la Teora de Funciones
Recursivas.

MQUINA DE TURING RESUMEN ANALITICO

La mquina de Turing es un modelo computacional introducido por Alan Turing. se
estudiaba la cuestin planteada por David Hilbert sobre si las matemticas son
decidibles, es decir, si hay un mtodo definido que pueda aplicarse a cualquier
sentencia matemtica y que nos diga si esa sentencia es cierta o no. Turing ide
un modelo formal de computador, la mquina de Turing, y demostr que existan
problemas que una mquina no poda resolver.

La mquina de Turing posee una cabeza que puede emplearse para leer y escribir
smbolos en la cinta de la mquina. As, puede rastrear los datos de la cinta y
modificar las celdas que desee sin alterar las dems. Por eso, una mquina de
Turing puede estar en movimiento indefinidamente. La mquina 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 mquina se limitan a:

avanzar el cabezal lector/escritor hacia la derecha.

avanzar el cabezal lector/escritor hacia la izquierda.

El cmputo es determinado a partir de una tabla de estados de la forma:

(estado, valor) (nuevo estado, nuevo valor, direccin) Esta tabla toma como
parmetros el estado actual de la mquina y el carcter ledo de la cinta,
dando la direccin para mover el cabezal, el nuevo estado de la mquina y
el valor a ser escrito en la cinta.

Mediante este modelo terico y el anlisis de complejidad de algoritmos, fue

posible la categorizacin de problemas computacionales de acuerdo a su
comportamiento, apareciendo as, el conjunto de problemas denominados P y

NP*, cuyas soluciones en tiempo polinmico son encontradas segn el

determinismo y no determinismo respectivamente de la mquina de Turing. De
hecho, se puede probar matemticamente que para cualquier programa de
computadora es posible crear una mquina de Turing equivalente.
{P Y NP*: En computacin, cuando el tiempo de ejecucin de un algoritmo
(mediante el cual se obtiene una solucin al problema) es menor que un cierto
valor calculado a partir del nmero de variables implicadas (generalmente
variables de entrada) usando una frmula polinmica, se dice que dicho problema
se puede resolver en un tiempo polinmico. La clase de complejidad de los
problemas de decisin que pueden ser resueltos en tiempo polinmico calculado a
partir de la entrada por una mquina de Turing determinista es llamada P. Cuando
se trata de una mquina de Turing no-determinista, la clase se llama NP.
La idea subyacente es el concepto de que una mquina de Turing es una mquina
ejecutando un procedimiento efectivo definido formalmente, donde el espacio de
memoria de trabajo es ilimitado, pero en un momento determinado slo una parte
finita es accesible. La memoria se divide en espacios de trabajo denominados
celdas, donde se pueden escribir y leer smbolos. Inicialmente todas las celdas
contienen un smbolo especial denominado blanco. Las instrucciones que
determinan el funcionamiento de la mquina tienen la forma, si estamos en el
estado x leyendo la posicin y, donde hay escrito el smbolo z, entonces este
smbolo debe ser reemplazado por este otro smbolo, y pasar a leer la celda
siguiente, bien a la izquierda o bien a la derecha. La mquina de Turing puede
considerarse como un autmata capaz de reconocer lenguajes formales. En ese
sentido es capaz de reconocer los lenguajes recursivamente e numerables, de
acuerdo a la jerarqua de Chomsky. Su potencia es, por tanto, superior a otros
tipos de autmatas, como el autmata finito, o el autmata con pila, o igual a otros
modelos con la misma potencia computacional.
La cinta de entrada es una secuencia infinita de celdas. En cada celda de la cinta
solo se puede almacenar un smbolo. Las celdas que no estn ocupadas, estn
vacas, las vamos a denotar por el carcter # (smbolo en blanco).
Existen diversas "variedades" de una mquina de Turing, pero la ms 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 smbolo de un conjunto finito; este conjunto de
smbolos se denomina el alfabeto de la mquina. En principio todas las celdas
que no se hayan escrito antes contienen un carcter especial nulo o vaco (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
mquina.
* El cabezal puede moverse a derecha (R) a izquierda (L) de su posicin actual,
as como leer el contenido de una celda o escribir en ella cualquier carcter de su
alfabeto.
Existe un registro de estado que almacena el estado de la mquina. El nmero de
estados posibles es finito, y no se exige ningn estado especial con el que sea
iniciada la mquina.
Existe una tabla de accin, que contiene las instrucciones de lo que har el
autmata. Estas instrucciones representan en cierta forma el "programa" de la
mquina. La ejecucin de cada instruccin de la tabla de accin incluye cuatro
pasos:
Leer un carcter en la posicin actual.
2 Escribir un nuevo smbolo en esta posicin (puede ser el mismo que
haba). El smbolo a escribir es alguno del alfabeto de la mquina, y
depende del carcter ledo y del estado actual.
3 Desplazar el cabezal una celda a derecha o izquierda (R/L); en algunos
modelos el desplazamiento puede ser nulo (detener H).
4 Decidir cul ser el nuevo estado en funcin del carcter que se acaba de
leer y del estado actual. Si la tabla de accin no contiene ninguna
correspondencia con el estado actual y el smbolo ledo, entonces la
mquina detiene su funcionamiento.
1

Nota: algunos tericos sostienen que la genuina mquina de Turing solo utiliza un
alfabeto unario, mientras que una mquina de estados finitos es ms general y
puede utilizar un alfabeto con ms smbolos.
Al comenzar a funcionar, la mquina se encuentra en el estado S1 y su cabeza
lectora est en la posicin 1 de la cinta.
En cada instante la mquina se encuentra en un estado S y su cabeza lectora est
en una posicin P. Si el smbolo en la posicin P es a y (q, a) = (q0, b, X),
Entonces:
* La mquina escribe el smbolo b en la posicin P de la cinta.
* Cambia de estado desde S a S0.
* Mueve la cabeza lectora a la posicin p 1 si X = I, y a la posicin
p + 1 si X = D. Si X = N, entonces la cabeza lectora permanece en la posicin p.

Es significativo que la cinta puede extenderse indefinidamente a derecha e

izquierda, lo que hace que en la prctica sea imposible construir un modelo real de
lo que se denomina un sistema de Turing completo. Es tambin destacable que la
mquina da a la cinta tres utilizaciones distintas:
a) Como elemento de almacenamiento de los datos de entrada (de capacidad
potencialmente ilimitada)
b) Como elemento de salida (de cualquier cantidad de datos)
c) Como almacenamiento de informacin intermedia durante el proceso (puede ser
de cualquier tamao).
Aunque tanto el alfabeto utilizado como el nmero de estados son finitos, lo que
confiere su potencia a la mquina de Turing es su almacenamiento ilimitado.
Turing prob que este autmata es tambin un computador universal. Es decir,
que puede emular el comportamiento de cualquier dispositivo cuyo
comportamiento pueda ser expresado simblicamente mediante un algoritmo.

CONCLUSIONES

Gracias a las mquinas de Turing podemos hoy en da tener computadoras ya que

fue una de las personas importantes en el teorema de la computacin.
Una Mquina de Turing, o MT, se considerar una cinta infinita dividida en casillas,
cada una de las cuales contiene un smbolo, y sobre la cual acta un dispositivo
que puede adoptar diversos estados, y que lee un smbolo de la casilla sobre la
que est situado. En funcin de dicho smbolo y del estado actual, se pueden
realizar tres acciones siguientes: pasa a un nuevo estado, imprime un smbolo en
lugar del que acaba de leer y se desplaza a una posicin hacia la izquierda,
derecha, o se detiene.
Turing estudio acerca de la relatividad, la mecnica cuntica y matemtica en
general, sin embargo su fuerte fue la probabilidad, descubri de forma
independiente el teorema de lmite central y ya luego se encausara en fabricar su
mquina.
Turing sent las bases actuales para la computacin permitiendo un avance
estructurado en el crecimiento del conocimiento en esta rea.
Al desarrollarse en campos como la inteligencia artificial hizo que las personas
relacionadas con el mbito computacional se interesaran en hacer la computacin
un tema Ubicuo en donde las mquinas sean tan inteligentes que permitan servir a
la humanidad sin ser percibidas.
La mquina de Turing fue una abstraccin matemtica que revolucion la forma en
cmo se computaban los datos.