Trabajo momento 3

Autmatas y lenguajes formales

Jhon Faber Parra

ID: 1110502151

Angela Maria Gonzalez

Tutora

Universidad Nacional Abierta y a Distancia - UNAD

Ingeniera de Sistemas
Ibagu - Tolima
Noviembre de 2015

Primer ejercicio, diseo de una MT como traductor

Actividades a desarrollar:
1. Identifique los componentes de la Mquina de Turing (descrbala).
-

Una cinta que se divide en celdas, una al lado de la otra. Cada celda
contiene un smbolo de algn alfabeto finito. El alfabeto contiene un
smbolo especial llamado blanco (aqu escrito como 'B') y uno o ms
smbolos adicionales. La cinta se supone que es arbitrariamente
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 escrito previamente se
asumen que estn rellenas con el smbolo blanco.

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.

Un registro de estado que almacena el estado de la mquina de

Turing, uno de los estados finitos. 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.

Una tabla finita de instrucciones (llamada ocasionalmente como tabla

de accin o funcin de transicin).

2. Disee en un Diagrama de Moore una mquina de Turing, que sea de

autora propia (No puede ser copia de internet) donde ustedes creen las
condiciones
M= ({1,*},{1},*,{q0, q1, q2, q3, q4, q5, q6}, q0, f, {q6})
f(q0, 1)
=(q0,1,R)
f(q0, 0)
=(q1,1,R)
f(q1,1)
=(q1,1,R)
f(q1, *)
=(q2,*,L)
f(q2,1)
=(q3,*,L)
f(q3,1)
=(q4,*,L)
f(q4,1)
=(q4,1,L)
f(q4,*)
=(q5,*,L)
f(q5,*)
=(q6,*,R)

3. Recorra la mquina con al menos una cadena vlida explicando lo sucedido

tanto en la cinta como en la secuencia de entrada.
La cadena ingresada es 01

Recibe como entrada un 0

Llega a q1 cambiando un 0 por 1 y avanza a la derecha

Despus reemplaza a 1 por 1 y avanza a la derecha

Luego reemplaza a vacio por vacio y avanza hacia la izquierda llegando al

estado q3.

Despus reemplaza a 1 por vacio y avanza a la izquierda, llegando al

estado q3

Despus reemplaza a 1 por vacio y avanza a la izquierda llegando al estado

q4.

Despus reemplaza a vacio por vacio y avanza a la izquierda llegando a q5.

Despus reemplaza a vacio por vacio y avanza a la izquierda llegando a q6.

4. Identifique una cadena que no sea vlida y justifquela porque.

Cadena no valida 010.

Es invalida por que no tiene ceros para reemplazar durante su recorrido

por los estados.
5. Ejecute el RunTest a una cadena aceptada que tenga la menos cinco
smbolos.
La cadena ingresada es 01111

6. Identifique en qu momento la mquina se detiene.

La maquina se detiene cuando encuentra un estado vacio.

7. Mencione cual es la diferencia entre una MT que acta como transductor y

una que acta como reconocedor
Reconocedor de lenguajes es una maquina cuya entrada pertenece a un
alfabeto, y cuya salida es el conjunto de 2 valores que se pueden denotar
como: reconozco o no reconozco.
Un transductor es un autmata finito (o mquina de estados finitos) con dos
cintas, una de entrada y otra de salida.

Segundo Ejercicio: Diseo de un transductor

Actividad a desarrollar:
Actividades a desarrollar: Disee Una MT que se comporte como transductor que
reconozca el lenguaje L ={a}* (NO incluye o NO acepta la cadena ). La
transduccin (salida) debe ser que por cada smbolo que entre duplique el smbolo
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 smbolos blanco
si es que los necesita en su diseo
1. Identifique los componentes de la Mquina de Turing (descrbala).
-

Una cinta que se divide en celdas, una al lado de la otra. Cada celda
contiene un smbolo de algn alfabeto finito. El alfabeto contiene un
smbolo especial llamado blanco (aqu escrito como 'B') y uno o ms
smbolos adicionales. La cinta se supone que es arbitrariamente
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 escrito previamente se
asumen que estn rellenas con el smbolo blanco.

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.

Un registro de estado que almacena el estado de la mquina de

Turing, uno de los estados finitos. 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.

Una tabla finita de instrucciones (llamada ocasionalmente como tabla

de accin o funcin de transicin).

2. Disela en un Diagrama de Moore.

f(q0, a)
f(q0, *)
f(q1,b)
f(q1, 1)
f(q2,b)
f(q2,*)
f(q1,*)

=(q0,1,R)
=(q1,*,R)
=(q1,b,L)
=(q2,b,R)
=(q2,b,R)
=(q1,b,L)
=(q3,*,R)

3. Recorra la mquina con al menos una cadena vlida explicando lo sucedido

tanto en la cinta como en la secuencia de entrada.
La cadena de entrada es a

En la primera entrada remmeplaza a a por 1 y avanza a la derecha.

Luego reemplaza en blanco y se devuelve en la cinta a la izquierda.

Luego reemplaza a 1 por b y avanza a la derecha

Luego reemplaza el espacio por una b y avanza a la izquierda

Luego avanza a la izquierda reemplazando a b por b

Luego avanza a la derecha sin reemplazar y termina la lectura.

4. Identifique una cadena que no sea vlida y justifquela porque
La cadena no valida es ab, puesto que el solo debe leer un lenguaje donde
sea solo a o aa y no debe ser ab o viserversa.

5. Ejecute el RunTest a una cadena aceptada que tenga la menos cinco

smbolos

6. Identifique en que momento la mquina se detiene.

La maquina se detiene cuando encuentra un espacio en blanco y debe
reemplazarlo por otro espacio, y debe avanzar a la derecha.

7. Lo que acaba de disear es una MUT o una MT. Justifique su respuesta.

Tercer ejercicio: Diseo de una MT que acepte:

Disee un Transductor (MAQUINA DE MEALY) que realice la misma transduccin
del ejercicio anterior.
1. Identifique los componentes de la Mquina (descrbala).
-

Una cinta que se divide en celdas, una al lado de la otra. Cada celda
contiene un smbolo de algn alfabeto finito. El alfabeto contiene un
smbolo especial llamado blanco (aqu escrito como 'B') y uno o ms
smbolos adicionales. La cinta se supone que es arbitrariamente
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 escrito previamente se
asumen que estn rellenas con el smbolo blanco.

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.

Un registro de estado que almacena el estado de la mquina de

Turing, uno de los estados finitos. 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.

Una tabla finita de instrucciones (llamada ocasionalmente como tabla

de accin o funcin de transicin).

2. Disela en diagrama (Mquina de Mealy).

3. Recorra la mquina con al menos una cadena vlida explicando lo sucedido

tanto en la cinta como en la secuencia de entrada.
La cadena ingresada es aa

Su posicin inicial arranca en q0 leyendo a a como entrada y arrojando a

b como salida pasando al estado q2

Lee a a como entrada y arroja a b como salida pasando al estado q0

4. Identifique una cadena que no sea vlida y justifquela porque.

Una cadena no valida seria a , por que el autmata no lee landa dentro de
su recorrido.
5. Ejecute el RunTest a una cadena aceptada que tenga la menos tres
smbolos

6. Identifique en que momento la mquina se detiene.

La maquina se detiene al leer toda la cadena de entrada, o al encontrar un
smbolo no aceptado.
7. Explique cinco caractersticas de la Mquina de Mealy y encuentre cinco
diferencias con las Mquinas de Turing (MT).

Diferencias entre Maquina de Turing y Mealy:

Turing
la salida se produce por sus
estados.
Tiene estado final.
Enva una transicin de entrada

Mealy
la salida se produce por sus
transiciones
No tiene estado final
Enva una transicin de
entrada y una de salida
Una mquina de Moore produce Una mquina Mealy produce
una salida cuando se encuentra una salida cada vez que
en un estado.
realiza una transicin.
Tiene una entrada
Tiene doble entrada