AUTOMATAS Y LENGUAJES FORMALES

MOMENTOS 3

INTEGRANTE:
FELIX

DARIO RACERO AREVALO

CODIGO: 88283275

TUTOR:
JUAN JOSE VALDES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA
MAYO DEL 2016

INTRODUCCION

Un autmata es un modelo matemtico para una mquina de estado finito (FSM

sus siglas en ingls). Una FSM es una mquina que, dada una entrada de
smbolos, "salta" a travs de una serie de estados de acuerdo a una funcin de
transicin (que puede ser expresada como una tabla). En la variedad comn
"Mealy" de FSMs, esta funcin de transicin dice al autmata a qu estado
cambiar dados un determinado estado y smbolo.

En la unidad se ha visto como el proceso ha ido evolucionando en cuanto a

lenguajes y mquinas. De igual manera se estudia y se comprende el
funcionamiento de una maquina abstracta, llamada Mquina de Turing, que es
aceptada de manera amplia como modelo general de computacin, aunque las
operaciones bsicas de esta mquina son comparables en su sencillez a las de
las mquinas estudiadas en las unidades anteriores, las nuevas maquinas pueden
realizar una amplia variedad de operaciones de cmputo.

Actividades a desarrollar:
Primer Ejercicio
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 blanco si es que los necesita en su
diseo.
1. Identifique los componentes de la Mquina de Turing (descrbala).
En la Maquina de Turing M es un sptuplo M = (Q, , , , s, , F), donde:
Es el conjunto finito de estados {q0, q1, q2}.
Es el alfabeto de entrada,

{a, b}

Es el alfabeto de la cinta,

{1, 0}

Es el estado inicial,
Es el smbolo en blanco,
Es el conjunto de estados finales,

{q2}

Es la funcin de transicin

Con las transiciones que se pueden ver, su estado inicial es q0 y el estado final es
q2.

qo
q1
q2

a
(q0 , 1, R)
(q1, 1, R)

b
(q1, 0, R)
(q1, 0, R)

(q2, , R)

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.

Se recorrer la mquina con la cadena de entrada aab, se plasma en la cinta, a la

izquierda y derecha de la cadena de entrada se ubican smbolos vacos. Al iniciar,
el cabezal se encuentra en la posicin de inicio, la cinta leer el primer smbolo de
la cadena de entrada (a)
a

Lee el primer smbolo de entrada (a)

La funcin de transicin indica

, es decir, que si en la posicin
ingresa (o se lee) un smbolo a, se debe escribir o reemplazar por el smbolo 1, se
permanece en la misma posicin ( ) y se desplace a la derecha en la cinta:
1

Lee el siguiente smbolo de entrada (a)

Al leer el segundo smbolo de entrada (a), la funcin de transicin indica que

, es decir que si en la posicin
se lee un smbolo (a) se debe
remplazar por el smbolo 1, permanece en el estado
de la cinta
1

y se desplaza a la derecha

Lee el siguiente smbolo de entrada (b)

Al leer el siguiente smbolo de entrada (b), la funcin de transicin indica que

, es decir que si en la posicin
se lee un smbolo (b) se debe
remplazar por el smbolo 0, permanece en el estado
de la cinta
1

y se desplaza a la derecha

0
Lee el siguiente smbolo de entrada ( )

En este punto la cinta lee un smbolo de entrada blanco , la funcin de transicin

indica que
, es decir que se remplaza el smbolo blanco por el
smbolo blanco , se mueve a la posicin
y hace un desplazamiento a la
izquierda. Al ser
el estado halt (estado final o de aceptacin) la maquina se
detiene y la cadena es reconocida.

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

Tal y como est el diseo se aceptara cualquier combinacin de entrada que
contenga a y b, la cadena no ser vlida si se ingresa nicamente a ya que
entrara al estado q0 y no pasara al estado q1 y por lo tanto no llegara al estado
final q2, en la siguiente imagen se observa lo que sucede al ingresar la cadena
aaaaa

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

smbolos.

6. Identifique en que momento la mquina se detiene.

La mquina se detiene cuando encuentra en la cinta un smbolo blanco , en ese
momento se mueve al estado
el cual reconoce como estado final y en ese
momento se termina el proceso
7. Lo que acaba de disear es una MUT o una MT. Justifique su respuesta.
Es una MT, ya que est diseada para un clculo especfico.
Se dise una mquina de Turing porque la mquina de Turing universal puede
simular una mquina de Turing arbitraria (Wikipedia, 2013)1 es decir puede
funcionar con mltiples propsitos a voluntad de alguna persona. Y la mquina de
Turing diseada funciona nicamente con el propsito de duplicar la entrada de la
a con una salida en bs por lo tanto es una maquina especializada que solo
funciona para dicho propsito.
8. Mencione y justifique las semejanzas y diferencias entre una Mquina de
Turing reconocedora y una Maquina de Turing Transductora.
Transductor: es el que modifica el contenido de la cinta realizando cierta funcin.
MT que sustituye los dgitos por cero
MT que aade un bit de paridad a la entrada
MT que duplica de 1s que hay en la cinta
Si la entrada esa bien formada debe terminar en el estado final
Si la entrada no est bien formada debe terminar en un estado no final
Reconocedor: MT capaz de reconocer un lenguaje L.
MT capaz de aceptar un lenguaje L
MT capaz de reconocer o aceptar un lenguaje L
Un MT reconoce un lenguaje L si dada una entada w en la cinta, la MT siempre se
para y lo hace en un EF si y solo si: w L.
Una MT acepta un lenguaje, L si dada una entrada w en la cinta la, la MT se para
en un estado final si y solo si w L, asi en este caso, si w L, la MT podra no
parar.
MT que reconoce el lenguaje a*b*,
MT que acepta el lenguaje an cn bn

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

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

Q:
{ 0, q1, q2 }
Ent:
{a , b}
Sal:
{1 , 2}
Tran: T
Res: S
Q0:
Q0
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.
Recorriendo la cadena valida
abba
La mquina se posiciona en el estado inicial 0, y analiza el primer smbolo
de entrada , se cambia el smbolo a a 1 y pasa al estado 0

La mquina lee el siguiente smbolo de entrada b, se cambia el smbolo a por 2 y

pasa al estado 2

Vuelve a leer el siguiente smbolo de entrada que es b, se cambia al

smbolo 1 y pasa al estado 1

Desde el estado q2 lee el siguiente smbolo de entrada que es a, se

cambia al smbolo 1 y pasa al estado 0

Ese era el ltimo smbolo de entrada, entonces se termina la cadena y es

aceptada. La cadena ingresada fue abba, y la cadena de salida es 1211

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

Se ingresa la cadena no valida abc

Se ingresa los smbolos abc el cual contiene el smbolo c que no se encuentra

dentro del alfabeto del autmata para poder que este nos muestra que no acepta
un smbolo diferentes a los elementos ab debido a que el autmata por tener la
estrella de King en los estados q0 y q1 con smbolo a y b y la relacin de q2 a q0
que tiene relacin de entrada y de salida hacen que el autmata me reciba o

acepte cualquier cadena que intercale con diferentes interrelaciones entre los
smbolos de entrada a y b
5. Ejecute el RunTest a una cadena aceptada que tenga al menos tres
smbolos

Se realiza el Run -test con la cadena aceptada abb

6. Identifique en que momento la mquina se detiene.

La mquina se detiene en el smbolo b con salida 1 dado que no encuentra ms
smbolos por leer en la cadena ingresada

7. Explique cinco caractersticas de la Mquina de Mealy y encuentre cinco

diferencias con las Mquinas de Turing (MT).
Mquina de Mealy
Mquina de Turing (MT)
Una Mquina de Mealy (o Transductor Las mquinas de Turing tiene un estado
de estados finito) tambin es un inicial, y un estado final o de aceptacin.
autmata finito pero que genera una
Las mquinas de Turing permiten hacer
salida.

recorridos en la cinta y cambiar su

direccin.

Es una mquina de estados finita,

donde las salidas estn determinadas Tiene ms estados que la Mquina de
por el estado actual y la entrada.
Mealy.
Es menos estable.

Las Mquinas de Turing deben tener un

estado final.

Para probar un circuito, primero se

hace el cambio en la entrada X y Se define como una tupla de 7 (MT = Q, ,
, , q0, B, F)
despus se da el pulso de reloj.
Para aceptar una cadena vlida debe tener
un estado final o de aceptacin.
La cinta es de longitud infinita hacia la
Se define como una tupla de 6 (Q, , derecha, hacia donde se extiende
S, , , q0)
indefinidamente, llenndose los espacios

Las salidas se encuentran en la arista.

con el carcter blanco

Es definido por una 6-tupla

Todos los estados son Finales y La mquina de Turing consta de un
solamente uno de ellos es el estado cabezal lector/escritor y una cinta infinita en
la que el cabezal lee el contenido, borra el
inicial
contenido anterior y escribe un nuevo valor.
Con este aparato extremadamente sencillo
Tiene menor cantidad de nmero de es posible realizar cualquier cmputo que
estados
un computador digital sea capaz de
Es menos estable
realizar.

TERCER EJERCICIO:

Actividades a desarrollar:

1. Realice la conversin paso a paso de la mquina de Mealy del ejercicio del

punto 2 a la mquina de Moore equivalente. Se debe realizar la explicacin
de cada paso que se realice.

Solucion:

Convirtiendo la mquina de Mealy a Mquina de Moore la cual son

equivalentes tenemos:
Mquina de Mealy

Maquina de Moore

M. MEALY

M. MOORE

q: (Q x

q: ( Q x

q: ( q,a) =b

q: ( q) =b

Filas: estado posible de maquina q:

Filas: estados posibles mquina q E
E Q y Columnas: simbolos del
Q
alfabeto de entrada am E e

FUNCION
MEALY
T

TRANSICIN

q0

q0

q2

q1

q0

q1

q2

q0

q1

FUNCION SALIDA

q0

q1

q2

Para Moore nos quedara as:

FUNCION
MOORE
T

TRANSICIN

q0

q0

q2

q1

q0

q1

q2

q0

q1

FUNCION SALIDA
S

q0

q1

q2

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

Solucion:

Los componentes de la Maquina de Moore son los siguientes:

Se identifica por la quntupla M = {

Alfabeto de entrada
Alfabeto de salida
Q = conjunto finito no vaco de estados
f = Funcin de transicin
f:Qx

f (q,a) = q/a

, q Q

g : Funcin Salida
f:Q

, g(q) = b / b

dnde:

3. Disela en un Diagrama de Moore.

Solucion:

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

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

Solucion:

Para este caso emplearemos la cadena vlida ba, la cual Cuando inicia el
recorrido en q0 ya arranca en el primer carcter de la cadena a

Luego al darle el nuevo paso le agrega una b, ubicando el cabezal en q2 y

transcribiendo los caracteres de entrada ba en ab

Y para terminar el recorrido sealado continua su recorrido hacia el estado inicial

q0 leyendo el ltimo carcter de la cadena a, haciendo la transcripcin
completa en aba

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

Solucion:

En este recorrido no acepta la cadena porque del estado q0 al estado q1 es la

finalizacin y en el recorrido b una a que al terminar le agrega la b pero no
puede seguir recorriendo.

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

smbolos.

Solucion:

Emplearemos una cadena babaa, la cual es aceptada ya que cumple sus

recorridos completamente.

La anterior cadena hace su recorrido por cada uno de los estados y leyendo cada
uno de los caracteres que conforma la cadena babaa, transcribiendo los
elementos de salida ababab sin ningn tipo de inconveniente.

7. Identifique en que momento la mquina se detiene.

Solucion:
Si observamos el comportamiento de la anterior mquina, ella se detiene cuando
lee y hace la transcripcin del ltimo carcter de la cadena ingresada, que para
este caso la cadena babaa conformada por 5 caracteres es convertida en 6
caracteres ababab, detenindose en q1, lo cual es una de las caractersticas de
la mquina de Moore al terminar la secuencia siempre suma un carcter ms a los
ingresados.

CONCLUSIONES
Podemos concluir hay ms de una forma de expresar lenguajes regulares,
por medio de autmatas, expresiones y gramticas,
Existen diversas clasificaciones de las Mquinas de Turing, atendiendo a
los estados reconocidos, tipo de cinta, cantidad o divisin de dichas cintas:
MT con directiva de permanecer, MT con cinta infinita en una direccin, MT
en dos direcciones, MT multicinta, MT Multidimensional, MT No
determinista.
Los simuladores como jflap herramientas esenciales para plasmar un
autmata, identificar el lenguaje que reconoce, las cadenas que lee y
muchas opciones ms como la representacin de expresiones regulares a
un autmata.

BIBLIOGRAFIA

Modulo. Autmata y lenguajes formales. Unidad 3. Recuperado desde:

http://campus06.unad.edu.co/ecbti05/mod/lesson/view.php?id=617
Alex,
R.
(2011).
Mquina
de
Mealy.
Recuperado
http://alexrocha.globered.com/categoria.asp?idcat=30

Univalle. Autmatas y Lenguajes. Extrado Abril 21 de 2.016 desde:

http://eisc.univalle.edu.co/materias/Computabilidad/material/turing.pdf

desde: