Mquina de Turing

Una mquina de Turing es un dispositivo que manipula Estudiando sus propiedades abstractas, la mquina de Tusmbolos sobre una tira de cinta de acuerdo a una tabla de ring produce muchas perspectivas en las ciencias de la
reglas. A pesar de su simplicidad, una mquina de Turing computacin y en la teora de la complejidad.
puede ser adaptada para simular la lgica de cualquier
algoritmo de computador y es particularmente til en la
explicacin de las funciones de una CPU dentro de un 1 Historia
computador.
La mquina de Turing fue descrita por Alan Turing como una mquina automtica en 1936 en la revista
Proceedings of the London Mathematical Society,[1] La
mquina de Turing no est diseada como una tecnologa
de computacin prctica, sino como un dispositivo hipottico que representa una mquina de computacin. Las
mquinas de Turing ayudan a los cientcos a entender
los lmites del clculo mecnico.
Turing dio una denicin sucinta del experimento en su
ensayo de 1948, Mquinas inteligentes. Rerindose a
su publicacin de 1936, Turing escribi que la mquina de
Turing, aqu llamada una mquina de computacin lgica,
consista en:
...una ilimitada capacidad de memoria obtenida en la forma de una cinta innita marcada
con cuadrados, en cada uno de los cuales podra imprimirse un smbolo. En cualquier momento hay un smbolo en la mquina; llamado
el smbolo ledo. La mquina puede alterar el
smbolo ledo y su comportamiento est en parte determinado por ese smbolo, pero los smbolos en otros lugares de la cinta no afectan el
comportamiento de la mquina. Sin embargo,
la cinta se puede mover hacia adelante y hacia
atrs a travs de la mquina, siendo esto una
de las operaciones elementales de la mquina.
Por lo tanto cualquier smbolo en la cinta puede tener nalmente una oportunidad.[2] (Turing
1948, p. 61)

Estatua de Turing en la Universidad de Surrey.

Una mquina de Turing que es capaz de simular cualquier

otra mquina de Turing es llamada una mquina universal
de Turing (UTM, o simplemente una mquina universal).
Una denicin ms matemticamente orientada, con una
similar naturaleza universal, fue presentada por Alonzo
Church, cuyo trabajo sobre el clculo lambda se entrelaza con el de Turing en una teora formal de la computacin conocida como la tesis de Church-Turing. La tesis
seala que las mquinas de Turing capturan, de hecho,
la nocin informal de un mtodo ecaz en la lgica y las
matemticas y proporcionan una denicin precisa de un
algoritmo o 'procedimiento mecnico'.

Representacin artstica de una mquina de Turing.

Alan Turing introdujo el concepto de mquina de Turing

en el trabajo On computable numbers, with an application
to the Entscheidungsproblem, publicado por la Sociedad
1

2 DESCRIPCIN INFORMAL

Matemtica de Londres en 1936, en el que se estudiaba

la cuestin planteada por David Hilbert sobre si las matemticas son decidibles, es decir, si hay un mtodo denido 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.
Con este aparato extremadamente sencillo es posible realizar cualquier cmputo que un computador digital sea
capaz de realizar.
Mediante este modelo terico y el anlisis de la
complejidad de los 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 pueden encontrarse en tiempo polinmico por mquinas de Turing deterministas y no deterministas, respectivamente.

Animacin de la mquina de Turing

Precisamente, la tesis de Church-Turing formulada por

Alan Turing y Alonzo Church, de forma independiente a
mediados del siglo XX caracteriza la nocin informal de imagina un mecanismo, sino una persona a la que l llama
computabilidad con la computacin mediante una mqui- la computadora, quien ejecuta servilmente estas reglas
mecnicas deterministas (o como Turing pone, de una
na de Turing.[3]
manera desganada).
La idea subyacente es el concepto de que una mquina
de Turing puede verse como un autmata ejecutando un Ms precisamente, una mquina de Turing consta de:
procedimiento efectivo denido formalmente, donde el
1. Una cinta que se divide en celdas, una al lado de la
espacio de memoria de trabajo es ilimitado, pero en un
otra. Cada celda contiene un smbolo de algn alfamomento determinado slo una parte nita es accesible.
beto nito. El alfabeto contiene un smbolo especial
llamado blanco (aqu escrito como 'B') y uno o ms
smbolos adicionales. La cinta se supone que es ar2 Descripcin informal
bitrariamente extensible hacia la izquierda y hacia
la derecha, es decir, la mquina de Turing siempre
es suministrada con tanta cinta como necesite para
su computacin. Las celdas que no se hayan escri0 0 0 0 0 1 1 B 0 0
to previamente se asumen que estn rellenas con el
q
smbolo blanco. En algunos modelos la cinta tiene
1
un extremo izquierdo marcado con un smbolo especial; la cinta se extiende o es indenidamente exAqu se muestra el estado interno (q1 ) dentro del cabezal, y la
tensible hacia la derecha.
ilustracin describe la cinta como siendo innita y lledada previamente con '0', el smbolo sirviendo como blanco. El estado
completo del sistema (su conguracin) consiste del estado interno, el contenido de las casillas sombreadas incluyendo el blanco ledo el cabezal (11B) y la posicin del cabezal. (Dibujo despus de Minsky (1967) p. 121).

La mquina de Turing modela matemticamente a una

mquina que opera mecnicamente sobre una cinta. En
esta cinta hay smbolos que la mquina puede leer y escribir, uno a la vez, usando un cabezal lector/escritor de
cinta. La operacin est completamente determinada por
un conjunto nito de instrucciones elementales como en
el estado 42, si el smbolo visto es 0, escribe un 1; Si el
smbolo visto es 1, cambia al estado 17; en el estado 17,
si el smbolo visto es 0, escribe un 1 y cambia al estado 6;
etc. En el artculo original (Sobre nmeros computables
con una aplicacin al Entscheidungsproblem"), Turing no

2. Un cabezal que puede leer y escribir smbolos en la

cinta y mover la cinta a la izquierda y a la derecha
una (y slo una) celda a la vez. En algunos modelos
el cabezal se mueve y la cinta es estacionaria.
3. Un registro de estado que almacena el estado de la
mquina de Turing, uno de los estados nitos. Hay
un estado inicial especial con el que el registro de
estado se inicia. Turing escribe que estos estados reemplazan el estado de la mente en que ordinariamente estara una persona realizando clculos.
4. Una tabla nita de instrucciones (llamada ocasionalmente como tabla de accin o funcin de transicin). Las instrucciones son usualmente 5-tuplas:
qa qa d , (a veces 4-tuplas), que, dado el estado
(q) la mquina est actualmente en y el smbolo (a )

3.1

Funcionamiento

se est leyendo en la cinta (el smbolo actualmente la vez). Esto se repite segn se indique en la funcin de
debajo del cabezal) le indica a la mquina hacer lo transicin, para nalmente detenerse en un estado nal o
siguiente en secuencia (para los modelos de 5-tupla): de aceptacin, representando as la salida.
Borra o escribe un smbolo (reemplazando a
con a ), y entonces

Una mquina de Turing con una sola cinta puede denirse

como una 7-tupla

Mueve el cabezal (que es descrito por d y puede tener los valores: 'L' para un paso a la izM = (Q, , , s, b, F, ),
quierda, o 'R' para un paso a la derecha, o 'N'
para permanecer en el mismo lugar) y luego
donde:[5]
Asume el mismo o un nuevo estado como prescrito (ve al estado q).
Qes un conjunto nito de estados.
En los modelos de 4-tupla, son especicadas como instrucciones separadas: borrar o escribir un smbolo (a ) y mover el cabezal a la izquierda o la derecha (d ). Especcamente, la tabla indica a la mquina: (ia) borrar o escribir un smbolo
o (ib) mover el cabezal a la izquierda o a la derecha, y luego (ii) asumir
el mismo o un nuevo estado, pero
no las dos acciones (ia) y (ib) en la
misma instruccin. En algunos modelos, si no hay ninguna entrada en
la tabla para la actual combinacin
de smbolo y estado, la mquina se
detendr; otros modelos requieren
que estn llenas todas las entradas.
Note que cada parte de la mquina su estado y colecciones de smbolos y sus acciones imprimir, borrar,
movimiento de la cinta es nito, discreto y distinguible; es la cantidad potencialmente ilimitada de cinta lo
que le da una cantidad ilimitada de espacio de almacenamiento.

Denicin formal

es un conjunto nito de smbolos distinto del espacio en blanco, denominado alfabeto de mquina o
de entrada.
es un conjunto nito de smbolos de cinta, denominado alfabeto de cinta ( ).
s Q es el estado inicial.
b es un smbolo denominado blanco, y es el nico smbolo que se puede repetir un nmero innito
de veces.
F Q es el conjunto de estados nales de aceptacin.
: Q Q {L, R} es una funcin
parcial denominada funcin de transicin, donde L
es un movimiento a la izquierda y Res el movimiento
a la derecha.
Existen en la literatura un abundante nmero de deniciones alternativas, pero todas ellas tienen el mismo poder
computacional, por ejemplo se puede aadir el smbolo S
como smbolo de no movimiento en un paso de cmputo.

3.1 Funcionamiento

La mquina de Turing consta de un cabezal lector/escritor

Una mquina de Turing es un modelo computacional y una cinta innita en la que el cabezal lee el contenido,
que realiza una lectura/escritura de manera automtica borra el contenido anterior y escribe un nuevo valor. Las
sobre una entrada llamada cinta, generando una salida en operaciones que se pueden realizar en esta mquina se
limitan a:
esta misma.
[4]

Este modelo est formado por un alfabeto de entrada y

uno de salida, un smbolo especial llamado blanco (normalmente b, o 0), un conjunto de estados nitos y un
conjunto de transiciones entre dichos estados. Su funcionamiento se basa en una funcin de transicin, que recibe
un estado inicial y una cadena de caracteres (la cinta, la
cual puede ser innita) pertenecientes al alfabeto de entrada. La mquina va leyendo una celda de la cinta en
cada paso, borrando el smbolo en el que se encuentra
posicionado su cabezal y escribiendo un nuevo smbolo
perteneciente al alfabeto de salida, para luego desplazar
el cabezal a la izquierda o a la derecha (solo una celda a

Mover el cabezal lector/escritor hacia la derecha.

Mover el cabezal lector/escritor hacia la izquierda.
El cmputo se determina a partir de una tabla de estados
de la forma:

Esta tabla toma como parmetros el estado actual de la

mquina y el carcter ledo de la cinta, dando la direccin

EJEMPLO

Los estados se representan como vrtices, etiquetados con su nombre en el interior.

Visualizacin de una mquina de Turing, en la que se ve el cabezal y la cinta que se lee.

para mover el cabezal, el nuevo estado de la mquina y el

valor a escribir en la cinta.
La memoria es la cinta de la mquina que 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.

Una transicin desde un estado a otro, se representa mediante una arista dirigida que une a estos vrtices, y est rotulada por smbolo que lee el cabezal/smbolo que escribir el cabezal, movimiento del
cabezal.
El estado inicial se caracteriza por tener una arista que llega a l y que no proviene de ningn otro
vrtice.
El o los estados nales se representan mediante vrtices que estn encerrados a su vez por otra circunferencia.

3.3 Descripcin instantnea

Es una secuencia de la forma 1 q2 donde 1 , 2 y
q Q que escribe el estado de una MT. La cinta contiene
la cadena 1 2 seguida de innitos blancos. El cabezal
seala el primer smbolo de 2 .

La mquina de Turing puede considerarse como un Por ejemplo, para la mquina de Turing
autmata capaz de reconocer lenguajes formales. En
ese sentido, es capaz de reconocer los lenguajes recursivamente enumerables, de acuerdo a la jerarqua de M T = ({p, q}, {0, 1}, {0, 1, x}, , p, , {q}),
Chomsky. Su potencia es, por tanto, superior a otros tipos de autmatas, como el autmata nito, o el autmata con las transiciones
con pila, o igual a otros modelos con la misma potencia
computacional.
(p, 1) = (p, x, D),
(p, 0) = (p, 0, D)y

3.2

Representacin como diagrama de es- (p, ) = (q, , D).

tados

La descripcin instantnea para la cinta 1011 es:

Las mquinas de Turing pueden representarse mediante

grafos particulares, tambin llamados diagramas de estap1011 . . .
dos nitos, de la siguiente manera:
xp011 . . .
x0p11 . . .
x0xp1 . . .
x0xxp . . .
x0xxq . . .

4 Ejemplo
Esta mquina de Turing est denida 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 q0 y el estado nal es q2 , el lenguaje de
salida
= {X, Y, Z, B} siendo B el smbolo denominado blanco.
Esta mquina reconoce la expresin regular de la forma an bn cn
con n >= 0 .

Denimos una mquina de Turing sobre el alfabeto {0, 1}

, donde 0 representa el smbolo blanco. La mquina comenzar su proceso situada sobre un smbolo 1 de una
serie. La mquina de Turing copiar el nmero de smbolos 1 que encuentre hasta el primer blanco detrs de dicho smbolo blanco. Es decir, posiciona el cabezal sobre
el 1 situado en el extremo izquierdo, doblar el nmero

5.2

Mquina de Turing con cinta innita a ambos lados

de smbolos 1, con un 0 en medio. As, si tenemos la en- 5.2

trada 111 devolver 1110111, con 1111 devolver
111101111, y sucesivamente.

Mquina de Turing con cinta innita a

ambos lados

El conjunto de estados es {s1 , s2 , s3 , s4 , s5 } y el estado

inicial es s1 . La tabla que describe la funcin de transicin
es la siguiente:
El funcionamiento de una computacin de esta mquina
puede mostrarse con el siguiente ejemplo (en negrita se Mquina de Turing con cinta innita a ambos lados
resalta la posicin de la cabeza lectora/escritora):
La mquina realiza su proceso por medio de un bucle, en
el estado inicial s1 , reemplaza el primer 1 con un 0, y pasa
al estado s2 , con el que avanza hacia la derecha, saltando los smbolos 1 hasta un 0 (que debe existir), cuando
lo encuentra pasa al estado s3 , con este estado avanza
saltando los 1 hasta encontrar otro 0 (la primera vez no
habr ningn 1). Una vez en el extremo derecho, aade un
1. Despus comienza el proceso de retorno; con s4 vuelve a la izquierda saltando los 1, cuando encuentra un 0
(en el medio de la secuencia), pasa a s5 que contina a
la izquierda saltando los 1 hasta el 0 que se escribi al
principio. Se reemplaza de nuevo este 0 por 1, y pasa al
smbolo siguiente, si es un 1, se pasa a otra iteracin del
bucle, pasando al estado s1 de nuevo. Si es un smbolo 0,
ser el smbolo central, con lo que la mquina se detiene
al haber nalizado el cmputo.

Esta modicacin se denota al igual que una MT sencilla,

lo que la hace diferente es que la cinta es innita tanto por
la derecha como por la izquierda, lo cual permite realizar
transiciones iniciales como (q0 , x) = (q1 , y, L).

5.3 Mquina de Turing con cinta multipista

Modicaciones equivalentes
Subdivisin de una celda de la cinta.

Una razn para aceptar la mquina de Turing como un

modelo general de cmputo es que el modelo que hemos
denido anteriormente es equivalente a muchas versiones modicadas que en principio pareciera incrementar
el poder computacional.

Es aquella que mediante la cual cada celda de la cinta de

una mquina sencilla se divide en subceldas. Cada celda
es as capaz de contener varios smbolos de la cinta. Por
ejemplo, la cinta de la gura tiene cada celda subdividida
en tres subceldas.
Se dice que esta cinta tiene mltiples pistas puesto que

5.1

Mquina de Turing con movimiento cada celda de esta mquina de Turing contiene mltiples
caracteres, el contenido de las celdas de la cinta puede
stay o esperar

ser representado mediante n-tuplas ordenadas. Los moLa funcin de transicin de la MT sencilla est denida vimientos que realice esta mquina dependern de su estado actual y de la n-tupla que represente el contenido de
por
la celda actual. Cabe mencionar que posee un solo cabezal al igual que una MT sencilla.
: Q Q {L, R},
la cual puede ser modicada como

5.4 Mquina de Turing multicinta

Una MT con ms de una cinta consiste de un control nito con k cabezales lectores/escritores y k cintas. Cada
: Q Q {L, R, S}.
cinta es innita en ambos sentidos. La MT dene su movimiento dependiendo del smbolo que est leyendo cada
Donde S signica permanecer o esperar, es decir uno de sus cabezales, da reglas de sustitucin para cada
no mover el cabezal de lectura/escritura. Por lo tanto, uno de los smbolos y direccin de movimiento para ca(q, ) = (p, , S) signica que se pasa del estado q da uno de los cabezales. Inicialmente la MT empieza con
al p, se escribe en la celda actual y la cabeza se queda la entrada en la primera cinta y el resto de las cintas en
sobre la celda actual.
blanco.

7 PROBLEMA DE LA PARADA (HALTING PROBLEM)

6 Mquina de Turing determinista

y no determinista
La entrada de una mquina de Turing viene determinada
por el estado actual y el smbolo ledo, un par (estado,
smbolo), siendo el cambio de estado, la escritura de un
nuevo smbolo y el movimiento del cabezal, las acciones a
tomar en funcin de una entrada. En el caso de que para
cada par (estado, smbolo) posible exista a lo sumo una
posibilidad de ejecucin, se dir que es una mquina de
Turing determinista, mientras que en el caso de que exista
al menos un par (estado, smbolo) con ms de una posible
combinacin de actuaciones se dir que se trata de una
mquina de Turing no determinista.

Diagrama de una mquina de Turing multicinta, las echas indican los cabezales de lectura/escritura.

La funcin de transicin en el caso no determinista, queda denida como sigue:

: Q P(Q {L, R})

5.5

Mquina de Turing multidimensional

Diagrama de una mquina de Turing bidimensional.

Cmo sabe una mquina no determinista qu accin tomar de las varias posibles? Hay dos formas de verlo: una
es decir que la mquina es el mejor adivino posible, esto
es, que siempre elige la transicin que nalmente la llevar a un estado nal de aceptacin. La otra es imaginarse
que la mquina se clona, bifurcndose en varias copias,
cada una de las cuales sigue una de las posibles transiciones. Mientras que una mquina determinista sigue un
nico camino computacional, una mquina no determinista tiene un "rbol computacional. Si cualquiera de las
ramas del rbol naliza en un estado de aceptacin, se
dice que la mquina acepta la entrada.
La capacidad de cmputo de ambas versiones es equivalente; se puede demostrar que dada una mquina de Turing no determinista existe otra mquina de Turing determinista equivalente, en el sentido de que reconoce el
mismo lenguaje, y viceversa. No obstante, la velocidad
de ejecucin de ambos formalismos no es la misma, pues
si una mquina no determinista M reconoce una cierta
palabra de tamao n en un tiempo O(t(n)) , la mquina determinista equivalente reconocer la palabra en un
tiempo O(2t(n) ). Es decir, el no determinismo permitir
reducir la complejidad de la solucin de los problemas,
permitiendo resolver, por ejemplo, problemas de complejidad exponencial en un tiempo polinmico.

Una MT multidimensional es aquella cuya cinta puede

verse como extendindose innitamente en ms de una
direccin, el ejemplo ms bsico sera el de una mquina bidimensional cuya cinta se extendera innitamente
hacia arriba, abajo, derecha e izquierda.

7 Problema de la parada (halting

problem)

En la modicacin bidimensional de MT que se muestra

en la gura tambin se agregan dos nuevos movimientos
del cabezal {U,D} (es decir arriba y abajo). De esta forma
la denicin de los movimientos que realiza el cabezal
ser {L,R,U,D}.

El problema de la parada o problema de la detencin (halting problem en ingls) para mquinas de Turing consiste
en: dada una MT M y una palabra w, determinar si M
terminar en un nmero nito de pasos cuando se ejecuta usando w como entrada.

7
Alan Turing, en su famoso artculo On computable num- 9 Mquina de Turing universal
bers, with an application to the Entscheidungsproblem"
(1936), demostr que el problema de la parada de la m- Una mquina de Turing computa una determinada funquina de Turing es indecidible, en el sentido de que nin- cin parcial de carcter denido y unvoca, denida soguna mquina de Turing lo puede resolver.
bre las secuencias de posibles cadenas de smbolos de su
alfabeto. En este sentido se puede considerar como equivalente a un programa de ordenador, o a un algoritmo. Sin
8 Codicacin de una mquina de embargo es posible realizar una codicacin de la tabla
que representa a una mquina de Turing, a su vez, como
Turing
una secuencia de smbolos en un determinado alfabeto;
por ello, podemos construir una mquina de Turing que
Toda mquina de Turing puede codicarse como una se- acepte como entrada la tabla que representa a otra mcuencia binaria nita, es decir una secuencia nita de ce- quina de Turing, y, de esta manera, simule su comportaros y unos. Para simplicar la codicacin, suponemos miento.
que toda MT tiene un nico estado inicial denotado por
q1 , y un nico estado nal denotado q2 . Tendremos que En 1947, Turing indic:
para una MT M de la forma
Se puede demostrar que es posible construir una mquina especial de este tipo que pue = {s1 , s2 , . . . , sm , . . . , sp } donde s1 representa
da realizar el trabajo de todas las dems. Esta
el smbolo blanco 0, o b (segn se desee denotar),
mquina especial puede ser denominada m = {s2 , . . . , sm }es alfabeto de entrada y
quina universal.
{sm+1 , . . . , sp } son los smbolos auxiliares utilizados por M (cada MT utiliza su propia coleccin - Con esta codicacin de tablas como cadenas, se abre la
posibilidad de que unas mquinas de Turing se compornito de smbolos auxiliares).
ten como otras mquinas de Turing. Sin embargo, muTodos estos smbolos se codican como secuencias de chas de sus posibilidades son indecidibles, pues no admiten una solucin algortmica. Por ejemplo, un probleunos:
ma interesante es determinar si una mquina de Turing
Los estados de una MT q1 , q2 , q3 , . . . , qn se codican cualquiera se parar en un tiempo nito sobre una detertambin con secuencias de unos:
minada entrada; problema conocido como problema de
Las directrices de desplazamiento R , L y S se codi- la parada, y que Turing demostr que era indecidible. En
can con 1, 11, 111, respectivamente. Una transicin general, se puede demostrar que cualquier cuestin no tri(q, a) = (p, c, R)se codica usando ceros como separa- vial sobre el comportamiento o la salida de una mquina
dores entre los estados, los smbolos del alfabeto de cin- de Turing es un problema indecidible.
ta y la directriz de desplazamiento R . As, la transicin El concepto de Mquina de Turing universal est relacio(q3 , s2 ) = (q5 , s3 , R)se codica como
nado con el de un sistema operativo bsico, pues puede
ejecutar cualquier instruccin computable sobre l.[6]
01110110111110111010.
En general, la codicacin de una transicin cualquiera
(qi , sk ) = (qj , st , R)es

10 Mquina de Turing cuntica

01i 01k 01j 01l 01t ,

donde t {1, 2, 3} , segn la direccin sea
derecha(R), izquierda(L), esperar(S) .
Una MT se codica escribiendo consecutivamente las secuencias de las modicaciones de todas sus transiciones.
Ms precisamente, la codicacin de una MT M es de
la forma C1 C2 . . . Ci , donde Ci es la codicacin de la
i -sima transicin de M. Puesto que el orden en que se
representen las transiciones de una MT no es relevante,
una misma MT tiene varias codicaciones diferentes. Esto no representa ninguna desventaja prctica o conceptual
ya que no se pretende que las codicaciones sean nicas.

Ilustracin de una mquina de Turing cuntica.

En 1985, Deutsch present el diseo de la primera Mquina cuntica basada en una mquina de Turing. Con
este n enunci una nueva variante la tesis de ChurchTuring dando lugar al denominado principio de ChurchTuring-Deutsch.

13 ENLACES EXTERNOS

La estructura de una mquina de Turing cuntica es muy

similar a la de una mquina de Turing clsica. Est compuesta por los tres elementos clsicos:
Una cinta de memoria innita en donde cada elemento es un qubit.
Un procesador nito.
Un cabezal.
El procesador contiene el conjunto de instrucciones que
se aplica sobre el elemento de la cinta sealado por el cabezal. El resultado depender del qubit de la cinta y del
estado del procesador. El procesador ejecuta una instruccin por unidad de tiempo.
La cinta de memoria es similar a la de una mquina de Turing tradicional. La nica diferencia es que cada elemento
de la cinta de la mquina cuntica es un qubit. El alfabeto
de esta nueva mquina est formado por el espacio de valores del qubit. La posicin del cabezal se representa con
una variable entera.

11

Vase tambin

Teora de autmatas
Sistema combinacional
Autmata nito
Autmata con pila
Mquina abstracta
Mquina de Turing universal
Mquina de Turing alternante
Problema de la parada
Jerarqua de Chomsky

(Hodges 1983:93). Turing envi su artculo el 31 de mayo de 1936 a la London Mathematical Society para su publicacin en la revista Proceedings (cf Hodges 1983:112),
pero no fue publicada hasta principios de 1937 (cf Hodges
1983:129).
[2] See the denition of "innings" on Wiktionary
[3] Gmez de Silva Garza, Gmez de Silva Garza (2008) (en
espaol). Introduccin a la computacin. pp. 522.
[4] Teora de Autmatas. Teora de Autmatas, RAI 2012
Universidad Carlos III
[5] Prez, Ivn (2005) (en espaol). Lenguaje y Compiladores.
pp. 137.
[6] Paun, Gheorghe (2002). II. Prerequisites. Membrane Computing: An Introduction (en ingls). New York:
Springer-Verlag. ISBN 3540436014. Consultado el 24 de
junio de 2012. The parallelism with a computer, as we
know computers in their general form, is clear: the code of
a Turing machine is its program, the strings to be recognized represent the input data, and the universal Turing machine is the computer itself, with the instructions of the
universal Turing machine corresponding to the operating
system of a computer.

12.2 Bibliografa
Feynman, Richard (1996). Conferencias sobre
computacin. Gracromo. ISBN 84-8432-444-3.
Consultado el 11 de julio de 2010.
Viso, Elisa (2008). Introduccin a la teora de la
computacin. ISBN 978-970-32-5415-6. Consultado
el 11 de julio de 2010.
De Castro, Rodrigo (2004). Teora de la computacin : lenguajes, autmatas, gramticas. Consultado el 15 de julio de 2010.
on computable numbers,with an application to the
entscheidungsproblem (en espaol). Consultado el
15 de julio de 2010.
Variantes de una Mquina de Turing (en espaol).
Consultado el 11 de julio de 2010.

Juego de la vida
Clculo lambda

12

Referencias

12.1

Notas al pie

[1] The idea came to him in mid-1935 (perhaps, see more in

the History section) after a question posed by M. H. A.
Newman in his lectures -- Was there a denite method,
or as Newman put it, a mechanical process which could
be applied to a mathematical statement, and which would
come up with the answer as to whether it was provable

13 Enlaces externos

Wikimedia Commons alberga contenido multimedia sobre Mquina de TuringCommons.

Sitio web de Stephen Wolfram

Demuestran que la mquina de Turing (2,3) es universal
Mquina de Turing construida sobre hardware
Video de mquina de Turing mecnica en Youtube

14
14.1

Text and image sources, contributors, and licenses

Text

Mquina de Turing Fuente: http://es.wikipedia.org/wiki/Mquina_de_Turing?oldid=76730570 Colaboradores: Macar, Zeno Gantner,

Moriel, Sauron, DraXus, Frapen, Head, Zwobot, Nickel Spider, Elmo23x, Ascnder, Sms, Tano4595, Barcex, Symonblade, Porao, LeonardoRob0t, AlfonsoERomero, Emijrp, Rembiapo pohyiete (bot), LP, Orgullobot, RobotQuistnix, Caiserbot, BOT-Superzerocool, BOTijo,
YurikBot, Gaeddal, GermanX, KnightRider, Gtz, Lasneyx, Fer31416, Kn, Jstitch, Alejandrosanchez, CEM-bot, Rbrena, Laura Fiorucci,
Pinar, Alexav8, Davius, Thijs!bot, Isha, Bernard, JAnDbot, Jugones55, Rafa3040, TXiKiBoT, Humberto, Plux, Dav7mx, VolkovBot,
Urdangaray, Snakeyes, Technopat, Belgrano, Matdrodes, Elabra sanchez, CristianRuz, Muro Bot, Cobalttempest, Mtrias, Brauliorpo, Gebla, Pequeniosaltamontes, Dnu72, Farisori, Pan con queso, Juan Mayordomo, Raulshc, Unai Fdz. de Betoo, AVBOT, Espartera, Ezarate,
Casgar49, Joelcuervo, Luckas-bot, Billinghurst, ArthurBot, SuperBraulio13, Xqbot, Jkbw, Samuel abel, TobeBot, Halfdrag, Fepi, Waeswaes, EmausBot, ZroBot, Aldo.martinez.n, JackieBot, (missing paren, Jess Pardillo, Ruos, Ninrouter, Acratta, Luisjimeno98, Elvisor,
Rai201208, Addbot, Zicane, JacobRodrigues, Alejandro Apolinar y Annimos: 107

14.2

Images

Archivo:Cinta_infinita.JPG Fuente: http://upload.wikimedia.org/wikipedia/commons/7/77/Cinta_infinita.JPG Licencia: CC-BY-SA3.0 Colaboradores: Trabajo propio Artista original: Aldo.martinez.n
Archivo:Commons-logo.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/4/4a/Commons-logo.svg Licencia: Public domain
Colaboradores: This version created by Pumbaa, using a proper partial circle and SVG geometry features. (Former versions used to be slightly
warped.) Artista original: SVG version was created by User:Grunt and cleaned up by 3247, based on the earlier PNG version, created by
Reidab.
Archivo:Diagrama_Mquina_Turing.JPG
Fuente:
http://upload.wikimedia.org/wikipedia/commons/e/ea/Diagrama_M%C3%
A1quina_Turing.JPG Licencia: CC-BY-SA-3.0 Colaboradores: Trabajo propio Artista original: Aldo.martinez.n
Archivo:MT_bidimensional.PNG Fuente: http://upload.wikimedia.org/wikipedia/commons/0/03/MT_bidimensional.PNG Licencia:
CC-BY-SA-3.0 Colaboradores: Trabajo propio Artista original: Aldo.martinez.n
Archivo:MT_multicintas.PNG Fuente: http://upload.wikimedia.org/wikipedia/commons/7/76/MT_multicintas.PNG Licencia: CC-BYSA-3.0 Colaboradores: Trabajo propio Artista original: Aldo.martinez.n
Archivo:MT_multipista.JPG Fuente: http://upload.wikimedia.org/wikipedia/commons/4/4c/MT_multipista.JPG Licencia: CC-BY-SA3.0 Colaboradores: Trabajo propio Artista original: Aldo.martinez.n
Archivo:Maquina_cuantica.png Fuente: http://upload.wikimedia.org/wikipedia/commons/6/67/Maquina_cuantica.png Licencia: CCBY-SA-3.0 Colaboradores: ? Artista original: ?
Archivo:Mquina_de_Turing.png Fuente: http://upload.wikimedia.org/wikipedia/commons/2/2c/M%C3%A1quina_de_Turing.png
Licencia: Public domain Colaboradores: Trabajo propio Artista original: Aldo.martinez.n
Archivo:TuringBeispielAnimatedGIF.gif
Fuente:
http://upload.wikimedia.org/wikipedia/commons/9/94/
TuringBeispielAnimatedGIF.gif Licencia: CC-BY-SA-3.0 Colaboradores: Trabajo propio Artista original: RosarioVanTulpe
Archivo:Turing_Machine.png Fuente: http://upload.wikimedia.org/wikipedia/commons/b/b7/Turing_Machine.png Licencia: Public domain Colaboradores: ? Artista original: ?
Archivo:Turing_machine_2b.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/a/a2/Turing_machine_2b.svg Licencia: Public domain Colaboradores: Transferred from en.wikipedia; transferred to Commons by User:Lampak using CommonsHelper.
Artista original: User:Nynexman4464. Original uploader was Nynexman4464 at en.wikipedia
Archivo:Turing_statue_Surrey.jpg Fuente: http://upload.wikimedia.org/wikipedia/commons/7/76/Turing_statue_Surrey.jpg Licencia:
Public domain Colaboradores: Trabajo propio Artista original: Fernrohr

14.3

Content license

Creative Commons Attribution-Share Alike 3.0