COLABORATIVO_2

EJERCICIOS A DESARROLLAR:
1. Calcular el autmata mnimo correspondiente al siguiente autmata finito.

ACTIVIDADES ANTES DE MINIMIZAR.

1. Enuncie el autmata en notacin matemtica

( )
( ) { }
( ) { }
( )
( ) { }
, , 1, , :
0, 1, 2, 3, 4
,
0
3

M K q F Donde el conjunto de estados estn compuesto por lo siguiente
Conjunto de estados q q q q q
Alfabeto a b
Estado inicial q
Estado final q
Funcin de transicin est
o =
=
=
=
K
F
{ }
{ } { }
( )
( )
:
: 5 0, 1, 2, 3, 4
, 0, 1, 2, 3, 4
0
3
dada por
donde interviene los estados q q q q q
Asociado a los smbolos del alfabeto a b q q q q q
como estado inicial q
y estado final q

X

2. Identifique los componentes del autmata (que tipo de tupla es)

COLABORATIVO_2
La notacin matemtica
Clasificamos la tupla y los componentes del autmata
Dado el siguiente autmata mnimo correspondiente al siguiente autmata finito
M= (K, , q 0, , F) Donde el conjunto de estados estn compuesto por lo
siguiente:
(Conjunto de estados total 5) K= {q 0, q 1, q 2, q 3, q4}
(Alfabeto) = {a, b}
(Estado inicial) = q 0
(Estado final) F {q 3}
Funcin de transicin est dada por:
: donde interviene los 5 estados{q 0, q 1, q 2, q 3, q4} Asociado a los smbolos
del alfabeto X {a, b} {q 0, q 1, q 2, q 3, q4} como estado inicial (q 0) y
estado final (q 3)
Identificando funcin de los estados
: { q 0, a } = q 0, q 1
: { q 0, b } = q 0
: { q 1, a } = ---
: { q 1, b } = q 2
: { q 2, a } = q 4
: { q 2, b } = q 2, q 3
: { q 3, a } = q 4
: { q 3, b } = q 3
: { q 4, a } = ---
: { q 4, b } = q 3

3. Identifique la tabla de transicin correspondiente
(Tabla de transicin)

COLABORATIVO_2





4.






4 Identifique el lenguaje que reconoce y enuncie cinco posibles cadenas vlidas
que terminen en el estado halt

Verificando mediante un lenguaje de cadenas y sus tipos que pueden
reconocer:
L= {, E(a, b)} * = lenguaje que genera el autmata compuesto por las
palabras que pertenecen al conjunto del alfabeto para que cumpla cierta
condicin donde puede comenzar con una a o muchas a(s) o con una b o
muchas b(s)
a b
q 0 q 0, q 1 q 0
q 1 q 2
q 2 q 4 q 2, q 3
q 3 q 4 q 3
q 4 q 3
COLABORATIVO_2
Cadenas validas




COLABORATIVO_2

5__Encuentre la expresin regular vlida


COLABORATIVO_2





6__Encuentre su gramtica que sea vlida para la funcin de transicin
(describa sus componentes y como se escriben matemticamente). Justifquela
si la convierte a la Izquierda o a la derecha. Plsmela en el simulador y recrela.
(Debe quedar documentado en el texto el paso a paso que realizan en el
simulador)


COLABORATIVO_2


7__Realice el rbol de Derivacin de esa gramtica

Como primera instancia convierto a gramtica el autmata finito, generando de
las transiciones me produce nueve producciones

COLABORATIVO_2


Es una gramtica lineal por la derecha

8. Identifique si ese rbol o gramtica es ambigua o no y plasme las razones de
su afirmacin

La gramtica del rbol no es ambigua, es una gramtica univoca libre de
contexto que tiene asociado un rbol de derivacin para toda la cadena.

9. Si el rbol de transicin es demasiado grande, a su criterio seleccione una
regla en la que se detenga por cualquier rama (izquierda o derecha) y plsmelo
hasta ah. (Es decir seleccione una cadena vlida para este tem).



(SaA)(AbB)(BaD)(DbC)(CbC)(CbC)(CbC)(CbC)(CbC)(C
bC)(C ) bB)(BaD)(DbC)(CbC)(C )





REGLA DERIVACION
SaA aA
COLABORATIVO_2






AbB abB
BaD abaD
DbC ababC
CbC ababbC
CbC ababbbC
CbC ababbbbC
CbC ababbbbbC
CbC ababbbbbbC
CbC ababbbbbbbC
C ababbbbbbb
COLABORATIVO_2
COLABORATIVO_2

COLABORATIVO_2

ACTIVIDADES PARA EL EJERCICIO A MINIMIZAR O YA MINIMIZADO:

10. Explicar el proceso de Minimizacin (que estados se suprimen y porque)

1.

- Se crean los conjuntos formados por los conjuntos finales y los no finales.

FINALES NO FINALES
{q3} {q0,q1, q2,q4 }


- Se le aplica a los subconjuntos la transformacin AFD, para los subconjuntos la
transicin a.

FINALES NO FINALES
{q3} { q0,q1, q2,q4 }
a q4 q0,q4, q4, q1


- Se separan los estados del subconjunto que al aplicarle la transicin se
comportan de manera diferente a los dems de este, el que se desplaza hacia
el estado no final es

FINALES NO FINALES
{q3} {q0,q1, q2,q4 }

- Se le aplica a los subconjuntos la transformacin AFD, para los subconjuntos la
transicin b.

FINALES NO FINALES
{q3} { q0,q1, q2,q4 }
b q2 q0,q3, q3, q3


- Se juntan las dos transiciones.

FINALES NO FINALES
{q3} { q0,q1, q2,q4 }
a q4 q0,q3, q3, q1
b q2 q0,q3, q3, q3


- Se procede a realizar la tabla de transicin del autmata minimizado, para los
subconjuntos que tienen ms de un estado se elige un representante del
COLABORATIVO_2
subconjunto y se reemplaza en la tabla de transicin para de esa forma
minimizar el autmata.





AUTOMATA
MINIMIZADO

ELIMINACION
DE ESTADOS

NUEVO
AUTOMATA

ESTADOS
FINALES
a b
q3 q4 q2
a b
q3 q4 q2
a b
q3 q4 q2
ESTADOS NO
FINALES
a b
q0 q0 q0
q1 q3 q3
q2 q3 q3
q4 q1 q3

q0





11. Que transiciones se reemplazan o resultan equivalentes.
Estuve revisando y q1 es el nico que se puede quitar sin afectar la salida y es
equivalente.
a b
q0 q2 q0
q2 q4 q2
q3 q4 q3
q4 q3

COLABORATIVO_2


12. Escribir la funcin de transicin del nuevo autmata.
: { q 0, a } = q 0, q2
: { q 0, b } = q 0
: { q 2, a } = q 4
: { q 2, b } = q 2, q 3
: { q 3, a } = q 4
: { q 3, b } = q 3
: { q 4, a } = ---
: { q 4, b } = q 3


13. Identificar la expresin regular (explicarla en la lectura matemtica que se
le debe hacer).

(a,b)*(abb*b+abb*ab)(b+ab)
COLABORATIVO_2

14. Compruebe una cadena vlida para esa expresin regular.


15. Identificar el lenguaje que reconoce y cinco posibles cadenas vlidas.

L= {, E(a, b)} * = lenguaje que genera el autmata compuesto por las
palabras que pertenecen al conjunto del alfabeto que empiecen por ab y que
terminen en b

COLABORATIVO_2
( ) { } ( ) ( )( ) : L= , * * * = * a b abb b abb b E a b b ab a e e + + +


16. Identificar su gramtica. Demustrela para una cadena vlida del autmata.
COLABORATIVO_2

COLABORATIVO_2
17. Compare la gramtica con el autmata antes de minimizar (ya sea por la
izquierda o derecha).

18. El autmatas nuevo expresarlo o graficarlo con su respectivo diagrama de
Moore.






COLABORATIVO_2

19. Identificar sus tablas de Transicin (plasmarlas)














20. Plasmar los pasos de minimizacin en el simulador (comprelos con el
proceso manual que est explicando) y capturar los procesos en imgenes
para ser documentadas en el texto.
Cada tem debe ser justificado, para ello lo pueden hacer con su interpretacin
matemtica o con el simulador que le genera todas las respuestas.

2. No dejen a ltima instancia para realizar el trabajo, ya que no se les podr dar
el apoyo acadmico oportuno.


- Se abre el simulador y se da click en finite automation

a b
q 0 q 0, q 1 q 0
q 2 q 4 q 2, q 3
q 3 q 4 q 3
q 4 q 3
COLABORATIVO_2


- Se genera el autmata propuesto






- Se da click en convert, luego en convert FA to RE.
COLABORATIVO_2


- Se da click en Do it y octenemos el automata minimizado


COLABORATIVO_2




2. Construya el autmata de Pila Correspondiente

Disee un APD que acepte: El lenguaje de la cadena vaca, que adems acepte
cualquier cadena que contenga un nmero de y menor o igual que el de x y
puede ser en cualquier orden. El diseo tambin debe permitir aceptar las
cadenas con la pila vaca.

2. CONSTRUYA EL AUTMATA DE PILA CORRESPONDIENTE



Disee un APD que acepte: El lenguaje de la cadena vaca, que adems acepte
cualquier cadena que contenga un nmero de y menor o igual que el de x y
puede ser en cualquier orden. El diseo tambin debe permitir aceptar las
cadenas con la pila vaca.

21. Describa el autmata en notacin matemtica

L= {xn+1yn}
Sptupla M= (Q, A, B, , q0, Z0, F)
M= ({q0, q1, q2, q3, q4}, {x,y}, {A}, , q0, x, {q4})
Las posibles cadenas validas son:

- Xxyx
- Xyxyx
- xxyxyx



22. Grafquelo en JFLAP y realice el Traceback para las transiciones. (Las
columnas para un
AP son: El estado en que se encuentra el autmata, lo que falta por leer de la
palabra de entrada, y el contenido de la pila).
COLABORATIVO_2



23. Plasme las imgenes y capturas en el documento. (Documente el proceso)


COLABORATIVO_2



24. Muestre el diagrama correspondiente de estados.



Para hallar el diagrama correspondiente de estados se debe realizar el
procesamiento completo de una cadena de entrada que depende del contenido
de pila
ESTADO POR LEER PILA
q Xxyx
q Xxyx x
q Xyx xx
q Yx xxy
q X xxyx

25. Identifique los contenidos (el recorrido para cada interaccin) de la pila y el
estado de parada.
Realcelo con una cadena vlida.

1.
COLABORATIVO_2





3. GRAMTICAS

Sean L1 el lenguaje generado por la gramtica G
COLABORATIVO_2



26. Identifique que tipo de gramtica es. Justifique su respuesta
Es una gramtica de contexto libre porque se especificaron las reglas para
conseguir o generar las cadenas de un lenguaje vlidas para el autmata




27. Identifique los elementos (tupla) que es.


La notacin matemtica
Clasificamos la tupla y los componentes del autmata
Dado el siguiente autmata mnimo correspondiente al siguiente autmata finito
M= (K, , q 0, , F) Donde el conjunto de estados estn compuesto por lo
siguiente:
(Conjunto de estados total 3) K= {q 0, q 1, q 2}
(Alfabeto) = {0, 1}
(Estado inicial) = q 0
(Estado final) F {q 0}
COLABORATIVO_2
Funcin de transicin est dada por:
: donde interviene los 3 estados{q 0, q 1, q 2} Asociado a los smbolos del
alfabeto X {0, 1} {q 0, q 1, q 2 } como estado inicial (q 0) y estado final
(q 0)
5-tupla: A= (Q, , q0, , A)

Q son todos los estados.
es un alfabeto.
: Q X Q es una funcin de transicin de un AFD
q0 Q es el estado inicial
ACQ es un conjunto de estados finales

A= ({q0, q1, q2, q3}, {1,0}, , {q0, q3})


28. Obtener el autmata Finito para la gramtica (plasme los diagramas de
Moore)

COLABORATIVO_2



COLABORATIVO_2

29. Identifique el Lenguaje que generan. Identifique si es lineal por la derecha
o la izquierda.
L= {, E(a, b)} * = lenguaje que genera el autmata compuesto por las
palabras que pertenecen al conjunto del alfabeto para que cumpla cierta
condicin donde puede comenzar con una a o muchas a(s) o con una b o
muchas b(s)
Tipos de producciones de aceptacin de la cadena, Es una gramtica lineal por
la derecha
El lenguaje que genera es L= {A {1, 0} I A= 1n+10n, donde n>=1}
La conversin es a la derecha porque es lineal a la izquierda.


30. Plasme la secuencia y rbol de derivacin la cadena 0101 (Use el simulador
para verificarla). E identifique que producciones intervienen. Para justificar sus
respuestas puede apoyarse en la simulacin que le d el software JFLAP.
COLABORATIVO_2








COLABORATIVO_2







Bibliografa

CARLOS ALBERTO AMAYA TARAZONA. (2014). AUTMATAS Y
LENGUAJES FORMALES.
Duitama (ZCBOY): UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA.
John, M; (2004), Lenguajes formales y teora de la computacin. Tercera
Edicin,
Mxico 2004. Ediciones Mc Graw Hill.
Pfleeger, S. (2002). Ingeniera de Software, teora y prctica. 1ra Edicin.
Buenos Aires:
Pearson Educacin.