Trabajo Colaborativo 2

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI
Programa Ingeniera de sistemas

Autmatas Y Lenguajes Formales
301405A
Trabajo Colaborativo # 2
Aporte Individual 1
Presentado Por:
Andrs Julin Mendoza Enrquez
Cdigo: 13749054
Grupo # 09
Presentado a:
Ing. Carlos Alberto Amaya Tarazona
UNIVERSIDAD ABIERTA Y A DISTANCIA (UNAD)

SANTANDER/BUCARAMANGA
30 DE ABRIL DE 2014
Pgina 1

301405A
1. Enuncie el autmata en notacin matemtica:
Autmata finito dado por:

M = (K, , , q0, F)
M = ({q0, q1, q2, q3, q4, q5, q6}, {1,0}, , q0, {q6})
Dnde:
K = {q0, q1, q2, q3, q4, q5, q6} (Conjunto de estados)

= {1,0} (Alfabeto de entrada)
q0 es el estado inicial y
F = {q6} (F C K, conjunto de estados finales).
Pgina 2

301405A
Donde la funcin de transicin:

= {q0, q1, q2, q3, q4, q5, q6} x {1, 0} {q0, q1, q2, q3, q4, q5, q6} q0 {q0}
Est dada por:
(q0, 0) = q1
(q0, 1) = q2
(q1, 0) = q0
(q1, 1) = q3
(q2, 0) = q3
(q2, 1) = q0
(q3, 0) = q5
(q3, 1) = q4
(q4, 0) = q0
(q4, 1) = q6
(q5, 0) = q6
(q5, 1) = q0
(q6, 0) = q5
(q6, 1) = q4
2. Identifique los componentes del autmata (que tipo de tupla es)

Es un Autmata Finito Determinstico, debido a que para un estado y smbolo del alfabeto dado,
existe un y solo un estado siguiente.
5-tupla: A= (Q, , , q0, F)
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
F C Q es un conjunto de estados finales
A= ({q0, q1, q2, q3, q4, q5, q6}, {1,0}, , q0, {q0})
(q0, 0) = q1
(q0, 1) = q2
(q1, 0) = q0
(q1, 1) = q3
(q2, 0) = q3
(q2, 1) = q0
(q3, 0) = q5
(q3, 1) = q4
(q4, 0) = q0
(q4, 1) = q6
(q5, 0) = q6
(q5, 1) = q0
Pgina 3

301405A
(q6, 0) = q5
(q6, 1) = q4
3. Identifique la tabla de transicin correspondiente.
#q0
q1
q2
q3
q4
q5
q6
0
q1
q0
q3
q5
q0
q6
q5
1
q2
q3
q0
q4
q6
q0
q4
q0 es el estado inicial y final del AFD.
La tabla de transicin correspondiente a este autmata, generado en el simulador Visual

Autmata Simulator VAS.
Pgina 4

301405A
4. Identifique el lenguaje que reconoce y enuncie cinco posibles cadenas vlidas que
terminen en el estado halt
L = { {1, 0}* | = 1i 0i, i >=1}
Las siguientes son 5 cadenas validas posibles:
1010
101101
1001
110101
01100110
5. Encuentre la expresin regular vlida. El propsito de las ER (que no son ms

que simples frmulas) es representar cada una de ellas un lenguaje).
Pgina 5

301405A
Comprobacin de las posibles cadenas validas en JFLAP:
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) Las gramticas
son mecanismos generadores de lenguajes, es decir, nos dicen cmo podemos
obtener o construir palabras de un determinado lenguaje.
Se ejecuta el simulador y se da clic en Finite Automaton
Pgina 6

301405A
Se genera el autmata propuesto
Pgina 7

301405A
Se da clic en Convert, luego en Convert to Grammar.
Pgina 8

301405A
La gramtica valida por tanto es.
IZQUIERDA
DERECHA
1B
0A
1D
1F
1D
1C
0C
1S
1S
0S
0S
0E
0F
0E
La conversin es a la izquierda porque es lineal a la derecha y es generado por el simulador a

la derecha.
7. Realice el rbol de Derivacin de esa gramtica

El rbol de derivacin es muy grande para mostrarlo grficamente.
8. Identifique si ese rbol o gramtica es ambigua o no y plasme las razones de su

afirmacin.
Pgina 9

301405A
Es una gramtica libre de contexto la cual solo est asociada con un rbol de derivacin para
cualquier cadena de lenguaje, por tanto se puede afirmar que no es una gramtica ambigua.
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).
Se obtiene el rbol de transicin por la derecha para la cadena valida 1010:

(S1B)(B0C)(C1D)(D0S)
REGLA
DERIVACION
S1B
1B
B0C
10C
C1D
101D
D0S
1010S
1010
Pgina
10

301405A
Actividades Para El Ejercicio A Minimizar O Ya Minimizado:
10. Explicar el proceso de Minimizacin (que estados se suprimen y porque)
Se crean los conjuntos formados por los conjuntos finales y los no finales.
FINALES
{q0}
NO FINALES
{q1, q2, q3, q4, q5, q6}
Se le aplica a los subconjuntos la transformacin AFD, para los subconjuntos la transicin 0.
FINALES
{q0}
q1
NO FINALES
{q1, q2, q3, q4, q5, q6}
q0, q0, q3, q5, q5, q6
Pgina
11

301405A
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
{q0}
Se realiza el mismo procedimiento para los subconjuntos de transicin 1.

FINALES
{qo}
q2
NO FINALES
{q1, q2, q3, q4, q5, q6}
q0, q0, q3, q4, q4, q6
Se juntan las dos transiciones.

FINALES
{q0}
q2
q1
1
0
NO FINALES
{q1, q2, q3, q4, q5, q6}
NO FINALES
{q2, q3, q4, q5, q6} {q1}
q0, q3, q4, q4, q6 q0
q0, q3, q5, q5, q6
q0
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 subconjunto y se reemplaza en la
tabla de transicin para de esa forma minimizar el autmata.
ESTADOS
FINALES
ESTADOS NO
FINALES
AUTOMATA
MINIMIZADO
1 0
q0 q2 q1
ELIMINACION DE
ESTADOS
1
q0 q2
1 0
q2 q0 q0
q3 q3 q3
q4 q4 q5
q5 q4 q5
q6 q6 q6
0
q1
NUEVO
AUTOMATA
1 0
q0 q2 q1
q3, q0, q2
q1 q0 q0
Pgina
12

301405A
11. Que transiciones se reemplazan o resultan equivalentes.

1
q0
q4
q6
q0
q4
q2
q3
q4
q5
q6
0
q3
q5
q0
q6
q5
12. Escribir la funcin de transicin del nuevo autmata.

= Q x Q
(q0, 0) = q2
(q0, 1) = q1
(q1, 0) = q3
(q1, 1) = q0
(q2, 0) = q0
(q2, 1) = q3
(q3, 0) = q1
(q3, 1) = q2
La tabla de transicin correspondiente a este autmata, generada en el simulador Visual

Autmata Simulator VAS.
14. Compruebe una cadena vlida para esa expresin regular.

Se comprueba la expresin regular con la cadena valida 110101 (Ver imagen del punto 16)
Pgina
13

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

El lenguaje que reconoce es L= {A {1, 0} | A= 1i0i, i>=1}
Las cadenas posibles son:
0101
0110
010100
101101
110011
16. Identificar su gramtica. Demustrela para una cadena vlida del autmata.
Esta es la gramtica generada por el autmata.
Demostracin para la cadena valida 101101.
Pgina
14

301405A
17. Compare la gramtica con el autmata antes de minimizar (ya sea por la
izquierda o derecha).
Al ser comparada la gramtica del autmata minimizado con el autmata original, se puede
observar que resulta ser aprobada tanto por la izquierda como por la derecha y en cualquier
cadena vlida para el autmata ya sea minimizado o en su estado normal.
Pgina
15

301405A
18. El autmata nuevo expresarlo o graficarlo con su respectivo diagrama de Moore.
19. Identificar sus tablas de Transicin (plasmarlas)
q0
q1
q2
# q3
1
q1
q0
q3
q2
0
q2
q3
q0
q1
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.
Se construye el autmata en el simulador JFLAP
Pgina
16

301405A
Se selecciona en el men Convert y luego en Minimize DFA.
Pgina
17

301405A
Se seleccionan los estados no finales y se da clic en Complete Subtree, luego se hace clic en
los estados finales y en Complete Subtree.
Clic en Finish y despus en Complete para ver el autmata resultante.
Pgina
18

301405A
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, {q2})
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).
Pgina
19

301405A
Traceback para las transiciones: se da clic en una de las cadenas aceptadas por el programa
y luego en view trace, se realiza el paso correspondiente a cada cadena para as ver su
tracback.
Pgina
20

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

Se realiz en el punto anterior y se explica como se encuentran las traceback para las
transiciones.
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
Xxyx
Xxyx
Xyx
xx
Yx
xxy
xxyx
Pgina
21
PILA

301405A
25. Identifique los contenidos (el recorrido para cada interaccin) de la pila y el
estado de parada. Realcelo con una cadena vlida.
Se realiza para la cadena valida xxyxyx, se muestra el recorrido
Pgina
22

301405A
3. Gramticas
Sean L1 el lenguaje generado por la gramtica G1
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.

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})
Pgina
23

301405A
28. Obtener el autmata Finito para la gramtica (plasme los diagramas de Moore)
29. Identifique el Lenguaje que generan. Identifique si es lineal por la derecha o la

izquierda.
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.
Pgina
24

301405A
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
Se convierte a una FA el autmata y luego se observa si la cadena 0101 es aceptada.
Intervienen en esta produccin (q0, q1, q2, q3) es decir todo el rbol del autmata.
Pgina
25

Trabajo Colaborativo 2

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Trabajo Colaborativo 2

Enviado por

Direitos autorais:

Formatos disponíveis

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI

Programa Ingeniera de sistemas

UNIVERSIDAD ABIERTA Y A DISTANCIA (UNAD)

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI

1. Enuncie el autmata en notacin matemtica:

Autmata finito dado por:

K = {q0, q1, q2, q3, q4, q5, q6} (Conjunto de estados)

F = {q6} (F C K, conjunto de estados finales).

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI

Donde la funcin de transicin:

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

Q son todos los estados.

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI

3. Identifique la tabla de transicin correspondiente.

q0 es el estado inicial y final del AFD.

La tabla de transicin correspondiente a este autmata, generado en el simulador Visual

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI

Las siguientes son 5 cadenas validas posibles:

5. Encuentre la expresin regular vlida. El propsito de las ER (que no son ms

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI

Comprobacin de las posibles cadenas validas en JFLAP:

Se ejecuta el simulador y se da clic en Finite Automaton

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI

Se genera el autmata propuesto

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI

Se da clic en Convert, luego en Convert to Grammar.

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI

La gramtica valida por tanto es.

La conversin es a la izquierda porque es lineal a la derecha y es generado por el simulador a

7. Realice el rbol de Derivacin de esa gramtica

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

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI

9. Si el rbol de transicin es demasiado grande, a su criterio seleccione una regla en

Se obtiene el rbol de transicin por la derecha para la cadena valida 1010:

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI

Actividades Para El Ejercicio A Minimizar O Ya Minimizado:

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

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

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI

Se realiza el mismo procedimiento para los subconjuntos de transicin 1.

Se juntan las dos transiciones.

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI

11. Que transiciones se reemplazan o resultan equivalentes.

12. Escribir la funcin de transicin del nuevo autmata.

La tabla de transicin correspondiente a este autmata, generada en el simulador Visual

14. Compruebe una cadena vlida para esa expresin regular.

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI

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

Demostracin para la cadena valida 101101.

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI

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

19. Identificar sus tablas de Transicin (plasmarlas)

20. Plasmar los pasos de minimizacin en el simulador (comprelos con el proceso

Se construye el autmata en el simulador JFLAP

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI

Se selecciona en el men Convert y luego en Minimize DFA.

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI

Clic en Finish y despus en Complete para ver el autmata resultante.

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI

2. Construya el autmata de Pila Correspondiente

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI

Escuela de Ciencias Bsicas Tecnologa e Ingeniera ECBTI