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

1. Ejercicio 1 2. Ejercicio 2

3. Ejercicio 3 4. Ejercicio 4

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

EJERCICIO A 6. Ejercicio 3
TRABAJAR

Caracterizaci En este espacio se realiza:

ón del
autómata a Mediante la definición formal explicar las características del
pila autómata.

- Tenemos un autómata finito determinista a pila, ya que con la

misma cadena de entrada solo lleva a un mismo estado para las 6
diferentes entradas en los dos Estados.
- Σ: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.

Por tanto

- ∑ = 𝑎, 𝑏
- 𝛤= Z, A, B
- 𝑄 = {𝑞0 , 𝑞1 }
- A0 = {𝑎, 𝑧}
- q0 ∈ Q = 𝑞0
- F ⊆ Q = 𝑞1

Equivalencia de APF y APV

El conjunto de lenguajes aceptados por estado final por los autómatas a pila 𝐿𝐴𝑃𝐹 es
igual que el conjunto de lenguajes aceptados por vaciado por pila de los autómatas a
pila 𝐿𝐴𝑃𝑉 .
.
Autómata de Pila por Autómata de Pila por vaciado
estado final de pila
𝐿𝐴𝑃𝐹 ⊆ 𝐿𝐴𝑃𝑉 𝐿𝐴𝑃𝑉 ⊆ 𝐿𝐴𝑃𝐹

Sea 𝐴𝑃 = (𝛴, 𝛤, 𝑄, 𝐴0 , 𝑞0 , 𝑓, 𝐹) un Sea 𝐴𝑃 = (𝛴, 𝛤, 𝑄, 𝐴0 , 𝑞0 , 𝑓, 𝐹) un autómata

autómata a pila y 𝐿𝐹 (𝐴𝑃) el lenguaje
aceptado (por estado final) de este
autómata. Construimos 𝐴𝑃’ = (𝛴, 𝛤 ∪
{𝐵}, 𝑄 ∪ {𝑠, 𝑟}, 𝐵, 𝑠, 𝑓’, ∅), con 𝐵 ∉ 𝛤
y 𝑠, 𝑟 ∉ 𝑄, donde 𝑓’ esta definido por:
a pila y 𝐿𝑉 (𝐴𝑃) el lenguaje aceptado (por
vaciado de pila) de este autómata.
Construimos 𝐴𝑃’ = (𝛴, 𝛤 ∪ {𝐵}, 𝑄 ∪
{𝑠, 𝑟}, 𝐵, 𝑠, 𝑓’, {𝑟}), con 𝐵 ∉ 𝛤 y 𝑠, 𝑟 ∉ 𝑄,
donde 𝑓’ esta definido por:

𝑓’(𝑠, 𝜆, 𝐵) = {(𝑞0 , 𝐴0 𝐵)} 𝑓’(𝑠, 𝜆, 𝐵) = {(𝑞0 , 𝐴0 𝐵)}

𝑓’(𝑞, 𝑎, 𝐴) = 𝑓(𝑞, 𝑎, 𝐴) para todo 𝑞 ∈ 𝑓’(𝑞, 𝑎, 𝐴) = 𝑓(𝑞, 𝑎, 𝐴) para todo 𝑞 ∈ 𝑄, 𝑎 ∈
𝑄, 𝑞 ∉ 𝐹, 𝑎 ∈ 𝛴 ∪ {𝜆} 𝑦 𝐴 ∈ 𝛤 𝛴 ∪ {𝜆}𝑦 𝐴 ∈ 𝛤
𝑓’(𝑞, 𝑎, 𝐴) = 𝑓(𝑞, 𝑎, 𝐴) para todo 𝑞 ∈ 𝑓’(𝑞, 𝜆, 𝐵) = {(𝑟, 𝜆)} para todo 𝑞 ∈ 𝑄
𝐹, 𝑎 ∈ 𝛴 𝑦 𝐴 ∈ 𝛤
𝑓’(𝑞, 𝜆, 𝐴) = 𝑓(𝑞, 𝜆, 𝐴) ∪ {(𝑟, 𝜆)} para Se puede mostrar que 𝐿𝑉 (𝐴𝑃) = 𝐿𝐹 (𝐴𝑃’).
todo 𝑞 ∈ 𝐹 𝑦 𝐴 ∈ 𝛤 Por tanto se verifica que 𝐿𝐴𝑃𝑉 ⊆ 𝐿𝐴𝑃𝐹
𝑓’(𝑞, 𝜆, 𝐵) = {(𝑟, 𝜆)} para todo 𝑞 ∈ 𝐹
𝑓’(𝑟, 𝜆, 𝐴) = {(𝑟, 𝜆)} para todo 𝐴 ∈
𝛤 ∪ {𝐵}

Se puede mostrar que 𝐿𝐹 (𝐴𝑃) =

𝐿𝑉 (𝐴𝑃’). Por tanto se verifica que
𝐿𝐴𝑃𝐹 ⊆ 𝐿𝐴𝑃𝑉
De 𝐿𝐴𝑃𝐹 ⊆ 𝐿𝐴𝑃𝑉 y 𝐿𝐴𝑃𝑉 ⊆ 𝐿𝐴𝑃𝐹 se sigue que 𝐿𝐴𝑃𝑉 = 𝐿𝐴𝑃𝐹 , lo que demuestra el
teorema.
Procedimient Realice de manera detallada y grafica el procedimiento paso a paso
o de paso a del recorrido de una cadena (La cadena la selecciona el estudiante,
paso del debe contener como mínimo 8 caracteres) en el autómata a pila.
recorrido de Describir cómo funciona el almacenamiento en la pila, como
una cadena funciona LIFO, etc.

- Paso 1
Tenemos la siguiente grafica para la solución del autómata

Grafico
Cadena de entrada

q0
q1 z
Pila LIFO
Indicador del
estado

Adicional decimos que sea:

X = Símbolo de cadena de entrada
S = Símbolo que des-apila
T = Símbolo que apila
(x, s, t)

- Paso 2

Selección de la cadena. abb

Para la transición 1: iniciamos con la entrada a

1. (a, Z, A) = (q0, A)
 Grafico
Cadena de entrada
a

q0
q1 A
Pila LIFO
Indicador del
estado

Como se puede observar que el elemento z siempre está al inicio de

la pila, pero con la entrada a ingreso una z, esta la desapilo y se
apilo una A por tanto el nuevo punto en la Pila lifo es A en el estado
q0

a, Z; A b, B; 𝜆

a, A; AA b, A; B

b, A; B
q0 q1

- Paso 3

Selección de la cadena. abb

Para la transición2: seguimos con la segunda entrada b

1. (b, A, B) = (q1, B)
 Grafico
Cadena de entrada
a b

q0
q1 B
Pila LIFO
Indicador del
estado

con la entrada b ingreso una A y está desapilo la A que había en la

pila y se apilo una B por tanto el nuevo punto en la Pila lifo es B en
el estado q1

a, Z; A b, B; 𝜆

a, A; AA b, A; B

b, A; B
q0 q1

- Paso 4

Selección de la cadena. abb

Para la transición 3: seguimos con la tercera entrada b

1. (b, B; 𝜆) = (q1, ; 𝜆)
 Grafico
Cadena de entrada
a b b

q0
q1 𝜆
Pila LIFO
Indicador del
estado

con la entrada b ingreso una B y está desapilo la B que había en la

pila y se apilo una 𝝀 la cual es un conjunto vacío que en realidad la
pila quedaría vacía, en el estado final de aceptación q1

a, Z; A b, B; 𝜆

a, A; AA b, A; B

b, A; B
q0 q1

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 rechazadas por el
aprendido autómata. En este espacio adjunta la imagen.

Si lo hacemos con estado final:

 Si lo hacemos con pila vacío:

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
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
3. En la tabla de transición final como resultado de la minimización del autómata:

0 1
B ? ?

A. B,A
B. Z,N
C. Z,A
D. A,B
 Fuentes

http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitulo11.pdf

http://quegrande.org/apuntes/ETIS-USC/1/TALF1/teoria/07-08/tema_5_-_automatas_a_pila.pdf