INGENIERIA EN

REDES Y TELECOMUNICACIONES
OSCAR PATRICIO ACOSTA PICO
TRC260-41
“LA MAQUINA DE TURING”
19 DE AGOSTO DEL 2010

LA MAQUINA DE TURING

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.

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.

Representación como diagrama de estados.

Las maquinas de Turing se pueden representar mediante grafos particulares,

también llamados diagramas de estados finitos, de la siguiente manera:
Esta Má quina de Turing está definido sobre el alfabeto Σ={a,b,c}, posee el conjunto
de estados Q={qo,q1,q2,q3,q4,q5,q6}, con las transiciones que se pueden ver. Su
estado inicial es q1 y el estado final es q2, el lenguaje de salida
={X,Y,Z,B} siendo B el símbolo denominado Blanco . Esta Má quina reconoce la
expresió n regular de la forma {a^n b^n c^n,n>=0} .

 Los estados se representan como vértices, etiquetados con su nombre en el

interior.
 Una transició n desde un estado a otro, se representa mediante una arista
dirigida que une a estos vértices, y esta rotulada por símbolo que lee el
cabezal/símbolo que escribirá el cabezal, movimiento del cabezal .
 El estado inicial se caracteriza por tener una arista que llega a él,
proveniente de ningú n otro vértice.
 El o los estados finales se representan mediante vértices que está n
encerrados a su vez por otra circunferencia.

Más exacto, una máquina de Turing consiste en:

1. A CINTA cuá l se divide en las células, una al lado de la otra. Cada célula
contiene un símbolo de un cierto alfabeto finito. El alfabeto contiene un
especial espacio en blanco símbolo (aquí escrito como “B”) y unos o má s
otros símbolos. La cinta se asume para ser arbitrariamente extensible a la
izquierda y a la derecha, es decir, la má quina de Turing se provee siempre
de tanta cinta como necesita para su có mputo. Células a las cuales no se han
escrito antes de que se asuman para ser llenados del símbolo en blanco. En
algunos modelos la cinta tiene un extremo izquierdo marcado con un
símbolo especial; la cinta extiende o es indefinidamente extensible a la
derecha. Los símbolos se refieren a veces como colores.
2. A CABEZA eso puede leer y escribir símbolos en la cinta y mover la cinta a
la izquierda e a la derecha una (y solamente una) célula a la vez. En algunos
modelos la cabeza se mueve y la cinta es inmó vil.
3. A TABLA (“tabla de la acció n”, o función de la transición) de instrucciones
(quintuplica generalmente o 5 tuples pero a veces 4 tuples) eso, dado
estado la má quina está actualmente adentro y símbolo está leyendo en la
cinta dice la má quina hacer el siguiente en orden (para los 5 modelos del
tuple): (i) borra o escribe un símbolo, y entonces (ii) movimiento la cabeza
(“L” para un paso dejado o “R” para un paso derecho), y entonces (iii) asume
igual o la a nuevo estado segú n lo prescrito. En los 4 modelos del tuple que
la TABLA dice (ia) de la má quina borra o escribir un símbolo o (ib) mueva el
el izquierdo principal o derecho, y entonces (ii) asume igual o un nuevo
estado segú n lo prescrito, pero no ambas acciones (ia) y (ib) en la misma
instrucció n. En algunos modelos, si no hay entrada en la tabla para la
 combinació n actual del símbolo y del estado entonces la má quina parará ;
otros modelos requieren todas las entradas ser llenados.
4. A registro de estado ese almacena el estado de la tabla de Turing. El
nú mero de diversos estados es siempre finito y hay uno especial comience
el estado con cuá l se inicializa el registro de estado. Turing definió esto
como “nota de instrucciones” de preservar el có mputo de la “computadora”
(una persona) quién está trabajando de una “manera desultory”:

“Esta nota es las contrapartes “del estado de la mente”.” (Undecidable, P.

139)

BIBLIOGRAFIA:

www.worldlingo.com

www.wikipedia.org