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 Registre aquí el Ejercicio a trabajar. Por favor agregue la imagen

TRABAJAR

Caracterización En este espacio se realiza:

del autómata a - Mediante la definición formal explicar las características del autómata
pila
Un autómata a pila es una séptupla:

AP= (Σ, Γ, Q, A0, q0, f, F)

𝜮: 𝑎, 𝑏

𝜞: 𝑍𝑜, 𝜆

𝑸: 𝑞0, 𝑞1, 𝑞2

𝑨𝟎: 𝑍𝑜

𝒒𝟎: 𝑞0

𝑭: 𝑞2
f: función de transición.

ơ = (𝑞𝑜, 𝑎, 𝜆), (𝑞𝑜, 𝑎)

ơ = (𝑞𝑜, 𝑏, 𝜆), (𝑞𝑜, 𝑏)

ơ = (𝑞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

autómata con pila por pila vacía

Siendo
 : se puede llegar a través de P con 0
o más pasos.

el lenguaje aceptado por P por pila vacía

es
 el lenguaje aceptado por P por estado final es

Procedimiento Realice de manera detallada y grafica el procedimiento paso a paso del recorrido de
de paso a paso una cadena (La cadena la selecciona el estudiante, debe contener como mínimo 8
del recorrido caracteres) en el autómata a pila. Describir cómo funciona el almacenamiento en la
de una cadena pila, como funciona LIFO, etc.

Paso 1: Inicia en q0, con la pila Zo

a 𝜆

Control

q0, q1, q2
Zo

Paso 2: La cinta inicia y toma el valor de a

a 𝜆

Control

q0, q1, q2
Zo
Paso 3: El autómata ingresa el valor de “a” y no extrae nada

a 𝜆

Control
a
q0, q1, q2
Zo

Paso 4: El autómata, ante estas variables, se mueve al estado q1

a 𝜆

Control
a
q0, q1, q2
Zo

Paso 5: la representación matemáticas es ơ = (𝑞𝑜, 𝑎, 𝜆), (𝑞𝑜, 𝑎)

Paso 6: El autómata en el estado q1, tiene como ingreso en la cinta el valor de 𝜆

a 𝜆

Control
a
q0, q1, q2
Zo
 Paso 7: El autómata ingresa el valor de 𝜆 y no extraen nada

a 𝜆
𝜆
Control
a
q0, q1, q2
Zo

Paso 8: El autómata ante estas variables, se mueve al estado q2

a 𝜆
𝜆
Control
a
q0, q1, q2
Zo

Paso 9: Por tratarse de un estado de aceptación, el estado finaliza su trabajo

Practicar y Apoyándose en el simulador JFlap o VAS ejecutar y validar por lo menos cinco cadenas
verificar lo válidas y 5 cadenas rechadas por el autómata. En este espacio adjunta la imagen.
aprendido
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