Consolidado Grupo - 33 - Tarea - 3 - 301405 - 33

Tarea 3 Construcción de Autómatas de Pila
Integrantes
TUTOR
Rafael Pérez Holguín
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

AUTOMATAS Y LENGUAJES FORMALES
2021
Actividad Individual
Ejercicios 1: Autómata de pila
EJERCICIO A
TRABAJAR
Σ: Alfabeto de entrada Σ=(a, b)

Γ: Alfabeto de pila Γ=( λ , a, b)
Q: conjunto finito de estados Q=(q0, q1)
A0 ∈ Γ: Símbolo inicial de pila A0= λ
Caracterizació
q0 ∈ Q: Estado inicial del autómata q0 ∈ Q=q0
n del
F ⊆ Q: Conjunto de estados finales F ⊆ Q= (q1)
autómata
f: función de transición de ternas f: σ= (q0, b, λ), (q0, b)
σ= (q0, a, λ), (q0, a)
σ= (q0, λ, λ), (q1, λ)
σ= (q1, a, a), (q1, λ)
σ= (q1, b, b), (q1, λ)
Procedimiento
de conversión
de Autómata
Finito a
Expresión
Regular paso a
paso
Paso 1: de acuerdo con nuestro autómata, se encuentra en

estado q0, con transición b, no desapila y apila b
estado q0, con transición a, no desapila y apila a
Paso 3: de acuerdo con nuestro autómata, se encuentra

entre q0 y q1, no desapila y apila no apila
estado q0, con transición a, no desapila y apila a
estado q1, con transición a, desapila a y no apila

estado q1, con transición b, desapila b y no apila
Practicar y
verificar lo
aprendido
Lenguaje
Σ=(a, b)
regular
Ejercicios 2: Gramática del autómata

s →{q0 ⊥ q1 }
{q1 ⊥ q 1 }→ ∑
{q0 , ∑ , q0 }→ ∑
{q1 ,∑ ,q 1 }→∑
{q 0 , b , q0 } → b{q1 , ∑, q0 }
{q 0 , b , q1 } →b {q1 , ∑, q1 }
{q 0 , a , q0 } → a {q 0 , ∑ , q 0 }
{q 0 , a , q1 } →a {q0 , ∑, q1 }
{q 0 ,⊥ , q 0 } → a {q0 , b , q0 }{q0 , ⊥, q 0 }
{q 0 ,⊥ , q 0 } → a {q0 , b , q0 }{q0 , ⊥, q 0 }
{q 0 ,⊥ , q1 } → a {q 0 ,b ,q 0 }{q 0 ,⊥ , q1 }
{q 0 ,⊥ , q1 } → a {q 0 ,b ,q 0 }{q 0 ,⊥ , q1 }
{q 0 ,⊥ , q 0 } → b {q0 , b , q0 }{q0 , ⊥, q 0 }
{q 0 ,⊥ , q 0 } → b {q0 , b , q0 }{q0 , ⊥, q 0 }
{q 0 ,⊥ , q1 } → b {q 0 ,b ,q 0 }{q 0 ,⊥ , q1 }
{q 0 ,⊥ , q1 } → b {q 0 ,b ,q 0 }{q 0 ,⊥ , q1 }
Actividad colaborativa
EJERCICIO A
TRABAJAR
Procedimiento Realice de manera detallada el procedimiento paso

de a paso de la minimización del autómata.
minimización
- Paso 1…
Identificamos los estados que son 7 con estado
inicial q0 y estados finales que son q4 y q6
El alfabeto que son 0 y 1
Es un estado finito determinista porque para cada
entrada solo existe un solo estado del que posee
- Paso 2…
Hallamos la quíntupla
5-tupla (K,,,s, F)
M= ({q0, q1, q2, q3, q4, q5, q6}, {0,1},,q0, {q4,
q6})
K= {q0, q1, q2, q3, q4, q5, q6}
= {0,1}
S=q0
F=q4, q6
- Paso 3…
Realizamos la tabla de transiciones
(q0,1) =q1
(q0,0) =q4
(q1,0) =q4
(q1,1) =q5
(q2,0) =q3
(q2,1) =q4
(q3,0) =q5
(q3,1) =q4
(q4,0) =q2
(q5,0) =q5
(q5,1) =q4
(q6,0) =q5
(q6,1) =q3
Procedemos a la eliminación de conjuntos

Hallamos dos conjuntos, el primero es con los estados
aceptadores y los no aceptadores
Los estados aceptadores son los estados finales y los no
aceptadores es el resto de los estados
Hacemos un conjunto en x para los estados aceptadores
y otro en y para los no aceptadores
X= {q4, q6} aceptadores
Y= {q0, q1, q2, q3, q5} no aceptadores
Realizamos la tabla para los estados aceptadores
0 1
q4 Y 
q6 Y Y
Ahora hacemos el mismo procedimiento para Y
0 1
q0 X Y
q1 X Y
q2 Y X
q3 Y X
q5 Y X
Ahora identificamos los estados equivalentes y no

equivalentes
q0, q1 son equivalentes (x,y) - A

q2, q3,q5 son equivalentes (y,x) – C
q4 – D
q6 - E
A 0 1
q0 D A
q1 D C
No son equivalentes por lo que solo se forma un

grupo equivalente
q0 - A
q1 - B
q2, q3,q5 son equivalentes (y,x) – C
q4 – D
q6 – E
C 0 1
q2 C D
q3 C D
q5 C D
Son equivalentes
En base a los datos anteriores se realiza una tabla de

transición
C 0 1
A D B
B D C
C C D
D C ϕ
E C C
Se elimina el estado E ya que no se puede ingresar a

este autómata
Resultado del Agregue aquí la imagen del autómata minimizado
Autómata
minimizado
Notación En este espacio agrega la notación formal del
formal del autómata. Identifique la quíntupla del autómata
autómata minimizado.
minimizado Realice la tabla de transición
5-tupla (K,,,s, F)
M= ({A, B, C, D, E}, {0,1},,A, {D})
K= {A, B, C, D, E }
= {0,1}
S=A
F=D
Caracterización Identifique los elementos (tupla, estado final,

del autómata inicial, alfabeto, etc.). Debe explicar y describir
parte teórica cada elemento y la función y significado en el
autómata. Conceptos y definiciones adicionales.
Lenguaje En este espacio agrega el lenguaje regular del

Regular autómata.
Gramática del En este espacio agrega la gramática del autómata.

autómata 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.
Validación de - Identifique 5 cadenas aceptadas y cinco
cadenas cadenas rechazadas
Practicar y Muestre en el simulador JFLAP (Anexo 1 - JFLAP) o
verificar lo VAS (Anexo 2- VAS) (gráficamente) como recorre una
aprendido cadena válida. Explique cada secuencia.
(No se trata
Referencias Bibliográficas
Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000). Teoría
de lenguajes, gramáticas y autómatas para informáticos. Digitalia. (pp. 119 -
127).
Alfonseca Cubero, E. (2007). Teoría de autómatas y lenguajes formales.

Madrid etc., Spain: McGraw-Hill España. (pp. 117 - 150).
González, A. [Ángela]. (2018, junio 1). Lenguajes Independientes del

Contexto. [Archivo web].

Consolidado Grupo - 33 - Tarea - 3 - 301405 - 33

Cargado por

Copyright:

Formatos disponibles

Consolidado Grupo - 33 - Tarea - 3 - 301405 - 33

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Consolidado Grupo - 33 - Tarea - 3 - 301405 - 33

Cargado por

Copyright:

Formatos disponibles

Tarea 3 Construcción de Autómatas de Pila

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Ejercicios 1: Autómata de pila

Σ: Alfabeto de entrada Σ=(a, b)

Paso 1: de acuerdo con nuestro autómata, se encuentra en

Paso 3: de acuerdo con nuestro autómata, se encuentra

Paso 5: de acuerdo con nuestro autómata, se encuentra en

Ejercicios 2: Gramática del autómata

Procedimiento Realice de manera detallada el procedimiento paso

Procedemos a la eliminación de conjuntos

X= {q4, q6} aceptadores

Y= {q0, q1, q2, q3, q5} no aceptadores

Realizamos la tabla para los estados aceptadores

Ahora hacemos el mismo procedimiento para Y

Ahora identificamos los estados equivalentes y no

q0, q1 son equivalentes (x,y) - A

No son equivalentes por lo que solo se forma un

En base a los datos anteriores se realiza una tabla de

Se elimina el estado E ya que no se puede ingresar a

Caracterización Identifique los elementos (tupla, estado final,

Lenguaje En este espacio agrega el lenguaje regular del

Gramática del En este espacio agrega la gramática del autómata.

Alfonseca Cubero, E. (2007). Teoría de autómatas y lenguajes formales.

González, A. [Ángela]. (2018, junio 1). Lenguajes Independientes del

También podría gustarte