UNIDAD 4.

- MAQUINAS DE TURING

1. QUE ES Y EN QUE CONSISTE UNA MAQUINA DE TURING

Una mquina de Turing consiste, bsicamente, en una cinta infinita, dividida en
casillas. Sobre esta cinta hay un dispositivo capaz de desplazarse a lo largo de
ella a razn de una casilla cada vez. Este dispositivo cuenta con un cabezal capaz
de leer un smbolo escrito en la cinta, o de borrar el existente e imprimir uno nuevo
en su lugar. Por ltimo, contiene adems un registro capaz de almacenar un
estado cualquiera, el cual viene definido por un smbolo. Los smbolos que definen
el estado del dispositivo no tienen por qu coincidir con los smbolos que se
pueden leer o escribir en la cinta. En los programas presentados en el artculo, los
posibles smbolos a leer o escribir en la cinta son el 0 y el 1, y los posibles estados
se representan con letras maysculas. En el emulador, existe un cambio en la
representacin del estado, usando para ello los nmeros del 0 al 99, para permitir
un mayor nmero de ellos. La mquina tiene un funcionamiento totalmente
mecnico y secuencial. Lo que hace es leer el smbolo que hay en la casilla que
tiene debajo. Despus toma el smbolo del estado en que se encuentra. Con estos
dos datos accede a una tabla, en la cual lee el smbolo que debe escribir en la
cinta, el nuevo estado al que debe pasar y si debe desplazarse a la casilla
izquierda o derecha.

2. CUALES SON LOS ELEMENTOS QUE CONSTITUYEN UNA MAQUINA DE
TURING
Una mquina de Turing con una sola cinta puede ser definida 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.
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 o el smbolo
para indicar el alfabeto de entrada.
3. QU OPERACIONES PUEDE REALIZAR UNA MAQUINA DE TURING
1) Parar la computacin.
2) Moverse un cuadrado a la derecha.
3) Moverse un cuadrado a la izquierda.
4) Escribir el smbolo S0 en lugar de cualquier
otro que este en el cuadrado examinado.
5) Escribir el smbolo S1 en lugar de cualquier
otro que este en el cuadrado examinado.

4. COMO SE LLEVA A CABO EL PROCESO DE RECONOCIMIENTO DE UNA
CADENA CON UNA MAQUINA DE TURING
1) registrando la cadena a partir de la segunda celda de su cinta
2) situando su cabeza de lectura en el extremo izquierdo
3) arrancando la mquina desde el estado inicial hasta alcanzar un estado de
parada
Una Mquina de Turing acepta una cadena
Dos posibles criterios:
a) cuando se detiene en la configuracin Y ...
b) cuando simplemente se detiene

5. DEFINE EN QUE CONSISTE UNA MQUINA DE TURING CUNTICA
En 1985, Deutsch present el diseo de la primera Mquina Cuntica basada en
una mquina de Turing. Con este fin enunci una nueva variante la tesis de
Church dando lugar al denominado Principio de Church-Turing-Deutsch.
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 infinita en que cada elemento es un Qu Bit
Un procesador finito
Un cursor
El procesador contiene el juego de instrucciones que se aplica sobre el elemento
de la cinta sealado por el cursor. El resultado depender del Qu Bit 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 Qu Bit.
El alfabeto de esta nueva mquina est formado por el espacio de valores del Qu
Bit.
El cursor es el elemento que comunica la unidad de memoria y el procesador. Su
posicin se representa con una variable entera.


6. COMO SE DENOMINAN LOS LENGUAJES ACEPTADOS POR UNA
MQUINA DE TURING
Una cadena A*, es aceptada por una MT, si comienza en el estado e0, con
la cabeza de
Lectura/escritura en el smbolo ms a la izquierda, luego de leer toda la cadena
llega a un estado
ef. F.
El lenguaje aceptado por MT, es el conjunto de todas las cadenas que son
aceptadas por MT:
L (MT)= / e0 | * ef. y ef. F y , C* y A*
Los lenguajes aceptados por las Mquinas de Turn se denominan lenguajes
recursivos
enumerables o estructurados por frases.

7. EN QUE CONSISTE LA MT DE VARIAS CINTAS
Todos los lenguajes aceptados por una MT con una cinta tambin sern
Aceptados por una MT con varias cintas.
Pero, existen lenguajes aceptados por una MT con varias cintas, que no
pueden ser aceptados por una MT con una cinta? La respuesta es no.

8. QUE SON LAS MT 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.
La funcin de transicin en el caso no determinista, queda definida como sigue:

Cmo sabe una mquina no determinista cul de las varias actuaciones tomar?
Hay dos formas de verlo: una es decir que la mquina es "el mejor adivino
posible", esto es, que siempre elige la transicin que eventualmente la llevar a un
estado final 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 solo "camino
computacional", una mquina no determinista tiene un "rbol computacional". Si
cualquiera de las ramas del rbol finaliza 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 (2
t(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

9. DE QUE DEPENDE EL MOVIMIENTO DE UNA MT
Cada movimiento de la MT con varias cintas depende tanto de su estado, como
del smbolo ledo por cada una de sus cabezads de cinta:

1O. CUALES SON LOS PROCESOS QUE PUEDE REALIZAR UNA MT
Definimos 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, situada
sobre el 1 situado en el extremo izquierdo, doblar el nmero de smbolos 1, con
un 0 en medio. As, si tenemos la entrada "111" devolver "1110111", con "1111"
devolver "111101111", y sucesivamente.
11. COMO SE CODIFICA UNA MT
Si ei es el estado actual, las cadenas 1 y 2 estn ubicadas en las celdas de la
cinta de entrada ( 1
Precede a 2) y la cabeza de lectura/escritura est apuntando al primer smbolo
de 2, se define una
Configuracin de MT como:
1 ei 2 ei E; 1 , 2 C*
Luego, se define una relacin de transicin | en el espacio de posibles
configuraciones de la MT,
como:
1ei 2 | 1 ej 2 1 , 2 , 1, 2 C* ; ei ,ej E
12. COMO DECIDE UNA MT DETERMINAR QUE ACCIN DEBE DE TOMAR
La siguiente lista resume las diferencias entre una autmata finito y una mquina
de Turing:

1. Una mquina de Turing puede escribir a una cinta y leer de ella
2. La cabeza de la cinta puede moverse a la izquierda y a la derecha
3. La cinta es infinita
4. Los estados especiales para aceptar y rechazar tienen efecto
inmediato

Consideremos una mquina de Turing M1 para probar la membreca en el
lenguaje B = { w#w | w { 0, 1 } *}. Es Decir, queremos disear M1 que acepte la
cadena si es miembro de B.

M1 realiza mltiples pases con la cabeza de la cinta sobre la cadena de
entrada. En cada pase se compara un carcter a cada lado del smbolo #. Para
tener control sobre los smbolos previamente comparados, M1 marca cada
smbolo ya examinado. Si se marcan todos los smbolos, esto significa que todo se
compar exitosamente y M1 va a un estado de aceptacin. Si se descubre alguna
diferencia, M1 va a un estado de rechazo. El siguiente algoritmo resume el
funcionamiento de M1.

M1 = Sobre la cadena de entrada w:
1. Barrer la entrada para asegurar que contiene slo un smbolo
#. Si no, rechazar.
2. Moverse en zig-zag sobre la cinta en las posiciones
correspondientes a cada lado del smbolo # para verificar que
estas posiciones contienen el mismo smbolo. Si no, rechazar.
Marcar los smbolos segn se van verificando para seguir la pista
de la correspondencia de smbolos.
3. Cuando todos los smbolos a la izquierda del # se han
marcado, verificar que no queden smbolos sin revisar. Si quedan
smbolos, rechazar; de otro modo aceptar.
13. EXPLIQUE EN QUE CONSISTE LA CONSTRUCCIN MODULAR DE UNA
MT
Las maquinas de Turing adems de utilizarse para el reconocimiento de lenguajes,
tambin se toman como modelos tericos de las computadoras.
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


14. DEFINA MATEMTICAMENTE CUALES SON LOS LENGUAJES QUE
ACEPTA UNA MT
La mquina de Turing es un modelo computacional publicado por la Sociedad
Matemtica de Londres en 1936, en el cual se estudiaba la cuestin planteada por
David Hilbert sobre si las matemticas son decidirles, es decir, si hay un mtodo
definido 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. La mquina de Turing es un modelo matemtico abstracto que formaliza
el concepto de algoritmo.


15. DEFINA QUE ES EL PROBLEMA DE HILBERT
El tercero encendido Lista de Hilbert de problemas matemticos, presentado
adentro 1900, es el ms fcil. El problema se relaciona con la pregunta siguiente:
dado cualquier es dos poliedros del igual volumen, es siempre posible cortar el
primer en finito muchos pedazos polyhedral que se puedan volver a montar para
rendir el segundo? De acuerdo con escrituras anteriores cerca Gauss, Hilbert
conjetur que esto no es siempre posible. Esto fue confirmada dentro del ao por
su estudiante Dehn mximo, que prob que la respuesta en general est no
produciendo a contraejemplo.