TRABAJO COLABORATIVO No.

Presentado por
Luz Adriana Amaya
Cod: 63511587
Pedro Javier Bayter
Cod: 85272898
Maria Edith Roman
Cod: 63349338
Helmer Duarte Murallas
Cod: 13862471

Grupo: 301405_35

MATERIA
AUTMATAS Y LENGUAJES FORMALES

PRESENTADO A LA TUTORA
ANGELA MARA GONZLEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

MAYO DE 2016

EJERCICIO 1
Disee Una MT que se comporte como reconocedor que reconozca el lenguaje L
={an bn; n >= 1} (NO incluye o NO acepta la cadena ). El alfabeto de la cinta debe
ser diferente al alfabeto de entrada. Es decir el alfabeto de entrada es a y el de la
cinta 1 con sus respectivos smbolos blancos si es que los necesita en su diseo.
1. Identifique los componentes de la Mquina de Turing (descrbala).
2. Disela en un Diagrama de Moore.
3. Recorra la mquina con al menos una cadena vlida explicando lo sucedido
tanto en la cinta como en la secuencia de entrada.
4. Identifique una cadena que no sea vlida y justifquela porque.
5. Ejecute el RunTest a una cadena aceptada que tenga la menos cinco smbolos
6. Identifique en que momento la mquina se detiene.
7. Lo que acaba de disear es una MUT o una MT. Justifique su respuesta.
8. Mencione y justifique las semejanzas y diferencias entre una Mquina de Turing
reconocedora y una Maquina de Turing Transductora
Punto 1: Identifique los componentes de la Mquina de Turing (descrbala).

Una cinta de longitud infinita que se divide en celdas, una seguida de la otra.
Cada celda contiene un smbolo de algn alfabeto finito. El alfabeto contiene
un smbolo especial llamado blanco y uno o ms smbolos adicionales. La cinta
se supone que es extensible hacia la izquierda y hacia la derecha, como
necesite para su computacin. Las celdas que no se hayan escrito previamente
se asumen que estn rellenas con el smbolo blanco. En algunos modelos la
cinta tiene un extremo izquierdo marcado con un smbolo especial; la cinta se
extiende o es indefinidamente extensible hacia la derecha.

Un cabezal o control finito que examina el smbolo de la celda y toma la

decisin de acuerdo con el smbolo observado y el estado en que se
encuentre, puede leer y escribir smbolos en la cinta y mover la cinta a la
izquierda y a la derecha, slo una celda a la vez. En algunos modelos el
cabezal se mueve y la cinta es estacionaria.

Un registro de estado en donde se almacena el estado de la mquina de

Turing. Hay un estado inicial especial con el que el registro de estado se inicia,
simulando que estos estados reemplazan el "estado de la mente" en que
ordinariamente estara una persona realizando clculos.

Una tabla de accin o funcin de transicin es una tabla finita de

instrucciones las cuales son usualmente 5-tuplas a veces 4-tuplas:
qiajqi1aj1dk, , en donde el estado (qi) es el estado en que la mquina se
encuentra actualmente y el smbolo (aj) el smbolo que se est leyendo en la
cinta debajo del cabezal lo que le indica a la mquina hacer lo siguiente en
secuencia (para los modelos de 5-tupla):
Borra o escribe un smbolo (reemplazando aj con aj1)
Mueve el cabezal (que es descrito por dk para un paso a la izquierda, o
'R' para un paso a la derecha, o 'N' para permanecer en el mismo lugar)
Asume el mismo o un nuevo estado como prescrito

Por lo tanto la presente MT se define como un 7-tupla { Q, q0, , qF, , }

consistente de los siguientes componentes:

Un conjunto finito de estados ( Q )

Un estado inicial ( q0 ) el cual es un elemento de (Q )
Un conjunto finito llamado alfabeto entrada ( ) compuesto por {a,b}
Un conjunto de estados finales (qF )
Una funcin de transicin de la mquina ( : Q {
,
}). La flecha
denota el desplazamiento a izquierda y derecha. La transicin ( q0, a) = ( xxx
Significa: Estando en el estado q0, escaneando el smbolo a, el cabezal o
unidad de control finito borra a, escribe 1 y se mueve en el estado p a la
derecha. Lo mismo sucede con la b.
El alfabeto de la cinta que contiene es decir y contiene adems {0,1}
El smbolo blanco B o que no hace parte del alfabeto de entrada

Punto 2: Disela en un Diagrama de Moore

Punto 3: Recorra la mquina con al menos una cadena vlida explicando lo

sucedido tanto en la cinta como en la secuencia de entrada.

Damos ingreso por el estado inicial q0 con el alfabeto de entrada aabb.

La secuencia indica que al ingresar aabb se mantiene en el estado q0, En la cinta

se reemplaza la a por 1 y da un paso a la derecha, luego reemplaza la b por 0 y da
un paso a la derecha.

Al realizar el cambio de paridad, pasa al estado q1. En la cinta el 0 se mantiene en

0 y da un paso a la izquierda, si encuentra un 1 se mantiene en 1 y da un paso a
la izquierda hasta llegar a un nuevo espacio en blanco.

Al llegar al espacio en blanco cambia al estado q2 o estado final. En la cinta el

espacio se mantiene en espacio y finaliza la sesin.

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

Damos ingreso por

aaaabbbb2aabb.

el

estado

inicial

q0 con

el

alfabeto

de

entrada

La secuencia indica que al ingresar aaaabbbb se mantiene en el estado q0, En la

cinta se reemplaza la a por 1 y da un paso a la derecha, luego reemplaza la b por
0 y da un paso a la derecha, cuando llega a la entrada 2 se presenta el error, la
MT qued en un estado de NO aceptacin y la cadena no es reconocida, por lo
tanto no contina el recorrido.

Punto 5: Ejecute el RunTest a una cadena aceptada que tenga al menos cinco
smbolos

Punto 6: Identifique en que momento la mquina se detiene.

En la MT se evidencia que se detiene en el momento que encuentra un smbolo
que no sea a, b por lo que no reconoce smbolos, ni nmeros.

Punto 7: Lo que acaba de disear es una MUT o una MT. Justifique su respuesta.
La MT (Mquina de Turing) es un diseo sencillo que analiza la entrada de su
propia cinta, mientras que una MUT (Mquina Universal de Turing) es considerada
por algunos como el origen del computador dado que describe la tabla de accin
de otra mquina de Turing, seguida de una cadena que describe la cinta de
entrada de la otra mquina y luego computa la cinta que la mquina de Turing
codificada habra computado.
Como lo describe en su artculo:
Es posible inventar una nica mquina que puede ser usada para computar cualquier
secuencia computable. Si esta mquina U es provista con una cinta en el principio de que
est escrito el S.D. [Descripcin estndar de una tabla de accin] de alguna mquina de
computacin M, entonces U computar la misma secuencia.

Punto 8: Mencione y justifique las semejanzas y diferencias entre una Mquina de

Turing reconocedora y una Maquina de Turing Transductora

EJERCICIO 2
Dada la siguiente mquina de Mealy, M=({a,b}, {1,2}, {q0,q1,q2}, T, S):

1. Identifique los componentes de la Mquina (descrbala).

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.
4. Identifique una cadena que no sea vlida y justifquela porque.
5. Ejecute el RunTest a una cadena aceptada que tenga la menos tres smbolos
6. Identifique en que momento la mquina se detiene.
7. Explique cinco caractersticas de la Mquina de Mealy y encuentre cinco
diferencias con las Mquinas de Turing (MT).

Punto 1: Identifique los componentes de la Mquina (descrbala).

Los componentes de la mquina de Mealy son 6-tupla: M = (Q, , , q0, , )
En donde:
Q = 3 Estados {q0, q1,q2}
= Alfabeto de entrada {a,b}
= Alfabeto de salida {1,2}
q0 = Estado inicial que pertenece a Q
= Funcin de Transicin
= Funcin de salida

Punto 2: Disela en diagrama (Mquina de Mealy).

Punto 3: Recorra la mquina con al menos una cadena vlida explicando lo

sucedido tanto en la cinta como en la secuencia de entrada.
Damos ingreso por el estado inicial q0 con el alfabeto de entrada aaabbb.

La secuencia indica que al ingresar aaa se mantiene en el estado q0, En la cinta

se reemplaza la a por 1.

En la secuencia al llegar a la b cambia al estado q2, en la cinta se reemplaza la b

por 2.

En la secuencia al llegar nuevamente a la b cambia al estado q1, en la cinta se

reemplaza la b por 1.

En la secuencia al llegar una vez ms a la b se mantiene en el estado q1 y en la

cinta se reemplaza la b por 2 y para el presente ejercicio finaliza la sesin.

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

Damos ingreso por el estado inicial q0 con el alfabeto de entrada ab2.

La secuencia indica que al ingresar a se mantiene en el estado q0, En la cinta se

reemplaza la a por 1, luego acepta la entrada b y pasa al estado q2, en la cinta
se reemplaza la b por 2. Cuando llega a la entrada 2 se presenta el error, la ME
no reconoce la cadena, por lo tanto no contina el recorrido.

Punto 5: Ejecute el RunTest a una cadena aceptada que tenga al menos tres
smbolos

Punto 6: Identifique en que momento la mquina se detiene.

En la ME se evidencia que se detiene en el momento que encuentra una entrada
que no corresponda con el alfabeto de entrada definido al inicio de igual forma no
reconoce smbolos, nmeros ni espacios como entradas.

Punto 7: Explique cinco caractersticas de la Mquina de Mealy y encuentre cinco

diferencias con las Mquinas de Turing (MT).
Una mquina de Mealy es una mquina de estados finita, donde las salidas estn
determinadas por el estado actual y la entrada. Esto significa que en el diagrama
de estados se incluye una seal de salida para cada arista de transicin.

EJERCICIO 3
2. Identifique los componentes de la Maquina de Turing (Descrbala)
Una MT se define como Quntuplo
MT= (Q,,r,,q0,qF) en donde:

Estado de transiciones.
Q_0 Es el estado inicial.
Q_f Es el estado aceptador
Dnde: Q= {q0, q1, q2, q3}
= {1}
Q_0=Estado inicial
Q_f= estado final
Se disea una mquina donde MT que reconozca {1n: n 1} y reconozca cadenas
vlidas.

3. Disela en un Diagrama de Moore

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

tanto en la cinta como en la secuencia de entrada.
Cadena vlida: aa

CINTA

El cabezal se
sita en el estado
q0 y en el primer
carcter de la
palabra de la
cinta.

El cabezal lee el
primer carcter
de la palabra a,
lo sobrescribe
por el smbolo
b y se mueve a
la derecha.

SECUENCIA DE
ENTRADA
La secuencia de
entrada corresponde
a la cadena:
aa

La secuencia de
entrada se convierte
en la cadena:
ba

IMAGEN

El cabezal lee el
segundo carcter
de la palabra a,
lo sobrescribe
por el smbolo
a y se mueve a
la derecha.

La secuencia de
entrada se convierte
en la cadena:

El cabezal lee
una celda vaca,
escribe un
smbolo b, y no
realiza ningn
movimiento.

La secuencia de
entrada se convierte
en la palabra bab,
por que se escribe
un smbolo b en
la celda vaca.

El cabezal lee el
carcter b, lo
sobrescribe por el
smbolo b y se
mueve a la
izquierda.

La secuencia sigue
siendo:

El cabezal lee el
carcter a, lo
sobrescribe por el
smbolo b y se
mueve a la
derecha.

La secuencia de
entrada se convierte
en la cadena:

ba

bab

bbb

El cabezal lee el
carcter b, lo
sobrescribe por el
smbolo b y se
mueve a la
derecha.

La secuencia sigue
siendo:

El cabezal lee
una celda vaca,
escribe un
smbolo b, y no
realiza ningn
movimiento.

La secuencia de
entrada se convierte
en la palabra bbbb,
por que se escribe
un smbolo b en
la celda vaca.

El cabezal lee el
carcter b, lo
sobrescribe por el
smbolo b y se
mueve a la
izquierda.

La secuencia sigue
siendo:

Dado que la
cadena est
compuesta solo
por el smbolo
b evala la
transicin b; b,
L 4 veces hasta
ubicarse en la
primera celda de
la cinta la cual
esta vaca.

bbb

bbbb

El cabezal lee la
primera celda la
cual est vaca,
escribe un
smbolo Vaco
, y no realiza
ningn
movimiento.

La secuencia es
aceptada y sigue
siendo:
bbbb

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

Cadena no vlida: babababa
La cadena no es vlida toda vez que el carcter b no pertenece al alfabeto de
entrada, por cuanto el cabezal no avanza, rechazando la cadena