Anda di halaman 1dari 20

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Escuela Ciencias Básicas, Tecnología e Ingeniería

AUTOMATAS Y LENGUALES FORMALES

UNIDAD 2: FASE 2 - DEBATIR Y DESARROLLAR LOS EJERCICIOS PLANTEADOS


SOBRE AUTÓMATAS CON PILA Y GRAMÁTICAS

Presentado a:
Cesar Jimenez

Entregado por:
Laura Catalina España López
Edna Katherin González Rojas

Grupo: 301405_18

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD


ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA
OCTUBRE

Derechos de autor © 2018 por 301405_18. Todos los derechos reservados i


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería

Contenido

DESARROLLO ACTIVIDAD INDIVIDUAL ____________________________________________________________ III


ACTIVIDAD 1: AUTÓMATA A PILA _____________________________________________________________________ III
EJERCICIO 1: LAURA ESPAÑA ___________________________________________________________________________ III
EJERCICIO 5: EDNA GONZALEZ ________________________________________________________________________ VII
DESARROLLO ACTIVIDAD COLABORATIVA _______________________________________________________ XVI
ACTIVIDAD 1: MINIMIZAR AUTÓMATA_________________________________________________________________ XVI

Derechos de autor © 2018 por 301405_18. Todos los derechos reservados ii


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería

Desarrollo Actividad Individual

Nombre Apellido(s) Grupo Ejercicio


LAURA CATALINA ESPAÑA 301405_18 1
YEIME MAVEL RONCANCIO 301405_18 3
XIOMARA MONTENEGRO 301405_18 5
EDNA KATHERIN GONZALEZ 301405_18 5
NELLY BULLA 301405_18 4

ACTIVIDAD 1: Autómata a Pila


Ejercicio 1: Laura España
EJERCICIO A
TRABAJAR

Caracterización - Autómata Finito Determinista


del autómata a - El conjunto de lenguajes aceptados por estado final por los autómatas a pila
pila 𝐿𝐴𝑃𝐹 es igual que el conjunto de lenguajes aceptados por vaciado por pila de
los autómatas a pila 𝐿𝐴𝑃𝑉
Procedimiento
de paso a paso - Paso 1
del recorrido de
una cadena

Derechos de autor © 2018 por 301405_18. Todos los derechos reservados iii
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería

a a b b

a
Z0

Estado Por leer Pila


q0 aabb Z0
q0 abb a

- Paso 2

a a b b

a
a
Z0

Derechos de autor © 2018 por 301405_18. Todos los derechos reservados iv


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería

Estado Por leer Pila


q0 aabb Z0
q0 abb a
q1 bb aa

- Paso 3

a a b b

a
Z0

Estado Por leer Pila


q0 aabb Z0
q0 abb a
q1 bb aa
q1 b a

Derechos de autor © 2018 por 301405_18. Todos los derechos reservados v


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería

-Paso 4

a a b b

Z0

Estado Por leer Pila


q0 aabb Z0
q0 abb a
q1 bb aa
q1 λ Z0

Derechos de autor © 2018 por 301405_18. Todos los derechos reservados vi


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería

Practicar y
verificar lo Validas
aprendido

Rechazadas

Ejercicio 5: Edna Gonzalez

EJERCICIO A Ejercicio 5: Edna Gonzalez


TRABAJAR

Procedimiento de Cadena:
paso a paso del - aababaabb

Derechos de autor © 2018 por 301405_18. Todos los derechos reservados vii
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería

recorrido de una
cadena Paso 1: cuando el autómata se encuentra en estado q0

Paso 2: Cuando el autómata lee el símbolo de entrada a, a la pila no se extrae


nada y se adiciona un a, pasando a un estado q1

Paso 3: como se ha enviado nada en el autómata pero se extrae la a de la pila


se pasa a estado q2

Derechos de autor © 2018 por 301405_18. Todos los derechos reservados viii
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería

Paso 4: Cuando el autómata lee el símbolo de entrada a, a la pila no se extrae


nada y se adiciona un a, pasando a un estado q0

Paso 5: Cuando el autómata lee el símbolo de entrada b, a la pila no se extrae


nada y se adiciona un b, pasando a un estado q1

Paso 6: como se ha enviado nada en el autómata pero se extrae la b de la pila


se pasa a estado q2

Derechos de autor © 2018 por 301405_18. Todos los derechos reservados ix


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería

Paso 7: como se ha enviado nada en el autómata pero se extrae la a de la pila


se pasa a estado q1

Paso 8: Cuando el autómata lee el símbolo de entrada a, a la pila no se extrae


nada y se adiciona un a, pasando a un estado q0

Paso 9: Cuando el autómata lee el símbolo de entrada b, a la pila no se extrae


nada y se adiciona un b, pasando a un estado q1

Derechos de autor © 2018 por 301405_18. Todos los derechos reservados x


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería

Paso 10: como se ha enviado nada en el autómata pero se extrae la b de la


pila se pasa a estado q2

Paso 11: como se ha enviado nada en el autómata pero se extrae la a de la


pila se pasa a estado q1

Paso 12: Cuando el autómata lee el símbolo de entrada a, a la pila no se


extrae nada y se adiciona un a, pasando a un estado q0

Derechos de autor © 2018 por 301405_18. Todos los derechos reservados xi


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería

Paso 13: Cuando el autómata lee el símbolo de entrada a, a la pila no se


extrae nada y se adiciona un a, pasando a un estado q1

Paso 14: como se ha enviado nada en el autómata pero se extrae la a de la


pila se pasa a estado q2

Derechos de autor © 2018 por 301405_18. Todos los derechos reservados xii
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería

Paso 15: como se ha enviado nada en el autómata pero se extrae la a de la


pila se pasa a estado q1

Paso 16: Cuando el autómata lee el símbolo de entrada b, a la pila no se


extrae nada y se adiciona un b, pasando a un estado q0

Paso 17: Cuando el autómata lee el símbolo de entrada b, a la pila no se


extrae nada y se adiciona un b, pasando a un estado q1

Derechos de autor © 2018 por 301405_18. Todos los derechos reservados xiii
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería

Paso 17: como se ha enviado nada en el autómata pero se extrae la b de la


pila se pasa a estado q2 Y q1

Derechos de autor © 2018 por 301405_18. Todos los derechos reservados xiv
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería

Practicar y verificar
lo aprendido

(lilokind1, 2013)

Derechos de autor © 2018 por 301405_18. Todos los derechos reservados xv


UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería

Desarrollo Actividad Colaborativa

ACTIVIDAD 1: Minimizar autómata

1. Realice el proceso paso a paso la minimización del autómata


 K = { q0, q1, q2, q3, q4, q5,q6, q7, q8 }
 Σ = {0, 1}
 S = q0 -> inicio
 F = q2, q4, q8 -> final
 δ = Transiciones
δ 0 1
q0 q3 q1
q1 q2 q1
q2 q4 q5
q3 q0 q1
q4 q4 q8
q5 q2 q8
q6 q7 q3
q7 q8 q3
q8 q7 q4

Derechos de autor © 2018 por 301405_18. Todos los derechos reservados xvi
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería

Se elimina la el estado que no le llega a ninguna transición: q6

Se crean dos conjuntos:

Aceptadores X= {q2, q4, q8 }


No aceptadores Y={ q0, q1, q3, q5, q7 }
Se valida a que conjunto lleva cada transición
0 1
q2 X Y
X q4 X X
q8 Y X

0 1
q0 Y Y
q1 X Y
Y q3 Y Y
q5 X X
q7 X Y

Se buscan equivalencias

Derechos de autor © 2018 por 301405_18. Todos los derechos reservados xvii
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería

 X,Y -> q2, q7, q1 - A


 X,X -> q4, q5 - B
 Y,X-> q8 - C
 Y,Y -> q0, q3 - D

0 1
q2 B B
A
q7 C D
q1 A A

0 1
B q4 B C
q5 A C

0 1
C
q8 A B

0 1
D q0 D A
q3 D A
Se buscan equivalencias
 B,B -> q2 - H
 C,D -> q7 - I
 A,A -> q1 - J
 B,C -> q4 - K
 A,C -> q5 - L
 A,B -> q8 - C
 D,A -> q0, q3 - D

0 1
H
q2 K L

Derechos de autor © 2018 por 301405_18. Todos los derechos reservados xviii
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería

0 1
I
q7 C D

0 1
J
q1 H J

0 1
K
q4 K C

0 1
L
q5 H C

0 1
C
q8 I K

0 1
D q0 D J
q3 D J

Derechos de autor © 2018 por 301405_18. Todos los derechos reservados xix
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Escuela Ciencias Básicas, Tecnología e Ingeniería

Para el autómata ya minimizado realice:

2. Realice la notación formal (caracterización) matemática del autómata ya minimizado

A = {(H,I,J K, L, C,D), (1, 0), δ, D (K, H, C) }

3. Identifique El Lenguaje que reconoce.


 Σ = {0, 1}

4. Identifique su gramática (de forma manual) por la derecha y caracterícela. Debe incluir el
diagrama de estados con los componentes de la gramática asociados a las variables y a las
constantes.
 K = { H,I,J,K,L,C,D }
 Σ = {0, 1}
 S = D -> inicio
 F = K, H, C -> final
 δ = Transiciones
0 1
H K L
I C D
J H J
K K C
L H C
C I K
D D J

Derechos de autor © 2018 por 301405_18. Todos los derechos reservados xx

Anda mungkin juga menyukai