UDLA

ESCUELA DE TECNOLOGIA
DE REDES
Y
TELECOMUNICACIONES
 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.

Este modelo está conformado por un alfabeto

de entrada y uno de salida, un símbolo
especial llamado blanco (normalmente b, Δ o
0), un conjunto de estados finitos y un
conjunto de transiciones entre dichos estados.
Su funcionamiento se basa en una funció n de
transició n, que recibe un estado inicial y una
cadena de caracteres(la cinta, la cual es finita
por la izquierda) pertenecientes al alfabeto de
entrada. Luego va leyendo una celda de la
cinta, borrando el símbolo, escribir el nuevo
símbolo perteneciente al alfabeto de salida y
finalmente avanza a la izquierda o a la derecha (solo una celda a la vez), repitiendo esto segú n
se indique en la funció n de transició n, para finalmente detenerse en un estado final o de
aceptación, representando así la salida.
 Historia

El concepto de Má quina de Turing fue introducido por Alan Turing en el trabajo On

computable numbers, with an
application to the
Entscheidungsproblem, publicado
por la Sociedad Matemá tica de
Londres en 1936, en el cual se
estudiaba 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.
Turing ideó un modelo formal de
computador, la má quina de Turing,
y demostró que existían problemas que una máquina no podía resolver.
Con este aparato extremadamente sencillo es posible realizar cualquier có mputo que un
computador digital sea capaz de realizar.
Mediante este modelo teó rico y el aná lisis de complejidad de algoritmos, fue posible la
categorizació n de problemas computacionales de acuerdo a su comportamiento, apareciendo
así, el conjunto de problemas denominados P y NP, cuyas soluciones en tiempo polinó mico
son encontradas segú n el determinismo y no determinismo respectivamente de la má quina de
Turing.
De hecho, se puede probar matemá ticamente que para cualquier programa de computadora
es posible crear una má quina de Turing equivalente. Esta prueba resulta de la Tesis de
Church-Turing, formulada por Alan Turing y Alonzo Church, de forma independiente a
mediados del siglo XX.[1]
La idea subyacente es el concepto de que una má quina de Turing es una persona ejecutando
un procedimiento efectivo definido formalmente, donde el espacio de memoria de trabajo es
ilimitado, pero en un momento determinado só lo una parte finita es accesible.
[Definición formal
Una má quina de Turing con una sola cinta puede ser definida como una 7-tupla

, donde:[2]
Es un conjunto finito de estados.
Es un conjunto finito de símbolos distinto del espacio en blanco, denominado
alfabeto de má quina o de entrada.
Es un conjunto finito de símbolos de cinta, denominado alfabeto de cinta. ( )
Es el estado inicial.
Es un símbolo denominado blanco, y es el ú nico símbolo que se puede repetir
un nú mero infinito de veces.
Es el conjunto de estados finales de aceptació n.
Es una funció n parcial denominada funció n de
transició n, donde es un movimiento a la izquierda y es el movimiento a la derecha.
Existen en la literatura un abundante nú mero de definiciones alternativas, pero todas ellas
tienen el mismo poder computacional, por ejemplo se puede añ adir el símbolo como
símbolo de "no movimiento" en un paso de có mputo.

Funcionamiento

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.

CONCLUCION

LA MAQUINA D E TURING ES UN APORTE MUY GRANDE A LA TECNOLOGIA SE PODRIA

DECIR QUE ES UN PILAR PARA LA MISMA.
ESTA CREADA A BASES DE ASLGORITMOS

DATOS BIBLIOGRAFICOS

 Feynman, Richard (1996). Conferencias sobre computación, graficromo. ISBN 84-8432-444-

3. Consultado el 11 de Julio del 2010.
 Viso, Elisa (2008). Introducción a la teoría de la computación. ISBN 978-970-32-5415-6.
Consultado el 11 de Julio del 2010.
 De Castro, Rodrigo (2004). Teoria de la computacion  : lenguajes, automatas, gramaticas.
Consultado el 15 de Julio del 2010.
 «on computable numbers,with an application to the entscheidungsproblem» (en
español). Consultado el 15 de Julio de 2010.
 «Variantes de una Máquina de Turing» (en español). Consultado el 11 de Julio de 2010.