AUTOMATAS Y LENGUAJES FORMALES 301405A_288

ACTIVIDAD COLABORATIVA 3

CHRISTIAN FABIAN MUOZ MEDINA Cdigo 1.112.221.055

TUTOR:
VICTOR FERNANDO CANON RODRIGUEZ

GRUPO:
301405_21

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
INGENIERIA DE SISTEMAS
PALMIRA, VALLE
ABRIL DEL 2016

Actividades a desarrollar punto 3

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
Inicialmente se tiene en cuenta que las salidas para este tipo de mquinas solo dependen del
estado actual y no de la transicin por lo cual se determina el nmero de estados que
generen las equivalencias necesarias para la aceptacin del lenguaje. la mquina de Moore
para nuestro autmata tomara un valor Lambda para iniciar el alfabeto de salida, es por
esto que se resuelve teniendo en cuenta que lambda es un trmino perteneciente al alfabeto,
agregamos un estado inicial con una salida vaca, adems de ello tenemos en cuenta todas
las salidas dependiendo estas directamente de los estados en los que es posible ejecutar y
generar equivalencia. Lo anterior con el fin de obtener cadenas validas desarrolladas
anteriormente en la mquina de Mealy, tratando de interpretar los lenguajes aceptados por
esta.

Teniendo en cuenta que una mquina de Moore es un autmata de estados finitos donde las
salidas estn determinadas nicamente por el estado actual de la mquina y no depende de
la entrada, determinamos la construccin analizando el comportamiento de las salidas en la
mquina de Mealy con el objetivo de que exista una equivalencia entre lo ingresado y lo
retornado por la misma. Adems de ello es de vital importancia que los estados en una
mquina de Moore son mayores o iguales a los hallados en la mquina de Mealy, para este
caso este nmero es mayor superndolo en 3 estados ms.

De acuerdo a lo desarrollado es muy vlido tener en cuenta que la definicin que se aplica a
Mealy es muy similar a la mquina de Moore, por ello es deducible o posible afirmar que
se presenta una correspondencia de tal forma que para cada mquina de Mealy existe una
mquina de Moore equivalente cuyos estados son la unin de los estados de la mquina de
Mealy.

Expresamos lo anterior teniendo en cuenta que la mquina de Moore corresponde a un

autmata finito determinista el cual permita establecer un camino lgico para el alfabeto
ingresado. El conjunto de transiciones existentes para la mquina de Moore de tal forma
que este nos d como resultado una cadena valida equivalente segn sean los parmetros de
los lenguajes definidos. En la imagen se muestra la construccin de las transiciones
partiendo de la conectividad de la mquina del punto anterior

Segn lo descrito para la mquina del punto 2, la nuestra solo recibe para las entradas el
lenguaje {a,b} y las salidas estn dadas por {1,2} entonces iniciamos luego de lambda con
por lo menos una a o una b y un nmero n de veces para repetir este alfabeto. Lo que nos
muestra transiciones variadas de tal forma que la expresin de salida cumpla con la de
Mealy del punto 2.

Puntualmente para este punto la construccin de la mquina de Moore se realiz partiendo

de los lenguajes recibidos por la mquina de Mealy, para posterior mente de forma
secuencial ir trazando las transiciones requeridas.

2.

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

Una mquina de Moore puede ser definida como una 6-tupla {S, S0, , , T, G} consistente
de

un conjunto finito de estados ( S )

S = { q 0 , q 1 , q 2 , q 3 , q 4 , q5 }

un estado inicio (tambin llamado estado inicial) S0 el cual es un elemento de (S)

s 0 ={ q 0 }

un conjunto finito llamado alfabeto entrada ( )

{a,b}

un conjunto finito llamado el alfabeto salida ( )

{1,2}

una funcin de transicin (T : S S) mapeando un estado y una entrada al

siguiente estado

ENTRADA

ESTADO

q0

q1

q2

q1

q1

q2

q2

q5

q3

q3

q1

q4

q4

q1

q4

q5

q3

q2

una funcin salida (G : S ) mapeando cada estado al alfabeto salida.

ENTRADA

ESTADO

q0

q1

q2

q3

q4

q5

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.

Teniendo en cuenta la imagen anterior se muestran una serie de cadenas vlidas para
la maquina construida y de ellas la cadena a recorrer ser ababbb por tanto:

Inicialmente la maquina parte de q0 a espera del valor del alfabeto de transicin que se va a
ingresar con el fin de arrojarnos los valores de salida de acuerdo al estado al que pase el
autmata tomando la cadena valida como referencia.

Para este paso se ingresa una a en la mquina y esto produce que pase del estado q0 a q1
devolviendo un 1 alojado en el estado al que se llega como parmetro de salida.

En este caso como el ingreso fue una b el autmata pasa al estado q2 obviando la estrella de
kleene del estado q1 ya que esta solo aplica para n cantidad de a, por lo anterior la salida es
2.

Para este paso nuevamente se ingresa una a y esta nos lleva del estado q2 hasta el estado q5
el cual arroja como salida un 2.

Cuando nuestra maquina recibe nuevamente una b estando en q5 esta nos retorna de nuevo
a q2 devolviendo con ello un 2 el cambio cclico de estados se da en este autmata
recordando que es de tipo finito determinista.

El estado q2 al recibir una b nuevamente nos hace la transicin al estado q3 entregando

como salida un 1 correspondiente a dicho estado.

Justo en este momento el autmata termina el recorrido de la cadena ababbb y nos entrega
como resultado la cadena 122212 la cual es vlida para nuestro caso y cumple con los
parmetros de la mquina de Moore construida.
5. Identifique una cadena que no sea vlida y justifquela porque.
Para este caso vamos a trabajar con la cadena abbc y vamos a observar que sucede con
esta:
Para iniciar la maquina recibe el primer trmino del alfabeto ya que este recibe tantas a
como b se puedan tener o unir en cadenas variadas.

La primera a es vlida en el autmata y nos traslada del estado q0 a q1 y nos entrega un 1.

La cadena contina del estado q1 al q2 tomando como transicin una b y devolviendo un 2.

El tercer trmino contina siendo vlido siempre que se trata de una b termino recibido por
el autmata lo cual permite que este se mueva de q2 a q3 devolviendo un 1.

Por ultimo Jflab nos muestra que la cadena deja de ser vlida justo en el momento en que se
ingresa en la cadena un trmino que no pertenece al alfabeto de entrada en este caso la c
hace que la cadena no sea vlida.

6. Ejecute el RunTest a una cadena aceptada que tenga al menos cinco smbolos.
Cadena valida seleccionada aabaab.

7. Identifique en que momento la mquina se detiene.

Para nuestro caso existen dos maneras en que la maquina se detiene, la primera de ellas es
cuando la cadena es vlida y esta es recorrida has el ultimo termino ejecutando de principio
a fin cada uno de los valores y retornando con ello un alfabeto o cadena de salida
dependiendo de los trminos operados.
Ejemplo.
Se toma la cadena valida abab.

El segundo caso est presente en el instante en que nuestro autmata recibe una cadena no
valida podra ser cuando la cadena tiene dentro de sus smbolos uno que no pertenece al
conjunto determinado por el lenguaje de la mquina, esto causa que la cadena o el recorrido
del autmata se detenga de inmediato.
Ejemplo.
Se toma la cadena no valida abqa