ARTCULO

UNIDAD IV. MQUINA DE

TURING

AUTOR: NESTOR ALEXIS
ARZATE CANO

RESUMEN:

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 cientficos a entender los
lmites del clculo mecnico.
Una mquina de Turing es un modelo
computacional que realiza
una lectura/escritura de manera
automtica sobre una entrada llamada
cinta, generando una salida en esta
misma.
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 Matemtica de Londres.


4.1 DEFINICIN FORMAL
Una mquina de Turing es un modelo
computacional que realiza
una lectura/escritura de manera
automtica sobre una entrada llamada
cinta, generando una salida en esta
misma.
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 finitos 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 infinita)
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 la vez).
Esto se repite segn se indique en
la funcin de transicin, para finalmente
detenerse en un estado final o de
aceptacin, representando as la salida.
Una mquina de Turing con una sola
cinta puede definirse como una 7-tupla

Donde:
es un conjunto finito
de estados.
es un conjunto finito de
smbolos distinto del espacio en
blanco, denominado alfabeto de
mquina o de entrada.
es un conjunto finito de
smbolos de cinta, denominado
alfabeto de cinta ( ).
es el estado inicial.
es un smbolo
denominado blanco, y es el nico
smbolo que se puede repetir un
nmero infinito de veces.
es el conjunto de
estados finales de aceptacin.

es una funcin
parcial denominada funcin de
transicin, donde es un
movimiento a la izquierda y es
el movimiento a la derecha.
Existen en la literatura un abundante
nmero de definiciones alternativas,
pero todas ellas tienen el mismo
poder computacional, por ejemplo se
puede aadir el smbolo como
smbolo de "no movimiento" en un
paso de cmputo.

Funcionamiento
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:
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: (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 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".

4.2 CONSTRUCCIN MODULAR

Mediante esta Tcnica se pueden
desarrollar mquinas de Turing
complejas a partir de Bloques y a partir
de mquinas ms pequeas mediante
diagramas de transiciones.
La construccin de mquinas de Turing
se lleva a cabo mediante los diagramas
de transicin y combinarlos de manera
parecida a lo que se realiza en la
formacin de la unin y concatenacin
de los autmatas finitos.
Pasos para la construccin de una
mquina de Turing:

1. Elimine las caractersticas de inicio de
los estados iniciales de las mquinas,
excepto la de aquel donde iniciara la
maquina compuesta.

2. Elimine las caractersticas de
detencin de los estados de parada de
todas la maquinas e introduzca un
nuevo estado de parada que no se
encuentre en ninguno de los diagramas
que se combinan.

3. Para cada uno de los antiguos
estados de parada p y cada x en y.

Los diagramas compuestos para la
construccin modular de una mquina
de Turing:
Son aquellos en los que cada uno de los
bloques de construccin se representa
como un nodo, con flechas entre dichos
nodos para indicar las transiciones entre
bloques.

Se puede combinar dos mquinas de
Turing permitiendo que compartan la
misma cinta y, que cuando una termine
su ejecucin, la otra empiece. El
contenido de la cinta cuando comienza
la ejecucin de la segunda mquina de
Turing, est formado por todo lo que
dej la primera mquina de Turing, y la
cabeza de l/e de la segunda se situar,
al comienzo de la ejecucin, sobre la
celda de la cinta sobre la que termin la
primera.
Una mquina de Turing es un autmata
que se mueve sobre una secuencia
lineal de datos. En cada instante la
mquina puede leer un solo dato de la
secuencia (generalmente un carcter) y
realiza ciertas acciones en base a una
tabla que tiene en cuenta su "estado"
actual (interno) y el ltimo dato ledo.
Entre las acciones est la posibilidad de
escribir nuevos datos en la secuencia;
recorrer la secuencia en ambos sentidos
y cambiar de "estado" dentro de un
conjunto finito de estados posibles.

Mquinas de Turing Compuesta.


4.3 LENGUAJES ACEPTADOS

Aceptan lenguajes formales que pueden
ser generados por una gramtica de tipo
0: recursivamente innumerable.
Lenguajes regulares: las gramticas
(de tipo 3) formales definen un lenguaje
describiendo como se pueden generar
las cadenas del lenguaje. Las
gramticas regulares, son las
gramticas ms restrictivas. El lado
derecho de una produccin debe
contener un smbolo Terminal y como
mximo un smbolo no Terminal.
Mquinas de Turing Deterministas y
no Deterministas
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 las acciones a tomar en
funcin de una entrada. En el caso de
que para cada par estado y 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.
Lenguajes Libres de contexto: Estas
gramticas conocidas tambin como
gramticas de tipo 2 o gramticas
independientes del contexto, son las
que generan los lenguajes libres o
independientes del contexto. Los
lenguajes libres del contexto son
aquellos que pueden ser reconocidos
por un autmata de pila determinstico o
no determinstico. Como toda gramtica
se definen mediante una cudrupla
G=N, T, S, P), siendo N un conjunto
finito de smbolos no terminales; T un
conjunto de smbolos terminales: P un
conjunto finito de producciones; S es el
smbolo distinguido o axioma.

Ejemplo

Aqu se describe una MT M2 que
reconoce el lenguaje consistente de
todas las cadenas de 0s cuya longitud
es una potencia de 2. La MT decide el
lenguaje A = {
0
2
n
| n 0}.

M2 = Sobre la cadena de entrada w:

1. Recorrer la cinta de izquierda a
derecha, marcando un cero si y otro no.
2. Si en el paso 1 la cinta contiene slo un
cero, aceptar.
3. Si en el paso 1 la cinta contiene ms
de un cero y la cantidad de ceros es
impar, rechazar.
4. Regresar la cabeza de la cinta hasta la
posicin ms a la izquierda.
5. Ir al paso 1.

Q = { q
1
, q
2
, q
3
, q
4
, q
5
, q
aceptar
,
q
rechazar
}
= { 0 }
= { 0, x, }
se describe en el diagrama de
estados de la figura 4.4
Los estados inicial de aceptacin y
rechazo son q
1
, q
aceptar
, q
rechazar,
respectivamente











REFERENCIA WEB

http://es.wikipedia.org/wiki/M%
C3%A1quina_de_Turing

http://teodelacomp.blogspot.m
x/2011/03/41-definicion-formal-
de-una-maquina.html

http://maquinasdeturing.blogsp
ot.mx/2010/08/el-objetivo-de-la-
creacion-modular-de.html