PRIMER EJERCICIO: DISEÑO DE UNA MT COMO TRANSDUCTOR

1. Identifique los componentes de la Máquina de Turing (descríbala).

Una máquina de Turing consiste, básicamente, en una cinta infinita, dividida en

casillas. Sobre esta cinta hay un dispositivo capaz de desplazarse a lo largo de
ella a razón de una casilla cada vez. Este dispositivo cuenta con un cabezal
capaz de leer un símbolo escrito en la cinta, o de borrar el existente e imprimir
uno nuevo en su lugar. Por último, contiene además un registro capaz de
almacenar un estado cualquiera, el cual viene definido por un símbolo. Los
símbolos que definen el estado del dispositivo no tienen por qué coincidir con los
símbolos que se pueden leer o escribir en la cinta. En los programas presentados
en el artículo, los posibles símbolos a leer o escribir en la cinta son el 0 y el 1, y
los posibles estados se representan con letras mayúsculas. En el emulador,
existe un cambio en la representación del estado, usando para ello los números
del 0 al 99, para permitir un mayor número de ellos. La máquina tiene un
funcionamiento totalmente mecánico y secuencial. Lo que hace es leer el
símbolo que hay en la casilla que tiene debajo. Después toma el símbolo del
estado en que se encuentra. Con estos dos datos accede a una tabla, en la cual
lee el símbolo que debe escribir en la cinta, el nuevo estado al que debe pasar
y si debe desplazarse a la casilla izquierda o derecha.

Componentes de una máquina de Turing: Estado inicial, estado de transiciones

y estado final.

ELEMENTOS QUE CONSTITUYEN UNA MAQUINA DE TURING

Una máquina de Turing con una sola cinta puede ser definida como una 7-tupla:

𝑀 = (𝒬, Σ, Γ, 𝔰, 𝔟, ℱ, 𝛿)

 es un conjunto finito de estados.

 es un conjunto finito de símbolos distinto del espacio en blanco,
denominado alfabeto de máquina o de entrada.
 es un conjunto finito de símbolos de cinta, denominado alfabeto de cinta (
).
 es el estado inicial.
 es un símbolo denominado blanco, y es el único símbolo que se puede
repetir un número infinito de veces.
 es el conjunto de estados finales de aceptación.
  es una función parcial denominada
función de transición, donde es un movimiento a la izquierda y es el
movimiento a la derecha.

SEGUNDO EJERCICIO: DISEÑO DE UN TRANSDUCTOR

La máquina de Turing se puede comportar como transductor: Un transductor computa una

determinada función sobre una cadena en lugar de computarla sobre un conjunto de enteros
o de símbolos independientes. Construyen una respuesta específica (una salida) para un
problema planteado. Modifica el contenido de la cinta realizando cierta función.

Actividades a desarrollar:
Diseñe Una MT que se comporte como transductor que reconozca el lenguaje L ={a}*
(NO incluye o NO acepta la cadena λ). La transducción (salida) debe ser que por cada
símbolo que entre duplique el símbolo del alfabeto de la cinta: Ejemplo: para la
cadena (aa) la salida será (bbbb). El alfabeto de la cinta es debe ser diferente al
alfabeto de entrada. Es decir el alfabeto de entrada es “a” y el de la cinta “b” con sus
respectivos símbolos blanco si es que los necesita en su diseño

1. Identifique los componentes de la Máquina de Turing (descríbala).

M  q0 , q1 , q2 , q3 , a , b, Ц  ,  , q0 , q3 

Tenemos la siguiente descripción para la Maquina de Turing que es una quíntupla de la
forma  K , , ,  , S , F  en donde:

K = {q0,q1,q2,q3} es el conjunto de estados tal que (halt) F  K

∑ = {a} es el alfabeto de entrada donde (el símbolo blanco) Ц  

  b, Ц  es el alfabeto de la cinta donde Ц   y 

S = {q0} es el estado inicial y

F = {q4} es el estado aceptador o halt

  
La función de transición está dada por:  : K  F   K    L, R 
2. Diséñela en un Diagrama de Moore.
 3. Recorra la máquina con al menos una cadena válida explicando lo sucedido
tanto en la cinta como en la secuencia de entrada.
CADENA CINTA K EXPLICACION MOV. DE LA
DE CABEZA
ENTRAD LECTURA
. ESCRITURA
aaaa a q inicia R
0
aaa b q entra la primera a y se traduce en b R
1
aaa ba q se lee la segunda a y se escribe la misma a R
1
aaa baa q se lee la tercera a y se escribe la misma a R
1
aaa baaa q se lee la cuarta a y se escribe la misma a R
1
aaa baaab q se encuentra carácter blanco ya que la cadena S
1 de caracteres llegó a su fin y se escribe una b
aaa baaab q se lee la b y se escribe la misma b. el L
2 movimiento de la cabeza lectora que venía
hacia la derecha cambia el sentido hacia la
izquierda
aaa baaabb q Se lee la última a y se escribe b. La cabeza R
2 lectora va hacia la derecha
aa baabb q se leen las b y se vuelven a escribir R
1 sucesivamente
aa baabbb q se encuentra carácter blanco ya que la cadena S
1 de caracteres llegó a su fin y se escribe una b
aa baabbb q se leen las b y se vuelven a escribir L
2 sucesivamente
a babbbb q Se lee la última a y se escribe b. La cabeza R
2 lectora va hacia la derecha
a babbbb q se leen las b y se vuelven a escribir R
1 sucesivamente
a babbbbb q se encuentra carácter blanco ya que la cadena S
1 de caracteres llegó a su fin y se escribe una b
a babbbbb q se leen las b y se vuelven a escribir L
2 sucesivamente
bbbbbbb q Se lee la última a y se escribe b. La cabeza R
2 lectora va hacia la derecha
bbbbbbb q se leen las b y se vuelven a escribir R
1 sucesivamente
bbbbbbb q se encuentra carácter blanco ya que la cadena S
b 1 de caracteres llegó a su fin y se escribe una b
 bbbbbbb q se leen las b y se vuelven a escribir L
b 2 sucesivamente hasta llegar a la primera b.
bbbbbbb q Se lee un carácter blanco y se escribe un R
b 3 blanco. La cabeza lectora se mueve a la
derecha. Finaliza el proceso ya que estamos
en el estado halt.

4. Identifique una cadena que no sea válida y justifíquela porque.

Cadena bbb
La cadena no cumple con las reglas que la gramática y el lenguaje propuesto aceptan.

5. Ejecute el RunTest a una cadena aceptada que tenga la menos cinco símbolos
6. Identifique en que momento la máquina se detiene.
En el momento en que todos los caracteres son b y se recorre la cadena hacia la izquierda
hasta que se lee un carácter blanco y se escribe un blanco. La cabeza lectora se mueve a
la derecha. Finaliza el proceso ya que estamos en el estado q3 halt.

7. Lo que acaba de diseñar es una MUT o una MT. Justifique su respuesta.

El diseño es de una MT ya que la MUT (máquina universal de Turing) no está diseñada
para un cálculo específico sino para procesar cualquier algoritmo que otras MT. En
nuestro caso este diseño está hecho para recibir la estrella de kleene de a en su entrada y
a la salida traducirla al doble de b´s.
TERCER EJERCICIO: DISEÑO DE UNA MT QUE ACEPTE:

Actividades a desarrollar:
Diseñe un Transductor (MAQUINA DE MEALY) que realice la misma transducción
del ejercicio anterior.
1. Identifique los componentes de la Máquina (descríbala).

La máquina de Mealy o también conocida como el transductor de estados finito y que

genera una salida, se define por una 6-tupla tal como:

𝑴 = < 𝑄, Ʃ, ɼ, 𝑞𝟎, 𝜹, 𝝉 >

En donde:

𝑸: Es el conjunto finito de estados

Ʃ: Es el alfabeto de entrada

ɼ: Es el alfabeto de salida

𝒒𝟎 𝝐 𝑸: Un estado de Q en el cual inicia la computación

𝜹: Es la función de transición

𝝉: Es la función de 𝝉 = 𝑸𝒙Ʃ → ɼ salida

Por ejemplo:

𝑸: {𝒒𝟎 , 𝒒𝟏 , 𝒒𝟐 , 𝒒𝟑 }
Ʃ: {𝟎, 𝟏}
ɼ: {𝟎, 𝟏}
𝝉: {(𝒒𝟎 , 𝟏, 𝟎), (𝒒𝟎 , 𝟎, 𝟎), (𝒒𝟏 , 𝟏, 𝟎), (𝒒𝟏 , 𝟎, 𝟎), (𝒒𝟐 , 𝟏, 𝟎), (𝒒𝟐 , 𝟎, 𝟎), (𝒒𝟑 , 𝟏, 𝟏), (𝒒𝟑 , 𝟎, 𝟎)}

2. Diséñela en diagrama (Máquina de Mealy).

3. Recorra la máquina con al menos una cadena válida explicando lo sucedido tanto en la
cinta como en la secuencia de entrada.
4. Identifique una cadena que no sea válida y justifíquela porque.

5. Ejecute el RunTest a una cadena aceptada que tenga al menos tres símbolos

6. Identifique en que momento la máquina se detiene.

7. Explique cinco características de la Máquina de Mealy y encuentre cinco diferencias con
las Máquinas de Turing (MT).