Problemas a desarrollar:

Dado el siguiente Autmata M Finito:

{a , b , c }

k ={ q 0 , q 1 , q 2 , q 3 q 4 }

M =( K , , q0 , , F) dnde:
q 0 Es el estado inicial

Donde la funcin de transicin est dada por:

F=q3 , q 4

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

{a , b , c }

{q 0 , q 1 , q 2 , q 3 , q 4 } q 0 {q 3 , q 4 }
=( q 0 , a )=q1

=( q 0 , )=q2

=( q 1 , b )=q 3

=( q 2 , a )=q 4

=( q 3 ,a )=q 1

=( q 3 ,c ) =q2

=( q 4 , b ) =q2

1. Plasme la tabla de transicin. Identifique que tipo de autmata es (AFD o

AFND) y justifique su respuesta. (No se trata de dar el concepto de
determinismo)
Tabla de transicin

q0

q1

q2

q1

q3

q2

q4

q3

q1

q2

q4

q2

->

El autmata corresponde a un AUTMATA FINITO NO DETERMINISTA CON

TRANSICIONES (AFND ) al que se le permite cambiar de estado sin
necesidad de consumir o leer un smbolo de entrada porque cumple con uno de
los requisitos para no ser determinista cuando al analizar el autmata en el estado

inicial

q0

en un cierto instante y si el smbolo actual es

a , en el instante

siguiente, el autmata puede decidir de forma no determinista entre leer el

q1
smbolo a y cambiar al estado
y continuar su recorrido, o bien, cambiar
al estado

q2

sin mover el cabezal de lectura y llegar al estado final

q4

Adems hay varias opciones para pasar a otro estado lo cual es un autmata finito
no determinstico, ya que no me determina una ruta fija, al convertir desde el j flap
a un autmata finito determinista lo convierte sin arrojar error, demostrndonos
que es un autmata finito no determinstico ya que si hubiera sido AFD no lo
hubiera convertido y nos hubiera arrojado error, a continuacin relacionamos la
conversin efectuada por el software en la cual muestra en la parte izquierda el
autmata realizado en base a las exigencias del ejercicio y la parte derecha la
conversin a un autmata finito determinstico.

2. Identifique los elementos (tupla que es) (Asociadas con los elementos del
autmata del ejercicio propuesto). Debe explicar y describir cada

elemento y la funcin y significado en el autmata. Conceptos y

definiciones adicionales.
Es un autmata de estados finitos M identificado como un quntuplo por los
( K , , q 0 , , F)
K
siguientes elementos
dnde
es el conjunto de
identificadores (smbolos) de estados; es decir cada estado se identifica con un
k ={ q 0 , q 1 , q 2 , q 3 q 4 }
nombre
, el elemento es el alfabeto de entrada que
contiene los smbolos

{a , b , c }

conjunto de estados

F=q3 q 4

, un estado inicial

en otras palabras

q0 K

q0

que pertenece al

, dos estados final

que pertenece y est inmerso dentro del conjunto de estados

otras palabras
de un estado

FK

, y finalmente una funcin de transicin

k ={ q 0 , q 1 , q 2 , q 3 q 4 }

obtiene un nuevo estado;

y un smbolo del alfabeto

en

que a partir

{a , b , c }

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

q ,q ,q ,q ,q
{a , b , c } { 0 1 2 3 4}

q0

{q 3 , q 4 }

=( q 0 , a )=q1

=( q 0 , )=q2

=( q 1 , b )=q 3

=( q 2 , a )=q 4

=( q 3 ,a )=q 1

=( q 3 ,c ) =q2

=( q 4 , b ) =q2
Conceptos:
Estado inicial: Identificado con la letra s y en este caso representado por

q0

determina cual donde se inicia a leer cada smbolo o cadena del autmata.
Estado final: Se identifica por la letra

y para nuestro caso es

cuales indican la finalizacin del autmata para saber si fue aceptado.

q3 q 4

, los

Alfabeto de entrada: Se representa con la letra

y contiene los smbolos

{ a , b , c } . Su funcin es definir un alfabeto finito para trabajar dentro del

autmata.
Conjunto de estados: Se representa con la letra

K , compuesta por

{ q 0 , q 1 , q 2 , q 3 q 4 } , su funcin principal es almacenar las configuraciones del

autmata.
Funcin de transicin: Se representa con la letra
K

y por el alfabeto de entrada del autmata

, definido por los estados

Autmata finito: Es un modelo matemtico que acepta cadenas sobre un

q ,q ,q ,q q
alfabeto. Est representado por un conjunto de estados { 0 1 2 3 4 } y de
transiciones entre esos estados, que depende de los smbolos de entrada en este
caso { a , b , c } .
Autmata finito determinista (AFD): Es aquel autmata que solo posee como
mximo una transicin para cada smbolo del alfabeto en cada estado
Autmata finito NO determinista (AFND): Se define como NO determinstico, al
autmata con dos o ms transiciones, a partir de un estado.

3. Identifique el lenguaje que genera.

L ( M )= { { a ,b ,c } |=ab ( ab ) + ( a+ ab ( ab ) ca ) ( ba )

el conjunto de todas las posibles cadenas que empiecen por una sola a ; o que
empiecen por una a seguida de una b as ab una vez o muchas veces; o que
empiecen por una a seguida de una b as ab una vez o muchas veces
seguidas por una c y una a solo una vez as ca, seguido de una b y una a
as ba una vez o muchas veces o ninguna vez.

4. Muestre en el simulador (grficamente) como recorre una cadena vlida.

Explique cada secuencia. (No se trata solo de captura las imgenes, estas
deben ser explicadas en pie de pgina o de lo contrario no tienen validez)
Cadena valida seleccionada

(ababca)

Como podemos apreciar son 5 estados los que intervienen, 3 smbolos junto a
. Lo primero que realizamos es ingresar la cadena valida seleccionada en el
simulador para realizar la secuencia paso a paso.

El objetivo es verificar que la cadena es validad, el estado inicial es

hay una transicin lambda

cuando

permite el cambio de estado sin alterar el estado

sino simplemente la posicin que sera ahora estado

imagen de arriba.

q0

q2

como lo muestra la

Con el cambio de estado se presenta dos posibilidades cuando tiene como salida
q0
q1
una a . Una posibilidad es desde el estado inicial
pasar al estado
y

la otra posibilidad es desde el estado donde lo ubico el lambda

estado

q4

q2

pasar al

directamente, como lo muestra la imagen de arriba.

Con el cambio de estado y dos posibles rutas cuando tiene como salida una
Una posibilidad es desde el estado

q1

pasar al estado

q3

y la otra posibilidad

es desde el estado

q4

pasar al estado

q2

nuevamente, como lo muestra la

imagen de arriba.

Siguiendo las dos posibles rutas cuando tiene como salida una
posibilidad es desde el estado
desde el estado

q2

q3

pasar al estado

pasar al estado

q4

q1

. La

y la otra posibilidad es

, como lo muestra la imagen de arriba.

Con el cambio de estado y dos posibles rutas cuando tiene como salida una
Repiten nuevamente desde el estado
posibilidad es desde el estado

q4

q1

pasar al estado

pasar al estado

q2

q3

y la otra

nuevamente, como lo

muestra la imagen de arriba.

Con el cambio de estado y dos posibles rutas cuando tiene como salida una
Una posibilidad es desde el estado

q3

pasar al estado

q2

q2

y para la otra

posibilidad ya no existira un estado que le permita una salida con el smbolo

concluyendo en el estado

, por lo tanto solo se continuara realizando el

seguimiento a la nica ruta que es viable, como lo representa la imagen de arriba

al mostrar en color rojo el fin de una cadena que no puede ser aceptada para esa
ruta en especifica.

Muestra el recorrido exitoso de una cadena que culmina teniendo como salida una
a . Que pasa desde el estado q 2 al estado q 4 siendo q 4 uno de los dos
posibles estados finales junto con

q3

. El color verde en la imagen de arriba

representa que la cadena es aceptada.

5. Muestre el diagrama de Moore generado en JFLAP y en VAS y comente
tres similitudes y tres diferencias que encuentra al realizarlo en los dos
simuladores. (herramientas que ofrezca uno u otro).

JFLAP

VAS

SIMILITUDES:
1. La manera de colocar los estados iniciales es muy similar
2. El alfabeto se coloca de la misma forma

3. El entorno grafico es muy similar

DIFERENCIAS:
1. JFLAP dispone de la herramienta multiple run que nos permite verificar la
aceptacin de varias cadenas y VAS solo permite ingresar una sola cadena
para verificar la aceptacin.
2. VAS permite ver la tabla de transicin mediante la herramienta Display
Transition o ingresando ctrl+T.
3. JFLAP dispone de una serie de opciones que hace ms prctico el uso de este
programa y que VAS no tiene.

6. Encuentre la expresin regular (ER) de forma que la asocie y la halle con

el procedimiento de convertir un AF a ER, Debe quedar plasmado el
procedimiento indicando y asociando los componentes de la ER al
autmata (diagrama de moore).
Se asocia las cadenas validas o aceptadas por la expresin regular, al lugar donde
la ejecuta el autmata:
Expresin Regular

Ejecucin en el autmata

ab ( ab ) + ( a+ ab ( ab ) ca ) ( ba )

ab
Se evala la primera parte de la
cadena en rojo.

ab ( ab ) + ( a+ ab ( ab ) ca ) ( ba )

ab ab
Se repite una sola vez ab.

ab ( ab ) + ( a+ ab ( ab ) ca ) ( ba )

ab ab ab
Se repite muchas veces el ab,
se representa con la figura (
en el autmata.

ab ( ab ) + ( a+ ab ( ab ) ca ) ( ba )

a
Se evala la otra parte de la
expresin representada en azul
que permite elegir dos opciones.
Esta es la primera opcin.

ab ( ab ) + ( a+ ab ( ab ) ca ) ( ba )
ab

ca

Evaluamos la segunda opcin de

la expresin regular en color azul,
la cual esta concatenada con
ba.

ab ( ab ) + ( a+ ab ( ab ) ca ) ( ba )

ab ab ca
Se repite una sola vez ab.

ab ( ab ) + ( a+ ab ( ab ) ca ) ( ba )

ab abab ca
Se repite muchas veces el ab,
se representa con la figura (
en el autmata.

ab ( ab ) + ( a+ ab ( ab ) ca ) ( ba )

ab ab ca baba
Se repite muchas veces el ba,
se representa con la figura (
en el autmata.

ab ( ab ) + ( a+ ab ( ab ) ca ) ( ba )

ab abab ca ba
Se repite muchas veces el ab,
se representa con la figura ( )
en el autmata y una sola vez
ba al final.

ab ( ab ) + ( a+ ab ( ab ) ca ) ( ba )
ab abab ca baba
Se repite muchas veces el ab,
se representa con la figura ( ) y
se repite muchas veces el ba al
final del autmata representado
con la figura (

).

7. Genere tres cadenas vlidas y dos no vlidas

Cadenas validas:

Cadenas invalidas:

8. Plasme las tres cadenas vlidas para cada ER en una tabla (identificando
jerarqua de operadores regulares, identificando colores). Para ello apyese
en el video: http://youtu.be/JZPAHHA2PnE (minuto 14 al 33). O en el video
http://youtu.be/wGTxhnPXcw4

Primera cadena valida

ababca

En el caso de la cadena

es vlido decidir entre tomara la parte de la

derecha o tomara la parte de la izquierda separados por el signo ms (+) de la

expresin regular, para este caso se evidencia que si tomamos la parte de la
izquierda no es posible porque no incluiramos ca .
Por lo tanto es vlido tomar la parte derecha de la segunda parte separados por el
signo ms (+) de la expresin regular, que permite incluir la cadena que tiene
estrella Kleene ab en el medio de las cadenas obligadas de esta parte derecha
en columnas verdes

ab

y ca . Para formar la cadena valida ababca

Segunda cadena valida

En el caso de la cadena

es vlido decidir entre tomara la parte de la derecha

o tomara la parte de la izquierda separados por el signo ms (+) de la expresin

regular, para este caso se evidencia que si tomamos la parte de la izquierda no es
posible porque la cadena obligada es ab en columna verde.
Por lo tanto se descarta y es vlido tomar la segunda parte iniciando desde
izquierda a derecha; tomamos la primera parte de esta segunda parte ya que
permite incluir la cadena a como smbolo obligado en la columna verde,
descartando el resto que obligan a utilizar otras cadenas con ms smbolos.
Entonces formaramos la cadena valida con el smbolo a
Tercera cadena valida
En el

caso de la cadena

ab

es vlido decidir entre tomara la parte de la

derecha o tomara la parte de la izquierda separados por el signo ms (+) de la

expresin regular, para este caso se evidencia que si tomamos la parte de la
izquierda es vlido porque la cadena obligada es ab en columna verde.
En la segunda parte podemos observar que no es vlido utilizar esta cadena
porque hay mucho ms cadenas obligadas representadas en columnas verdes.
Por lo tanto la cadena valida formada en la primera parte es

ab

9. Identifique en la misma tabla por que las dos cadenas seleccionadas no se

aceptan o en qu parte se trunca la jerarqua y orden de los operadores.

Primera cadena rechazada

En el caso de la cadena

abc

es rechazada porque en el momento de decidir

entre tomara la parte de la derecha o tomara la parte de la izquierda separados

por el signo ms (+) de la expresin regular, para este caso se evidencia que si
tomamos la parte de la izquierda no es posible porque solo ab es obligado
representada en la columna verde y no contamos con el smbolo

; por esta

parte sera rechazada.

Por el otro lado tenemos todos los smbolos pero no es posible porque el smbolo
obligado c esta acompaada obligatoriamente con el smbolo a osea estn
conformando

ca

el cual es representado en la columna verde; por tal motivo la

cadena se trunca y tambin sera rechazada.

Segunda cadena rechazada

En el caso de la cadena

ababc

es rechazada porque en el momento de decidir

entre tomara la parte de la derecha o tomara la parte de la izquierda separados

por el signo ms (+) de la expresin regular, para este caso se evidencia que si
tomamos la parte de la izquierda no es posible porque solo ab es obligado
representada en la columna verde y no contamos con el smbolo

; por esta

parte sera rechazada.

Por el otro lado tenemos todos los smbolos, es posible repetir
contamos con

ab

ab

ya que

de manera obligada representada en columna verde y

con estrella de Kleene que permitira formar la primera parte de la cadena

, pero enseguida se trunca porque el smbolo obligado
obligatoriamente con el smbolo

ab
abab

esta acompaada

sea estn conformando

ca

el cual es

representado en la columna verde; por tal motivo la cadena se trunca y tambin

sera rechazada.

Tercera cadena rechazada

En el caso de la cadena

abb

es rechazada porque en el momento de decidir

entre tomara la parte de la derecha o tomara la parte de la izquierda separados

por el signo ms (+) de la expresin regular, para este caso se evidencia que si
tomamos la parte de la izquierda encontramos la cadena obligada ab que est
ab

representada en la columna verde y contamos con la cadena

Kleene que no permitira la utilizacin de un solo smbolo

con estrella de

; por tal motivo la

cadena se trunca y sera rechazada.

Por el otro lado podemos observar que no es vlido utilizar esta cadena porque
hay mucho ms cadenas obligadas representadas en columnas verdes, lo cual
tambin generara que se truncara inmediatamente independiente de la opcin
que se escoja.

10. Proponga un diseo de un autmata (solo en diagrama de moore) que

reconozca el mismo lenguaje que el autmata de este ejercicio y que tenga
como caractersticas que sea un AFD y tenga un solo estado final.