Fase2 Grupo301405 51

Unidad 2: Fase 3 Modelar problemas de Lenguajes Independientes del
Contexto
Jheimer Julián Sepúlveda

Tutor
Grupo 301405_51
Universidad Nacional Abierta y a Distancia

Escuela de ingeniería
Abril de 2019
Medellín
EJERCICIOS DE LA FASE 2
ACTIVIDAD INDIVIDUAL
De acuerdo al último dígito de su cédula o tarjeta de identidad, identifique el ejercicio

asignado en la siguiente tabla:
Último dígito Ejercicio
de la Cédula o
TI
1y9 Ejercicio 1
2y8 Ejercicio 2
3y7 Ejercicio 3
4y6 Ejercicio 4
5y0 Ejercicio 5
ACTIVIDAD 1: Autómatas de Pila
EJERCICIO A Registre aquí el Ejercicio a trabajar. Por favor agregue la

TRABAJAR imagen
Ejercicio 2
Caracterización En este espacio se realiza:

del autómata a - Mediante la definición formal explicar las características
pila del autómata
RTA: Un autómata a pila es una séptupla:
𝑨𝑷 = (𝜮, 𝜞, 𝑸, 𝑨𝟎, 𝒒𝟎, 𝒇, 𝑭)
Donde :
1. 𝛴 𝑒𝑠 𝑒𝑙 𝑎𝑙𝑓𝑎𝑏𝑒𝑡𝑜 𝑑𝑒 𝑒𝑛𝑡𝑟𝑎𝑑𝑎
2. 𝛤 𝑒𝑠 𝑒𝑙 𝑎𝑙𝑓𝑎𝑏𝑒𝑡𝑜 𝑑𝑒 𝑙𝑎 𝑝𝑖𝑙𝑎
3. 𝑄 𝑒𝑠 𝑢𝑛 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑓𝑖𝑛𝑖𝑡𝑜 𝑑𝑒 𝑒𝑠𝑡𝑎𝑑𝑜𝑠
4. 𝐴0 ∈ 𝛤 𝑒𝑠 𝑒𝑙 𝑠í𝑚𝑏𝑜𝑙𝑜 𝑖𝑛𝑖𝑐𝑖𝑎𝑙 𝑑𝑒 𝑙𝑎 𝑝𝑖𝑙𝑎
5. 𝑞0 ∈ 𝑄 𝑒𝑙 𝑒𝑠𝑡𝑎𝑑𝑜 𝑖𝑛𝑖𝑐𝑖𝑎𝑙 𝑑𝑒𝑙 𝑎𝑢𝑡ó𝑚𝑎𝑡𝑎
6. 𝐹 ⊆ 𝑄 𝑒𝑠 𝑒𝑙 𝑠𝑢𝑏𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑑𝑒 𝑒𝑠𝑡𝑎𝑑𝑜𝑠 𝑓𝑖𝑛𝑎𝑙𝑒𝑠
7. 𝑓 𝑒𝑠 𝑢𝑛𝑎 𝑎𝑝𝑙𝑖𝑐𝑎𝑐𝑖ó𝑛 𝑑𝑒𝑛𝑜𝑚𝑖𝑛𝑎𝑑𝑎 𝑓𝑢𝑛𝑐𝑖ó𝑛 𝑑𝑒 𝑡𝑟𝑎𝑛𝑠𝑖𝑐𝑖ó𝑛 𝑑𝑒 𝑡𝑒𝑟𝑛𝑎𝑠
(𝑒𝑠𝑡𝑎𝑑𝑜, 𝑠í𝑚𝑏𝑜𝑙𝑜 𝑑𝑒 𝑒𝑛𝑡𝑟𝑎𝑑𝑎 𝑜 𝜆, 𝑠í𝑚𝑏𝑜𝑙𝑜 𝑑𝑒 𝑝𝑖𝑙𝑎)
𝑒𝑛 𝑒𝑙 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑑𝑒 𝑙𝑎𝑠 𝑝𝑎𝑟𝑡𝑒𝑠 𝑄 × 𝛤 ∗
𝛴 = {𝑎, 𝑏}
𝛤 = {𝑍𝑜, 𝜆}
𝑄 = {𝑞0, 𝑞1, 𝑞2}
𝐴0 = {𝑍𝑜}
𝑞0 = {𝑞0}
𝐹 = {𝑞2}
𝑓 ∶ 𝑒𝑠 𝑢𝑛𝑎 𝑓𝑢𝑛𝑐𝑖ó𝑛 𝑑𝑒 𝑡𝑟𝑎𝑛𝑠𝑖𝑐𝑖ó𝑛

𝝈 (𝒒𝟎, 𝒂, 𝝀), (𝒒𝟎, 𝒂)
𝝈 (𝑞0, 𝑏, 𝜆), (𝑞0, 𝑏)
𝝈 (𝑞1, 𝑎, 𝜆), (𝑞1, 𝑎)
𝝈 (𝑞1, 𝑏, 𝜆), (𝑞1, 𝑏)
𝝈 (𝑞1, 𝜆, 𝑎), (𝑞1, 𝜆)
𝝈 (𝑞1, 𝜆, 𝑏), (𝑞1, 𝜆)
𝝈 (𝑞2, 𝜆, 𝑎), (𝑞2, 𝜆)
𝝈 (𝑞2, 𝜆, 𝑏), (𝑞2, 𝜆)
- Realizar un cuadro comparativo de la Equivalencia entre

AP por vaciado de pila y AP por estado final.
Un AP= (Σ, Γ, Q, A0, q0, f, F) puede reconocer palabras

del alfabeto de entrada de dos formas distintas:
𝑝𝑜𝑟 𝑣𝑎𝑐𝑖𝑎𝑑𝑜 𝑑𝑒 𝑝𝑖𝑙𝑎 ∶ 𝐿𝑉(𝐴𝑃) = { 𝑥 | (𝑞0, 𝑥, 𝐴0) ├ ∗ (𝑝, 𝜆, 𝜆) 𝑐𝑜𝑛 𝑝 ∈ 𝑄}
𝑝𝑜𝑟 𝑒𝑠𝑡𝑎𝑑𝑜 𝑓𝑖𝑛𝑎𝑙: 𝐿𝐹(𝐴𝑃) = {𝑥 |(𝑞0, 𝑥, 𝐴0)∗ (𝑝, 𝜆, 𝑋), 𝑐𝑜𝑛 𝑝 ∈ 𝐹, 𝑋 ∈ 𝛤 ∗}
1. Ejercicio 3
EJERCICIO
A
TRABAJAR
Cedula 3 y 7.
Caracteriza Un autómata de pila se puede describir con una séptupla de
ción del elementos donde:
autómata a
pila AP= (Σ, Γ, Q, A0, q0, f, F) donde:
Σ:es el alfabeto de entrada
Γ: es el alfabeto de la pila
Q: es un conjunto finito de estados
A0 ∈ Γ: es un símbolo inicial de la pila
q0 ∈ Q: el estado inicial del autómata
F ⊆ Q: es el conjunto de estados finales.
f: es una aplicación denominada función de transición de ternas

(estado, símbolo de entrada o λ, símbolo de pila) en el conjunto de
las partes Q × Γ*
El autómata esta discriminado por
Σ= {a,A, b,B, Z}
Q= {q0, q1}
Γ= {Z}
Ahora bien el autómata de pila puede reconocer palabras del
alfabeto de 2 formas distintas asi:
Por estado final:
LF(AP) = {x | (q0, x, A0) ├* (p, λ, X), con p ϵ F, x ϵ Γ*}
Por vaciado de pila:
LV(AP) = {x | (q0, x, A0) ├* (p, λ, λ), con p ϵ Q}
Procedimien Solo reconoce 2 palabras a y b.

to de paso
a paso del
recorrido
de una
cadena
Realice de manera detallada y grafica el procedimiento paso a paso
del recorrido de una cadena (La cadena la selecciona el estudiante,
debe contener como mínimo 8 caracteres) en el autómata a pila.
Describir cómo funciona el almacenamiento en la pila, como
funciona LIFO, etc.
- Paso 1…
- Paso 2…
- Paso 3…
Ejemplo:
Gráfico
Realizar la representación utilizando flechas, conexiones,

diagramas que permitan ver el funcionamiento del autómata
a pila
Para una transición:

F (q, a, A) = {(q1, Z1), (q2, Z2),... (qn, Zn)}
- Paso 1: cuando el autómata se encuentra en el estado q, lee el
símbolo de entrada a y tiene el símbolo A en la cima de la pila.
- Paso 2: El autómata pasará a algún estado q1, eliminará el

símbolo A de la pila e introducirá en ella la palabra Zi, quedando la
cabeza de Zi en la cima de la pila.
- Paso 3: El procedimiento se repite n veces
Practicar y Apoyándose en el simulador JFlap o VAS ejecutar y validar por lo

verificar lo menos cinco cadenas válidas y 5 cadenas rechadas por el
aprendido autómata. En este espacio adjunta la imagen.
EJERCICIO A
TRABAJAR Ejercicio 4
Caracterizació
n del autómata Un autómata de pila es una séptupla:
a pila
AP= (Σ, Γ, Q, A0, q0, f, F) donde:
1. Σ:es el alfabeto de entrada
2. Γ: es el alfabeto de la pila
3. Q: es un conjunto finito de estados
4. A0 ∈ Γ: es un símbolo inicial de la pila
5. q0 ∈ Q: el estado inicial del autómata
6. F ⊆ Q: es el conjunto de estados finales.
7. f: es una aplicación denominada función de transición de ternas
(estado, símbolo de entrada o λ, símbolo de pila) en el conjunto
de las partes Q × Γ*
8.
Para el autómata:
Σ= {A, B, Z}
Q= {q1, q2, q3}
Γ= {Z}
El autómata de pila puede reconocer palabras del alfabeto de entrada

para dos formas distintas:
Por estado final:

LF(AP) = {x | (q0, x, A0) ├* (p, λ, X), con p ϵ F, x ϵ Γ*}
Por vaciado de pila:

LV(AP) = {x | (q0, x, A0) ├* (p, λ, λ), con p ϵ Q}
Procedimiento
de paso a paso El autómata solo acepta dos cadenas:
del recorrido
de una cadena
Por lo tanto,
Tomamos el alfabeto de entrada A y B para agregar a la pila.
Tenemos una pila con una z y procedemos a realizar las
transiciones.
Gráficamente al iniciar la secuencia:

Queda agregada la primera transición.
Queda agregada otra z al realizar la transición q1 a q2.
Se finaliza la secuencia y acepta la cadena AAB.
Realizamos la segunda cadena B.
La pila se encuentra así:
Al recorrer la cadena se pasa al estado q3.
Se finaliza la secuencia
Practicar y
verificar lo El autómata solo acepta dos cadenas que son las planteadas en
aprendido los pasos anteriores.
Actividad 2:
Teniendo en cuenta el siguiente autómata realice:
1. Realice el proceso paso a paso la minimización del autómata

Para el autómata ya minimizado realice:
2. Realice la notación formal (caracterización) matemática del autómata ya
minimizado
3. Identifique El Lenguaje que reconoce.
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.
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

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…
Identificación.
5-tupla(k, e, r, s, f)
M={q0,q1,q2,q3,q4,q5,q6,q7,q8}, {0,1}
R, estado inicial {q0} estado final{q2,q4,q8}
K={ q0,q1,q2,q3,q4,q5,q6,q7,q8}
∑{0,1}(𝐴𝑙𝑓𝑎𝑏𝑒𝑡𝑜)
S=q0 (Estado Inicial).

F= q2,q4,q8 (Estado Final)
Δ(q0,0)=q3
Δ(q0,1)=q1
Δ(q1,0)=q2
Δ(q1,1)=q1
Δ(q2,0)=q4
Δ(q2,1)=q5
Δ(q3,0)=q0
Δ(q3,1)=q1
Δ(q4,0)=q4
Δ(q4,1)=q8
Δ(q5,0)=q2
Δ(q5,1)=q8
Δ(q6,0)=q7
Δ(q6,1)=q3
Δ(q7,0)=q8
Δ(q7,1)=q3
Δ(q8,0)=q7
Δ(q8,1)=q4
Estados Aceptadores::: q2,q4,q8:::: X
Estados no Aceptadores ::: Resto de estados.:::Y
X = {q2,q4,q8}
Y={ q0,q1,q3,q5,q6,q7}
0 1
q2 X Y
0 1
q4 X X
0 1
q8 Y X
0 1
q0 Y Y
q1 X Y
q2 X Y
q3 Y Y
q4 X X
q5 X X
q6 Y Y
q7 X Y
q8 Y X
0 1
q0 Y Y
q1 X Y
q3 Y Y
q5 X X
q6 Y Y
q7 X Y
---q0, q3, q6 {Son equivalente}

---q1, q7{Son equivalentes}
---q5{Independiente}
X={q2,q4,q8}
M={q0,q3,q6}
Z={q1,q7}
N={q5}
M 0 1
q0 M Z
q3 M Z
q6 Z M
q0 y q3 Son Equivalentes
Z 0 1
q1 X Z
q7 X Z
N 0 1
q5 X X
X 0 1
q2 X N
q4 X X
q8 Z X
X={q4}
Z={q1,q7}
N={q5}
A={q0,q3}
B={q6}
X 0 1
q4 X X
Z 0 1
q1 X Z
q7 X Z
Son equivalentes q1 y q7
N 0 1
q5 X X
A 0 1
q0 A Z
q3 A Z
q0 y q3 Son equivalentes
B 0 1
q6 Z A
0 1
X X X
Z X Z
N X X
A A Z
B Z A
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 autómata.
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.
Preguntas de control
1. En la minimización del autómata en la primera validación, como estados equivalentes

quedan:
A. q0, q4, q6
B. q4, q0, q6
C. q6, q4, q0
D. q4, q6, q0
Justificación: De acuerdo a los estados aceptadores y no aceptadores X y Y,

q0=YY;q4=YY;q6=YY, por lo cual se determinan que son equivalentes, es importante
comprender que que Y, son todos los estados diferentes a la salida del sistema ya que
q2, es el estado final del sistema.
2. Los nombres de los conjuntos que se manejan después de la primera validación de

estados son:
A. X, M, Z, N
B. A, B, C, D
C. X, R, Z, D
D. A, M ,N, Z
Justificación: después de validar los primeros resultados con X y Y, con estados

aceptadores y no aceptadores se genera el conjunto X={q2} M={q0,q4,q6} Z={q1,q7}
N={q5,q8}, después de esto se debe validar nuevamente para determinar quiénes son
equivalentes.
3. En la tabla de transición final como resultado de la minimización del autómata:

0 1
B B A
A. B,A
B. Z,N
C. Z,A
D. A,B
Justificación: Al asignar en la tabla de transición en el estado q6 se fija las entradas en
0 =A y en 1=A, de tal manera que integra un conjunto en función de un monomio así:
B 0 1
q6 B A
Lista de referencias
Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y

Autómatas Para Informáticos. (pp. 127 - 142).
Recuperado de
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN
=318032&lang=es&site=edslive&ebv=EB&ppid=pp_
Alfonseca, C., Alfonseca, M., Mariyón, S. (2009). Teoría de autómatas y lenguajes

formales. (pp. 71 - 115).
Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=1049
8456&ppg=6
Alemán. H. [Helena]. (2017, Junio 19). Conceptualización de automáta [Archivo de

video].
Recuperado de:
https://www.youtube.com/watch?time_continue=6&v=zMhwYlXAHE4

Fase2 Grupo301405 51

Cargado por

Copyright:

Formatos disponibles

Fase2 Grupo301405 51

Cargado por

Información del documento

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

Fase2 Grupo301405 51

Cargado por

Copyright:

Formatos disponibles

Unidad 2: Fase 3 Modelar problemas de Lenguajes Independientes del

Jheimer Julián Sepúlveda

Universidad Nacional Abierta y a Distancia

De acuerdo al último dígito de su cédula o tarjeta de identidad, identifique el ejercicio

ACTIVIDAD 1: Autómatas de Pila

EJERCICIO A Registre aquí el Ejercicio a trabajar. Por favor agregue la

Caracterización En este espacio se realiza:

RTA: Un autómata a pila es una séptupla:

𝑨𝑷 = (𝜮, 𝜞, 𝑸, 𝑨𝟎, 𝒒𝟎, 𝒇, 𝑭)

𝑓 ∶ 𝑒𝑠 𝑢𝑛𝑎 𝑓𝑢𝑛𝑐𝑖ó𝑛 𝑑𝑒 𝑡𝑟𝑎𝑛𝑠𝑖𝑐𝑖ó𝑛

- Realizar un cuadro comparativo de la Equivalencia entre

Un AP= (Σ, Γ, Q, A0, q0, f, F) puede reconocer palabras

𝑝𝑜𝑟 𝑣𝑎𝑐𝑖𝑎𝑑𝑜 𝑑𝑒 𝑝𝑖𝑙𝑎 ∶ 𝐿𝑉(𝐴𝑃) = { 𝑥 | (𝑞0, 𝑥, 𝐴0) ├ ∗ (𝑝, 𝜆, 𝜆) 𝑐𝑜𝑛 𝑝 ∈ 𝑄}

𝑝𝑜𝑟 𝑒𝑠𝑡𝑎𝑑𝑜 𝑓𝑖𝑛𝑎𝑙: 𝐿𝐹(𝐴𝑃) = {𝑥 |(𝑞0, 𝑥, 𝐴0)∗ (𝑝, 𝜆, 𝑋), 𝑐𝑜𝑛 𝑝 ∈ 𝐹, 𝑋 ∈ 𝛤 ∗}

Σ:es el alfabeto de entrada

Q: es un conjunto finito de estados

A0 ∈ Γ: es un símbolo inicial de la pila

q0 ∈ Q: el estado inicial del autómata

F ⊆ Q: es el conjunto de estados finales.

f: es una aplicación denominada función de transición de ternas

El autómata esta discriminado por

Por estado final:

LF(AP) = {x | (q0, x, A0) ├* (p, λ, X), con p ϵ F, x ϵ Γ*}

Por vaciado de pila:

LV(AP) = {x | (q0, x, A0) ├* (p, λ, λ), con p ϵ Q}

Procedimien Solo reconoce 2 palabras a y b.

Realizar la representación utilizando flechas, conexiones,

Para una transición:

- Paso 2: El autómata pasará a algún estado q1, eliminará el

- Paso 3: El procedimiento se repite n veces

Practicar y Apoyándose en el simulador JFlap o VAS ejecutar y validar por lo

El autómata de pila puede reconocer palabras del alfabeto de entrada

Por estado final:

Por vaciado de pila:

Gráficamente al iniciar la secuencia:

Al recorrer la cadena se pasa al estado q3.

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

4. Identifique su gramática (de forma manual) por la derecha y caracterícela. Debe

El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

Procedimiento Realice de manera detallada el procedimiento paso

R, estado inicial {q0} estado final{q2,q4,q8}

S=q0 (Estado Inicial).

---q0, q3, q6 {Son equivalente}

Resultado del Agregue aquí la imagen del autómata minimizado

Notación En este espacio agrega la notación formal del

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

1. En la minimización del autómata en la primera validación, como estados equivalentes

Justificación: De acuerdo a los estados aceptadores y no aceptadores X y Y,

2. Los nombres de los conjuntos que se manejan después de la primera validación de

Justificación: después de validar los primeros resultados con X y Y, con estados

3. En la tabla de transición final como resultado de la minimización del autómata:

Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y

Alfonseca, C., Alfonseca, M., Mariyón, S. (2009). Teoría de autómatas y lenguajes

Alemán. H. [Helena]. (2017, Junio 19). Conceptualización de automáta [Archivo de

También podría gustarte