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:

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

TRABAJAR

Caracterización En este espacio se realiza:

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

pila autómata

𝐴𝑃 = (𝑄, 𝛴, 𝛤, 𝑓, 𝑞0 , 𝑧0 , 𝐹)

Q = {q0, q1} Estados

𝝨 = {a, b} Alfabeto

Γ = {z0, Z, A, B, λ} Alfabeto Pila

f = {} Función Transición

q0 = {q0} Estado Inicial

z0 = {Z} Símbolo Inicial

F = {q1} Estados Finales

- Realizar un cuadro comparativo de la Equivalencia entre AP por

vaciado de pila y AP por estado final.

El conjunto de lenguajes aceptados por estado final por los

autómatas a pila LAPF es igual que el conjunto de lenguajes
aceptados por vaciado por pila de los autómatas a pila LAPV
LAPF ⊆ LAPV LAPV ⊆ LAPF

Sea AP= (Σ, Γ, Q, A0, q0, f, F) Sea AP= (Σ, Γ, Q, A0, q0, f,
un autómata a pila y LF(AP) el F) un autómata a pila y

LV(AP) el
lenguaje aceptado (por estado

final) de este autómata. lenguaje aceptado (por

vaciado de pila) de este

Construimos AP’= (Σ, Γ∪{B},
autómata.
Q∪{s,r}, B, s, f’, ∅), con B∉Γ

Construimos AP’= (Σ,

y s,r∉Q, donde f’ esta definido
Γ∪{B}, Q∪{s,r}, B, s, f’,
por:
{r}), con B∉Γ

f’(s,λ,B)={(q0,A0B)}
y s,r∉Q, donde f’ esta

f’(q,a,A)=f(q,a,A) para todo definido por:

q∈Q, q∉F, a∈Σ∪{λ} y A∈Γ

f’(s,λ,B)={(q0,A0B)}

f’(q,a,A)=f(q,a,A) para todo

f’(q,a,A)=f(q,a,A) para todo
q∈F, a∈Σ y A∈Γ
q∈Q, a∈Σ∪{λ} y A∈Γ

f’(q,λ,A)=f(q,λ,A) ∪{(r, λ)}

f’(q,λ,B)= {(r, λ)} para todo
para todo q∈F y A∈Γ
q∈Q

f’(q,λ,B)= {(r, λ)} para todo

Se puede mostrar que
q∈F
LV(AP)=LF(AP’). Por

f’(r,λ,A)= {(r, λ)} para todo tanto se verifica que

A∈Γ∪{B}
 Se puede mostrar que LAPV ⊆ LAPF.

LF(AP)=LV(AP’). Por tanto se

De LAPF ⊆ LAPV y LAPV
verifica que
⊆ LAPF se sigue que

LAPF ⊆ LAPV. LAPV = LAPF, lo que

demuestra el teorema.

Procedimiento Realice de manera detallada y grafica el procedimiento paso a paso

de paso a paso del recorrido de una cadena (La cadena la selecciona el estudiante,

del recorrido de debe contener como mínimo 8 caracteres) en el autómata a pila.

una cadena Describir cómo funciona el almacenamiento en la pila, como

funciona LIFO, etc.

- Paso 1

Selecciono la cadena de entrada: {aaaabbbb}

- Paso 2

El autómata a pila comienza en el estado q0 con la transición a, Z ; A

,extrae Z e inserta A en la cima de la pila.

.

El autómata a pila continua en el estado q0, lee la siguiente transición

a, A ; AA ,extrae una A e inserta AA en la cima de la pila.

El autómata a pila continua en el estado q0, lee la siguiente transición

a, A ; AA ,extrae una A e inserta AA en la cima de la pila.

El autómata a pila continua en el estado q0, lee la siguiente transición

a, A ; AA ,extrae una A e inserta AA en la cima de la pila

El autómata a pila continua en el estado q0, lee la siguiente transición

b, A ; B ,extrae una A e inserta B en la cima de la pila y después pasa

a estado q1.
El autómata a pila continua en el estado q1, lee la siguiente transición

b, B ; λ ,extrae una B e inserta λ en la cima de la pila.

El autómata a pila continua en el estado q1, lee la siguiente transición

b, A ; B ,extrae una A e inserta B en la cima de la pila.

El autómata a pila continua en el estado q1, lee la siguiente transición

b, B ; λ ,extrae una B e inserta λ en la cima de la pila.

- Paso 3

Función Transición
Practicar y Apoyándose en el simulador JFlap o VAS ejecutar y validar por lo

verificar lo menos 5 cadenas válidas y 5 cadenas rechazadas por el autómata.

aprendido Cadenas Validas

Cadenas rechazadas
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
REFERENCIAS BIBLIOGRAFICAS

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

web]. Recuperado

dehttp://hdl.handle.net/10596/18317

CK-12, (2014). Connecting Science and Mathematics to Engineering. [OVI]. Recuperado

de: http://www.ck12.org/book/Eng

ineering%3A-An-Introduction-for-

High-School/section/5.3/

Hernández, R. (2010). Practique la teoría de autómatas y lenguajes formales. (pp. 1 -124).

Recuperado

dehttp://bibliotecavirtual.unad.edu.c

o:2077/lib/unadsp/reader.action?doc

ID=10566114&ppg=10