Está en la página 1de 27

EJERCICIOS DE LA FASE 2

ACTIVIDAD INDIVIDUAL

POR:

FREDY JOVANNY JURADO


DIANA MARISOL BOJACA
ANDRES RENE VARGAS
LUISA FERNANDA MOJICA
JENNY MARCELA SOPHO

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
EJERCICIOS INDIVIDUALES
Estudiante: Diana Marisol Bojacá
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 1. 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 q1 q2}
q0 estado inicial
∑= {a,b,}
Γ = {λ} es el alfabeto de la pila
A0 ∈ Γ = {a, b}
F ⊆ Q= estados finales

Definición formal:

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


Representaremos con: (a, b,...) los elementos de Σ (A, B, C..)
los de Γ (x, y, z,...) los de Σ* (X, Y, Z,...) los de Γ* La
interpretación de f es: a) f(q, a, A) = {(q1, Z1), (q2, Z2),...
(qn, Zn)}

b) f (q, λ, A) = {(q1, Z1), (q2, Z2),... (qn, Zn)} cuando el


autómata se encuentra en el estado q, y tiene el símbolo A en
la cima de la pila; el autómata pasará a algún estado qi
(recordar que es no determinista), 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.

- 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

(AP) = { x | (q0, x, (AP) = { x | (q0, x,


A0) ├* (p, λ, λ) con A0) ├* (p, λ, λ) con
p∈Q} p∈Q}

Procedimiento Realice de manera detallada y grafica el procedimiento paso a


de paso a paso del recorrido de una cadena (La cadena la selecciona el
paso del estudiante, debe contener como mínimo 8 caracteres) en el
recorrido de autómata a pila. Describir cómo funciona el almacenamiento
una cadena en la pila, como funciona LIFO, etc.
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
Estudiante: Jenny Marcela Sopho

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


TRABAJAR agregue la imagen

Caracterización En este espacio se realiza:


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

7-Tupla

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

1. Σ= {a, b}
2. Γ = {A, B, AB, Z }
3. Q = {q0, q1}
4. A0 = ʎ
5. q0 ∈ Q = q0
6. F ⊆ Q = { q1}
7. f = función de transición

δ= (q0, a, Z), (q0, A)

δ= (q0, a, A), (q0, B)

δ= (q0, a, B), (q0, AB)

δ= (q0, b, B), (q1, ʎ)

δ= (q1, b, B), (q1, ʎ)

- Realizar un cuadro comparativo de la


Equivalencia entre AP por vaciado de pila y AP
por estado final

Dos autómata a pila (por vaciado de pila o por estado final),


AP1 y AP2, son equivalentes, si aceptan el mismo lenguaje,
es decir, si L(AP1)=L(AP2).

Teorema: 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.
Método de demostración:

1. LAPF ⊆ LAPV

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.

2. LAPV ⊆ LAPF

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.

Procedimiento Realice de manera detallada y grafica el


de paso a paso procedimiento paso a paso del recorrido de una
del recorrido cadena (La cadena la selecciona el estudiante,
de una cadena debe contener como mínimo 8 caracteres) en el
autómata a pila. Describir cómo funciona el
(pendiente) 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


verificar lo validar por lo menos cinco cadenas válidas y 5
aprendido cadenas rechadas por el autómata. En este espacio
adjunta la imagen.
(pendiente)

//Basado en el OVA compartido por la tutora


Ángela, el pdf llamado “minimización”, realizo las
siguientes preguntas de control.

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

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

Estudiante: Luisa Fernanda Mojica


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

EJERCICIO A
TRABAJAR

Caracterizació En este espacio se realiza:


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

AP= ({ })
AP= ({ })

- 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.

Teorema

Equivalencia AP por Vaciado de Equivalencia AP por estado final


Pila

 

Un autómata a pila y (AP) el un autómata a pila y (AP) el lenguaje

lenguaje aceptado (por estado final) de aceptado (por vaciado de pila) de este
este autómata. autómata.
, con y , donde está , con y , donde está

definido por: definido por:

- -

- para todo - para todo

y , y

- para todo - para todo

- Se puede mostrar que

para todo y Por tanto, se verifica

- para todo que .

- para todo
Se muestra que Por

tanto, se verifica que .

De y se sigue que = , 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 debe contener como mínimo 8 caracteres) en el autómata a pila.
de una cadena 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 autómata.
aprendido En este espacio adjunta la imagen.

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 q3
q1 q1 q2
*q2 q5 q4
q3 q1 q0
*q4 q8 q4
q5 q8 q2
q6 q3 q7
q7 q3 q8
*q8 q4 q7

- 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}


X
Y Y

Y
Y
X

Y Y
X

-Paso 3. Construimos las tablas para los nuevos


conjuntos.

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

Los estados de aceptación no son equivalentes

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

Se encuentra que en los estados de no aceptación


existen 3 conjuntos

 Son equivalentes q0, q3, q6


 Son equivalentes q1, q7
 No es equivalente q5
Paso 4 Organizamos por tipo de variación teniendo
en cuenta los estados de aceptación y estados de
no aceptación, los renombramos y validamos su
equivalencia:

A={*q2}
B={*q4}
C={*q8}

D={q0, q3, q6}


E={q1,q7}
F={q5}

D E A

B
D F

E C

A 0 1
*q2 B F

B 0 1
*q4 B C

C 0 1
*q8 E B

D 0 1
q0 D E
q3 D E
q6 E D
 Son equivalentes q0, q3
 No es equivalente q6

E 0 1
q1 A E
q7 C D

 No son equivalentes

F 0 1
q5 A C

Reorganizamos teniendo en cuenta las


equivalencias encontradas en el análisis anterior

A={*q2}
B={*q4}
C={*q8}
D={q0, q3}
E={q1}
F={q5}
G={q7}
H={q6}

D E A

B
D F

G C

H
A 0 1
*q2 B F

B 0 1
*q4 B C

C 0 1
*q8 G B

D 0 1
q0 D E
q3 D E

E 0 1
q1 A E

F 0 1
q5 A C

G 0 1
q7 C D

H 0 1
q6 G D

Paso 5 Reorganizamos la tabla y obtenemos la


nueva tabla de transición
0 1
*A B F
*B B C
*C G B
→D D E
E A E
F A C
G C D
H G D

Paso 6. Procedemos a graficar los estados.


Estado inicial y de no aceptación

D E F G H

Estados de aceptación

A B C

Resultado del
Autómata
minimizado

Notación Para establecer la notación del autómata definimos


formal las siguientes equivalencias
D=q0
E=q1
F=q2
G=q3
H=q4
A=q5
B=q6
C=q7

El autómata nos quedaría:


Notación formal del autómata.

Q={q0, q1, q2, q3, q4, q5, q6 ,q7}

q0 estado inicial
∑= {1,0}
F={q5, q6, q7}

Transiciones
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: