MQUINAS DE TURING

COMPENDIO DE RESUMEN
1 | P g i n a
1. MQUINA DE TURING DETERMINISTA
Concepcin de la maquina-> usabilidad
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 cabeal, las acciones a tomar en !uncin de
una entrada" #n el caso de que para cada par (estado, smbolo) posible e$ista a lo
sumo una posibilidad de e%ecucin, se dir que es una mquina de Turing
determinista"
1.1Funcionalidad
La mquina de Turing consta de un cabeal lector&escritor y una cinta in!inita en la
que el cabeal lee el contenido, borra el contenido anterior y escribe un nuevo valor"
Las operaciones que se pueden realiar en esta mquina se limitan a'
(over el cabeal lector&escritor )acia la derec)a"
*isualiacin de una mquina de Turing, en la que se ve el cabeal y la cinta que
se lee"
(over el cabeal lector&escritor )acia la iquierda"
#l cmputo se determina a partir de una tabla de estados de la !orma'
(estado, valor) (nuevo estado, nuevo valor, direccin)
#sta tabla toma como parmetros el estado actual de la mquina y el carcter ledo
de la cinta, dando la direccin para mover el cabeal, 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 traba%o
denominados celdas, donde se pueden escribir y leer smbolos" +nicialmente todas
las celdas contienen un smbolo especial denominado ,blanco," Las instrucciones
2 | P g i n a
que determinan el !uncionamiento de la mquina tienen la !orma, ,si estamos en el
estado x leyendo la posicin y, donde )ay escrito el smbolo z, entonces este
smbolo debe ser reemplaado por este otro smbolo, y pasar a leer la celda
siguiente, bien a la iquierda o bien a la derec)a,"
1.2Ejemli!icacione"#$%ue&a "imle
-e!inimos una mquina de Turing sobre el al!abeto , donde . representa el
smbolo blanco" La mquina comenar su proceso situada sobre un smbolo ,/, de
una serie"
#l con%unto de estados es y el estado inicial es " La tabla que
describe la !uncin de transicin es la siguiente'
E"'ado S(m&olo le(do S(m&olo e"c%i'o Mo). E"'ado "i*.
/ .
/ /
. .
. /
/ /
/ /
. .
/ /
. /
#l !uncionamiento de una computacin de esta mquina puede mostrarse con el
siguiente e%emplo (en negrita se resalta la posicin de la cabea lectora&escritora)'
3 | P g i n a
Pa"o E"'ado Cin'a
/ 1/
0 .1
1 ./+
2 ./.+
3 ./+/
4 .1./
5 +/./
6 /1./
7 /.+/
/. /..1
// /../+
/0 /..1/
/1 /.+//
/2 /+.//
/3 //+//
8arada
4 | P g i n a
,. MQUINA DE TURING NO DETERMINISTA -MTND.
Las (T no determinsticas tienen una sola cabea y una !inta in!inita en ambos
sentidos" 8ara cada smbolo y estado, la (T tiene un n9mero !inito de opciones para
el siguiente movimiento" Cada eleccin consiste de un nuevo estado, un smbolo a
imprimir y un movimiento de la cabea" #n este caso, como en el caso de autmatas
!initos, el modelo no determinstico no )ace crecer el podero del modelo
determinstico"
8ara entender de manera prctica la mquina de Turing no determinista ((T:-)
e$plicaremos un modelo de menor poder computacional que la (T, el autmata !inito
determinstico (;<-), que en t=rminos prcticos se describe como una (T que no
tiene la capacidad de escribir en la cinta y 9nicamente el cabeal se puede mover de
iquierda a derec)a" #l siguiente e%emplo ilustrar un problema, el cual s tiene el
poder de resolver el ;<-" #%emplo'
>e tiene el al!abeto ?@A."/B, construir un ;<- cuyo lengua%e aceptado sean todas
cadenas que siempre y cuando tenga una longitud de por lo menos 1 smbolos y un /
en la antepen9ltima posicin de la cadena" #l diagrama de la !uncin de transicin
es mostrado en la siguiente !igura, donde' C. es el estado inicial y C2 el estado de
aceptacin y cualquier otro estado es un estado de no aceptacin"
-iagrama de una !uncin de transicin de un ;utmata <inito -eterminstico"
8or e%emplo si introducimos la cadena /.., =sta es aceptada por que es de longitud
tres y tiene un / en la antepen9ltima posicin de la cadena, si introducimos .//././
es aceptada tambi=n"
;)ora mostraremos un autmata !inito no determinstico (;<:-) que resuelve el
mismo problema y acepta el mismo lengua%e del problema anterior" #n la siguiente
5 | P g i n a
!igura se muestra el diagrama de la !uncin de transicin no determinista" >e puede
observar que para el estado C. e$isten dos transiciones para el smbolo /, esto se
e%empli!ica de la siguiente maneraD se da la cadena /.//./ al ;<:-, en la !igura de
ms aba%o se muestra el rbol de transiciones resultante, esto es, todas las
transiciones que ocurren del inicio de la cadena )asta el !inal"
-iagrama de una !uncin de transicin de un ;utmata <inito :o -eterminstico"
Erbol del ;<:- de la !igura anterior
#l determinismo radica en lo siguiente' en lugar de preguntarse si el trayecto
correspondiente a una cadena lleva a un estado de aceptacin como lo )ara con un
;<-, )ay que preguntarse si alg9n trayecto correspondiente a la cadena tiene dic)o
6 | P g i n a
e!ecto" #n el seguimiento del diagrama de las 0 !iguras anteriores, cuando se est
en el estado C. y se recibe el smbolo de entrada /, se adivina cul !lec)a con el
rotulo / es la que debe seguir" La adivinacin incorrecta podra originar una
respuesta FnoG para una cadena que sea parte verdadera del lengua%e" #llo no
invlida la estrategia, ya que para una cadena del lengua%e e$iste al menos una
secuencia de adivinacin que lleva a la aceptacin, y para una cadena que no sea
parte del lengua%e, ninguna secuencia de adivinacin )ace que se acepte la cadena"
-ebe tenerse en cuenta que todos los trayectos deben llegar a un !inal y sobre todo,
el no determinismo no aumenta la potencia de la (T, pero puede reducir el menor
n9mero de estados en relacin a un ;<, como en el caso de este e%emplo, adems
que puede variar la comple%idad del cmputo, esto es, el tiempo y espacio"
;)ora veamos un e%emplo de cmo sera la (T:-'
Hna !orma determinista de probar si un entero es una potencia de 0 es veri!icar en
primer t=rmino si el entero es / y en caso de que no lo sea, realiar unas secuencias
de divisiones entre dos" >i en cualquier paso antes de llegar a uno se obtiene un
residuo distinto de cero, la respuesta es negativa" >er positiva en caso de que se
obtenga al !inal, el cociente / sin en alguna de las divisiones el residuo sea cero" >in
embargo, normalmente se dira que multiplicar por 0 es ms !cil que dividir entre 0"
;s pues, un en!oque ms sencillo sera comenar con / y realiar una secuencia de
multiplicaciones por 0, se comparara el resultado de cada una de las
multiplicaciones contra la entrada original (el entero a veri!icar), que se aceptara
eventualmente si se obtiene un n9mero igual a la entrada, mientras que se rec)aa
en caso de que se obtenga en 9ltima instancia un n9mero mayor que la entrada o
simplemente se de%a que las iteraciones contin9en inde!inidamente" #n la (T:- se
adivinar un n9mero i, se obtendr 0i y se someter a prueba este valor con el entero
a veri!icar, pero e$isten simultneamente otras adivinaciones de i que se evaluarn"
;)ora analiaremos un algoritmo que resuelve el >;T en !orma no determinista"
Tenemos el problema de <:C->;T anterior"
<0 @($/ v $0 ) (I$/ v I$0 )
7 | P g i n a
8or lo que su algoritmo no determinista sera el siguiente"
>e generan soluciones"
;traemos las soluciones en un tiempo donde $/ sea igual a cierto o $0 sea igual
a cierto"
;traemos las soluciones en un tiempo donde $/ sea igual a !also o $0 sea igual a
!also"
;lgoritmo >;T no determinstico"
>e puede observar que la comple%idad de <:C->;T cambia de un algoritmo
determinista e$ponencial con comple%idad 0
:
(donde : es el n9mero de variables) a
un algoritmo no determinista polinmico con comple%idad :, donde : es el n9mero de
elementos con%untivos"
Cualquier lengua%e que pueda ser aceptado por una (T:- tambi=n es aceptado por
una (T, por lo que el poder de la (T:- no cambia, solo lo )ace su comple%idad"
#n resumen, una mquina de Turing no determinista adivina el camino correcto y
luego comprueba que e!ectivamente es el correcto"
8or e%emplo' Hna (T:- que decide si dos v=rtices de un gra!o estn conectados
puede simplemente adivinar un camino entre ellos, luego necesita veri!icar que
e!ectivamente el camino es vlido (e$iste)"
8 | P g i n a
/. MQUINA DE TURING MU0TICINTA
/.1 CONCEPTO
Hna (quina de Turing ((T) de doble cinta, o ms de una cinta, consiste de un
control !inito de estados Q con k cabeales lectores&escritores y k cintas" Cada cinta
es in!inita en ambos sentidos (derec)a e iquierda)" La (T de!ine su movimiento
dependiendo del smbolo que est leyendo cada uno de sus cabeales, da reglas de
sustitucin para cada uno de los smbolos y direccin de movimiento para cada uno
de los cabeales" +nicialmente la (T empiea con la entrada en la primera cinta y el
resto de las cintas en blanco"
/., FUNCIONAMIENTO
#n el modelo de multicintas, )ay k cintas di!erentes y k cabeas de L&#" La !uncin
de transicin para mquinas de Turing con n cintas cuya de!inicin se detalla a
continuacin"
C es un con%unto !inito de estados"
J es un al!abeto tal que K, L ?"
M es un al!abeto tal que J AK, LB M"
q
.
C es el estado inicial"
< C es un con%unto de estados !inales"
N es una !uncin parcial"
N ' C O M
k
P C O M
k
O A-, +, :B
k
N es llamada !uncin de transicin"
La mquina tiene k cintas in!initas )acia la derec)a"
- #l smbolo K es usado para demarcar la posicin . de cada cinta"
9 | P g i n a
J es el al!abeto de entrada y M es el al!abeto de las cintas"
- Hna palabra w JQ de entrada de largo n, es colocada en las posiciones /,"", n
de la primera cinta"
- Las siguientes posiciones (n R /, n R 0, """) de la primera cinta contienen el
smbolo L"
- Las restantes contienen el smbolo L en las posiciones /, 0, 1, S
La mquina posee una cabea lectora por cinta, al comenar la mquina se
encuentra en el estado q
.
, y cada cabea lectora est en la posicin / de la cinta"
#n cada instante la mquina se encuentra en un estado q

y su cabea lectora i se
encuentra en la posicin p
i"
>i el smbolo en la posicin p
i
es a
i
y (q, a
1,
a
2,,
a
k
) @ (q, b
1,
b
2,,
a
k,
X
1,
X
2,,
X
k,
)
entonces'
- La mquina escribe el smbolo bi en la posicin pi de la i-=sima cinta"
- Cambia de estado desde q a qT"
- (ueve la cabea lectora de la i-=sima cinta pi-1 si Xi= I, y la posicin pi+1 si Xi =
D" >i Xi = N, entonces la mquina no mueve la cabea lectora de la i-=sima cinta"
/./ E1EMP0IFICACI2N
10 | P g i n a
La (quina de Turing de dos cintas que reconoce el lengua%e'
L@Aa
i
b
i
c
i
'iU.B
>e coloca la cadena de entrada en la primera cinta, la idea es copiar en la
segunda cinta una V por cada a y cuando encuentre la primera b, se detiene en la
primea cinta, luego se avana a la derec)a en la primera cinta y se avana a la
iquierda en la segunda cinta, cuando encuentra la primera c las dos cintas
avanan )acia la derec)a"
La !uncin de transicin o es la siguiente, sea T @ Aq
1
B
N(q
.
, (a, L)) @ (q
.
, (a, V), (-, -)) N(q
.
, (b, L)) @ (q
/
, (b, L), (:, -)) N(q
/
, (b, V)) @
(q
/
, (b, V), (-, +)) N(q
/
, (c, L)) @ (q
0
, (c, L), (:, -)) N(q
0
, (c, V)) @ (q
0
, (c, V), (-,
-)) N(q
0
, (L, L)) @ (q
1
, (L, L), (-, -))
4. MQUINA DE TURING 3 4ARIAS CA5E6AS
11 | P g i n a
7.1Di"'%i&uci8n de Ma9uina de Tu%in*: m;" de una ca&e<a.
Cabea La (T posee una cabea que puede emplearse para leer y escribir
smbolos en la cinta de la mquina" ;s, puede rastrear los datos de la cinta y
modiWcar las celdas que desee sin alterar las dems" 8or eso, una mquina de
Turing puede estar en movimiento indeWnidamente" ;cciones Las acciones
especWcas son operaciones de escritura y de movimiento La operacin de
escritura consiste en reemplaar un smbolo en la cinta con otro smbolo y luego
cambiar de estado La operacin de movimiento comprende mover la cabea una
celda a la derec)a o a la iquierda y luego pasar a un nuevo estado" -epender
del smbolo de la celda y del estado actual"
7.,Funcionamien'o de la m;9uina de Tu%in* con ca&e<a lec'o%a.
12 | P g i n a
7./Conce'o m;9uina de Tu%in* de mul'icin'a = de )a%ia" ca&e<a"
M;9uina de Tu%in* Mul'icin'a
La mquina de Turing multicinta tiene varias cintas, cada una de las cuales tiene
su propia cabea de lectura&escritura" Las cabeas de lectura&escritura se
controlan independientemente (es decir, al mismo tiempo, no tienen que moverse
en la misma direccin, ni realiar el mismo n9mero de movimientos, ni incluso,
)acer nada a la ve)"
Cambia de estado dependiendo del estado actual y del contenido de las
celdas de todas las cintas, que estn analiando actualmente las cabeas de
lectura&escritura"
#scriben un nuevo smbolo en cada una de las celdas barridas por sus
cabeas de lectura&escritura"
(ueve cada una de sus cabeas )acia la iquierda o )acia la derec)a (de
!orma independiente al resto de las cabeas)"
8or tanto, la !uncin de transicin para una mquina de Turing con n cintas, es
de la !orma d' C $ X n Y C $ X n $ AZ, LB n donde una transicin de la !orma d
(q, (s/, s0,S, sn)) @ (p,(t/, t0, S, tn), (V/, V0, S, Vn)) signi!ica que cambia del
estado q a p, reemplaa si por ti en la cinta i y mueve la cabea de la cinta i en
la direccin Vi"
M;9uina de Tu%in* de )a%ia" ca&e<a" -mul'ica&e<a".
>e puede lograr entender que este suceso ocurre cuando e$iste ms de una cinta
(multicinta), estas poseen sus propias cabeas, las cuales no dependen una de la
otra ya sea en el orden de lectura o escritura" Cada mquina estndar es una
maquina con dos cintas que no usan la segunda cinta
Como observacin'
13 | P g i n a
8ara comprender este termino tuvimos que investigar sobre los distintos
!uncionamientos de la maquina de Turing y sacar conclusiones grupales"
>. MQUINA DE TURING FUERA DE 0?NEA
>.1[Cu= es\
La (quina de Turing es catalogada como un FdispositivoG, el cual es capa de
reconocer tanto los lengua%es regulares, como los lengua%es independientes de
conte$to" -entro de sus ms importantes caractersticas, destacamos que todo
aqu=l algoritmo e$istente puede ser e$presado en la (quina de Turing"
La (quina de Turing, posee un control !inito, una cabea lectora, y una cinta
(!inita por el lado donde comiena a leer e in!inita para su otro lado), este cabeal
se mueve bidireccionalmente, por tanto puede FleerG )acia ambos de sus lados,
es decir )acia delante y puede volver )acia atrs" >iendo todo esto una
representacin tangible de la (T, ya que consiste realmente en una
representacin matemtica de los algoritmos que en ella se reconocen"
#ste modelo est con!ormado por un al!abeto de entrada y uno de salida, un
smbolo especial llamado blanco (normalmente b, ] o .), un con%unto de estados
!initos y un con%unto de transiciones entre dic)os estados" >u !uncionamiento se
basa en una !uncin de transicin, que recibe un estado inicial y una cadena de
caracteres
(F;bstraccinG de la (quina de Turing)
14 | P g i n a
>., Funcionalidad@
-e acuerdo a su !orma de !uncin, el traba%o de la (T consiste en trans!ormar un
+:8HT (entrada) en un ^HT8HT (salida) despues de cierto proceso (como un
FsistemaG tradicional)" Tanto la entrada como la salida estan escritos en lengua%e
binario (./././)" ^riginalmente la (T consiste en una cinta in!initamente larga
escrita en cdigo binario que pasa a trav=s de un lector" Cada troo de cinta ocupa
/ simple bit"
8ara realiar un algoritmo, la (T se inicia en un estado de los que estn previstos"
Luego de esto, se lee el bit que se encuentra en la primera posicin y e%ecuta
alguna operacin con =l (si este bit cambia sus propiedades depende del estado
con que )aya comenado la asignacin), luego la lectura se desplaa a la
iquierda o ala derec)a y procesa el mismo bit de igual !orma" ;l !inal se detiene, y
al lado iquierdo de%a el resultado de las operaciones"
>./Ejemlo@
Una in"'%ucci8n '(ica od%(a "e%@ +111+11i
La traduccin es como sigue' si la mquina se encuentra en el estado interno . y
lee / en la cinta, entonces pasar al estado interno //./ (/1), escribir / y se
mover )acia la iquierda un paso (la cinta se mover )acia la derec)a)"
; continuacin es conveniente inventar una notacin para la secuencia del
+:8HT" #sta notacin se llama notacin binaria e$pandida" Consiste en cambiar
la secuencia original binaria por otra construida de la siguiente !orma' el . se
cambia por . y el / por /. y se ponen un cero a la iquierda y&o a la derec)a del
resultado si empiea o acaba en / respectivamente" ;s por e%emplo, el n9mero
/1 que en binario es //./ es en binario e$pandido /./../. con un cero delante
15 | P g i n a
por esta 9ltima regla ././../." 8ara volver al original )ay que contraer el binario
e$pandido con la siguiente regla'
La mquina de Turing consta de un cabeal lector&escritor y una cinta in!inita en
la que el cabeal lee el contenido, borra el contenido anterior y escribe un nuevo
valor" Las operaciones que se pueden realiar en esta mquina se limitan a'
_ avanar el cabeal lector&escritor )acia la derec)a"
+magen representativa
_ avanar el cabeal lector&escritor )acia la iquierda"
#l cmputo es determinado a partir de una tabla de estados de la !orma'
(estado, valor) (nuevo estado, nuevo valor, direccin)
#sta tabla toma como parmetros el estado actual de la mquina y el carcter ledo
de la cinta, dando la direccin para mover el cabeal, el nuevo estado de la
mquina y el valor a ser escrito en la cinta"
Fue%a de l(nea@
Hna mquina de Turing !uera de lnea es una (T multi-cinta cuya cinta de #ntrada
es slo de lectura" Hsualmente la entrada se rodea por el smbolo c" #n la iquierda
16 | P g i n a
y por el ` en la derec)a" La (T no permite mover la cabea -e entrada de la cinta
!uera de la regin entre c y el smbolo `" 8or eso, es ^bvio que la mquina de
Turing !uera de lnea es un caso especial de la (T multi-cinta" Zecprocamente, una
mquina de Turing !uera de lnea puede simular cualquier (T ( que use una o ms
cintas que ("
;qu FCG y F`G son los valores que se usan de !orma predeterminada para indicar
tanto el comieno como el !inal de de la entrada" #n este caso FaG :^ LL;:C^ en
cada cinta (como se aprecia en la imagen, siendo el primer dgito antes de cada
valor" Hna - de una mquina, se utilia para describir cada cinta, adems esta
posee in!ormacin del tipo' estado, in!ormacin adicional a la cinta de entrada, Fla
posicin de la cabea de entradaG, y la distancia de cada cabea almacenadora al
smbolo a de su propia cinta, a esta distancia se le llamada el FContadorG de cintas"
#sto indica que al contar, la mquina slo almacena un contador por cada cinta e
indica si es o no C#Z^"
17 | P g i n a
5I50IOGRAF?A
Si'io" Ae&@
)ttp'&&maquinaturing"blogspot"com&p&!uncionamiento-de-la-maquina-turing")tml
)ttp'&&beb"ing"puc"cl&cmarenas&iic1020-//&clases&mt-imp"pd!
)ttp'&&elmaquinadeturing"bordpress"com&0..7&/0&/3&dC0dL<que-es-una-maquina-de-
turing-i&
)ttp'&&acme"mat)"cinvestav"m$&cbasico&siete/")tml
)ttp'&&maquinadeturingunad"blogspot"com&
)ttp'&&acme"mat)"cinvestav"m$&cbasico&apac)e&siete/"pd!
)ttp'&&es"bieipedia"org&biei&(dC1d;/quinafdefTuring
)ttp'&&datateca"unad"edu"co&contenidos&1./2.3&#V#(^-HL^0./1/&e$ed0.modulo
d0.1./2.3&captulof6fmquinafdefturingfyfcomputacin")tml
;maya, L" ;" (s"!")" Mquina !" #u$in%" ^btenido de
)ttp'&&maquinaturing"blogspot"com&p&maquina-turing-multicintas")tml
;renas, (" (s"!")" In%"ni"$&a '(n)i*i+i" ,ni-"$i!a! .a)/0i+a1 ^btenido de
)ttp'&&beb"ing"puc"cl&cmarenas&iic1020-.7&clases&mt-+-imp"pd!
-esconocido" (s"!")" ,ni-"$i!a! !"0 2a00"" ^btenido de
)ttp'&&eisc"univalle"edu"co&materias&Computabilidad&material&turing"pd!
18 | P g i n a