EJERCICIOS DE LA FASE 2

ACTIVIDAD INDIVIDUAL

POR:

DIANA MARISOL BOJACA

UNIVERSIDAD NACIONAL ABIERTA YA DISTANCIA UNAD

CEAD GACHETÁ
OCTUBRE DE 2018
 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
Mi cedula termina el 9 por lo cual debo trabajar el ejercicio 1.
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

EJERCICIO A 6. Ejercicio 1
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
La definición formal de autómatas finitos deterministas AFD es
cuando se utiliza terminología matemática en vez de gráficos,
decimos que se trata de una notación formal.

Q={q0 y q1}
q0 estado inicial
∑= {a,b,λ}
F={q1}
𝛿(a, λ:a)=q0
𝛿(b,a:λ)=q1
𝛿(b,a:λ)=q1

Definición formal:
A=(Q, ∑, 𝛿, q0, F)

- 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.
 AP por vaciado de pila AP por estado final

LAPV  LAPF LAPF  LAPV

Sea AP= (, , Q, A0, q0, f, F) un
autómata a pila y LV(AP) el
lenguaje aceptado (por vaciado
de pila) de este autómata.
Construimos AP’= (, {B},
Q{s,r}, B, s, f’, {r}), con B y
s,rQ, donde f’ esta definido
por:
f’(s,,B)={(q0,A0B)}
f’(q,a,A)=f(q,a,A) para
todo qQ, a{} y A
f’(q,,B)= {(r, )} para todo qQ
Se puede mostrar que
LV(AP)=LF(AP’). Por tanto se
verifica que LAPV  LAPF.
De LAPF  LAPV y LAPV  LAPF se
sigue que LAPV = LAPF, lo que
demuestra el teorema.
Sea AP= (, , Q, A0, q0, f, F) un
autómata a pila y LF(AP) el
lenguaje aceptado (por estado
final) de este autómata.
Construimos AP’= (, {B},
Q{s,r}, B, s, f’, ), con B y
s,rQ, donde f’ esta definido
por:
f’(s,,B)={(q0,A0B)}
f’(q,a,A)=f(q,a,A)
para todo qQ, qF, a{} y
A f’(q,a,A)=f(q,a,A) para
todo qF, a y A
f’(q,,A)=f(q,,A) {(r, )} para
todo qF y A
f’(q,,B)= {(r, )} para todo qF
f’(r,,A)= {(r, )} para todo
A{B}

Se puede mostrar que

LF(AP)=LV(AP’).

Por tanto se verifica que LAPF 

LAPV.

Procedimiento Realice de manera detallada y grafica el procedimiento paso a

de paso a paso paso del recorrido de una cadena (La cadena la selecciona el
del recorrido estudiante, debe contener como mínimo 8 caracteres) en el
de una cadena 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

DESARROLLO DEL EJERCICIO

Teniendo en cuenta que mi número de cedula termina en 9

La cadena ingresada al autómata es: aaaabbbb

Gráfico

Para una transición:

F (q, a, A) = {(q0, Z1), (q0, Z2), (q0, Z3), (q0, Z4), (q0,
Z5), (q1, Z4), (q1,Z3), (q1, Z2), (q1, Z1), }
Z1=Z
Z2=aZ
Z3=aaZ
Z4=aaaZ
Z5=aaaaZ

- Paso 1: cuando el autómata se encuentra en el estado q0,

lee el símbolo de entrada a y tiene el símbolo Z0 en la cima de
la pila.

- Paso 2: El autómata sigue en el estado q0, eliminará el

símbolo Z0 de la pila e introducirá en ella la palabra Z1,
quedando la cabeza de Z1 en la cima de la pila.
 - Paso 3: El autómata sigue en el estado q0, eliminará la
palabra Z1 de la pila e introducirá en ella la palabra Z2,
quedando la cabeza de Z2 en la cima de la pila.

- Paso 4: El autómata sigue en el estado q0, eliminará la

palabra Z2 de la pila e introducirá en ella la palabra Z3,
quedando la cabeza de Z3 en la cima de la pila.

- Paso 5: El autómata sigue en el estado q0, eliminará la

palabra Z3 de la pila e introducirá en ella la palabra Z4,
quedando la cabeza de Z4 en la cima de la pila.

- Paso 6: El autómata sigue en el estado q0, eliminará la

palabra Z4 de la pila e introducirá en ella la palabra Z5,
quedando la cabeza de Z5 en la cima de la pila.

- Paso 7: El autómata pasará a estado q1, eliminará la palabra

Z5 de la pila e introducirá en ella la palabra Z4, quedando la
cabeza de Z4 en la cima de la pila.

- Paso 8: El autómata sigue en estado q1, eliminará la palabra

Z4 de la pila e introducirá en ella la palabra Z3, quedando la
cabeza de Z3 en la cima de la pila.

- Paso 9: El autómata sigue en estado q1, eliminará la palabra

Z3 de la pila e introducirá en ella la palabra Z2, quedando la
cabeza de Z2 en la cima de la pila.

- Paso 10: El autómata sigue en estado q1, eliminará la

palabra Z2 de la pila e introducirá en ella la palabra Z1,
quedando la cabeza de Z1 en la cima de la pila

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

verificar lo lo menos cinco cadenas válidas y 5 cadenas rechazadas por el
aprendido autómata. En este espacio adjunta la imagen.
 Se procede a ingresar 5 cadenas válidas y 5 cadenas
rechazadas

DESARROLLO TRABAJO GRUPAL

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.
Procedemos a construir la tabla de transiciones

1 0
->q0 q1 y q3 y
q1 q1y q2 x
*q2 q5 y q4x
q3 q1 y q0y
*q4 q8x q4x
q5 q8x q2x
q6 q3y q7y
q7 q3y q8x
*q8 q4x q7y

- Paso 2. Determinamos los estados de aceptación

y no aceptación

Estados de aceptación:

X= {q2, q4, q8}

Estados de no aceptación:

Y={ q0, q1, q3, q5, q6, q7}

-Paso 3. Construimos las tablas para los nuevos

conjuntos.

1 0
*q2 Y X
*q4 X X
*q8 X Y

1 0
q0 Y Y
q1 Y X
q3 Y Y
q5 X X
q6 Y Y
q7 Y X

Paso 4 Organizamos por tipo de variación teniendo

en cuenta los estados de aceptación y estados de
no aceptación
*U={q2}

1 0
q2 y x

*V={q8}

1 0
q8 x y

*X={q4}
1 0
q4 x x

W= {q0,q3,q6}
1 0
q0 y y
q3 y y
q6 y y

Y={q1,q7}
1 0
q1 y x
q7 y x

Z={q5}

1 0
q5 x X

Paso 5 Reorganizamos la tabla y obtenemos la

nueva tabla de transición

1 0
->W Y W
Y Y U
*U Z X
W Y W
*X V X
 Z V U
W W Y
Y W V
*V X Y

Paso 6. Tendríamos 6 estados para el diseño del

autómata, por lo que establecemos las siguientes
equivalencias.
->W=q0
*U=q1
*V=q2
*X=q3
Y=q4
Z=q5

Paso 7. Teniendo en cuenta la tabla con los 6

estados y las nuevas equivalencias tenemos
1 0
->q0 q4 q0
q4 q4 q1
*q1 q5 q3
q0 q4 q0
*q3 q2 q3
q5 q2 q1
q0 q0 q4
q4 q0 q2
*q2 q3 q4
Resultado del
Autómata
minimizado
Notación Notación formal del autómata.
formal
Q={q0, q1, q2, q3, q4, q5}

q0 estado inicial
∑= {1,0}
F={q1, q2, q3}

Transiciones
𝛿(𝑞0,0) = 𝑞0
𝛿(𝑞0,1) = 𝑞0
𝛿(𝑞0,1) = 𝑞4
𝛿(𝑞0,0) = 𝑞4
𝛿(𝑞1,0) = 𝑞3
𝛿(𝑞1,1) = 𝑞5
𝛿(𝑞2,1) = 𝑞3
𝛿(𝑞2,0) = 𝑞4
𝛿(𝑞3,0) = 𝑞3
𝛿(𝑞3,1) = 𝑞2
𝛿(𝑞4,1) = 𝑞4
𝛿(𝑞4,1) = 𝑞0
𝛿(𝑞4,0) = 𝑞1
𝛿(𝑞4,0) = 𝑞2
𝛿(𝑞5,0) = 𝑞1
𝛿(𝑞5,1) = 𝑞2

Definición formal:
A=(Q, ∑, 𝛿, q0, F)

Lenguaje Lenguaje regular del autómata.

Regular ∑*= {1,0, 10, 01, 100, 110, 111, 011, 001, 000...}

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.
Para el autómata

El alfabeto que reconoce está constituido por el

alfabeto {1,0} por lo tanto reconoce el lenguaje
(1+0)*10
La gramática del autómata está constituida por:
𝑞0 → 0𝑞0|1𝑞4|0𝑞4|0
𝑞4 → 1𝑞4|0
𝑞5 → 1