AUTOMATAS Y LENGUAJES FORMALES

UNIDAD DOS
Fase 3 - Modelar problemas de Lenguajes Independientes del Contexto.

Presentado a:
Angela Maria Gonzalez
Tutor(a)

Entregado por:

Andres Felipe Rendon Rodriguez

Código: 1121938372

Grupo: 301405_65

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS BÁSICAS, INGENIERÍAS Y TECNOLOGÍAS
CURSO DE ECUACIONES DIFERENCIALES

OCTUBRE
2019
 EJERCICIOS DE LA FASE 3
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
TRABAJAR

Caracterizac El autómata visualizado en la imagen es un autómata finito

ión del determinista porque con cualquier símbolo del alfabeto leído, solo
autómata a existe una transición de estado posible.
pila
Cuadro Comparativo
AP vaciado de pila AP Por estado Final
Siendo: Si existe un AP P que reconoce un lenguaje por estado
𝑃 = (𝑄, Σ, Γ, 𝛿, 𝑞0, 𝑧0 ) final, entonces existe otro AP P' que reconoce el mismo
lenguaje por pila vacía:

Th Si existe un AP que reconoce un lenguaje

por pila vacía, entonces existe otro AP que
reconoce el mismo lenguaje por estado final:

Traducción pila vacía estado final

Sea un AP que acepta por pila vacía

entonces diseñamos
 que acepta por estado final las mismas cadenas

que por pila vacía

 Nuevo estado inicial: añadir un nuevo

símbolo a la pila

 Procesar como si estuviéramos en

 Si llegamos a tener en la cima: ha

vaciado su pila debemos

aceptar transición a

El lenguaje aceptado por P por

pila vacía es: 𝑁(𝑃) =
{𝑤|(𝑞0 , 𝑤, 𝑧0 ) ⊢∗ 𝑝(𝑞, 𝜆, 𝜆)}

Observaciones:
 Al reconocer por pila
vacía, la pila se queda
vacía por completo, sin
𝑧0
 Antes de diseñar un AP,
hay que decir si queremos
que acepte por estado
final o por pila vacía,
pues el AP
deberá ser distinto.
Procedimien Paso 1: Se deposita al final de la pila el valor de fondo de pila (Z)
to de paso a
paso del
recorrido de
una cadena

Paso 2: El autómata lee el primer valor de la cadena ingresada,

desapilando la Z de su pila y apilando A.

Paso 3: El segundo valor de la cadena es leído dando la instrucción

de desapilar A y apilar B.
Paso 4: El tercer valor de la cadena es leído, desapilando B y en su
lugar apilando AB
Paso 5: El autómata lee el próximo valor de la cadena: 𝑎, 𝑍; 𝐴, pero al
no haber el valor fondo de pila Z, el autómata procede a leer el
siguiente valor de la cadena ingresada 𝑎, 𝐴; 𝐵 siendo la instrucción
cargada en este valor Desapilar A y apilar el Valor B.

Paso 6: El autómata pasa al estado q1, leyendo el valor b siguiendo

su instrucción de desapilar B y no apilando ningún valor a la pila.
 Paso 7: El autómata lee el ultimo valor de la cadena, siguiendo la
instrucción de desapilar b y no apilar ningún valor en la pila,
dejándola finalmente vacía.

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

TRABAJAR imagen

Procedimiento de Realice de manera detallada el procedimiento paso a paso de la

minimización minimización del autómata.

Paso 1: Determinar la quíntupla:

5 − 𝑇𝑈𝑃𝐿𝐴 (𝑘, ∑ , 𝛿 , 𝑆, 𝐹)
Donde

𝑴 = {𝑞0, 𝑞1, 𝑞2, 𝑞3, 𝑞4, 𝑞5, 𝑞6, 𝑞7, 𝑞8}, {𝑎, 𝑏},
𝛿, 𝑞0, {𝑞3, 𝑞4}

𝑲 = {𝑞0, 𝑞1, 𝑞2, 𝑞3, 𝑞4, 𝑞5} (Estados)

∑ = {𝑎, 𝑏} (Alfabeto)

𝑆 = {𝑞0} (Estado inicial)

𝐹 = {𝑞3, 𝑞4} (Estado final)

Paso 2: transiciones

Dónde la función 𝛿 = {𝑞0, 𝑞1, 𝑞2, 𝑞3, 𝑞4, 𝑞5} 𝑥 {𝑎, 𝑏} →

{𝑞0, 𝑞1, 𝑞2, 𝑞3, 𝑞4, 𝑞5}

Viene dada por:

𝛿(𝑞0, 𝑎) = 𝑞1
𝛿(𝑞0, 𝑏) = 𝑞5
𝛿(𝑞1, 𝑎) = 𝑞4
𝛿(𝑞1, 𝑏) =
𝛿(𝑞2, 𝑎) = 𝑞0
𝛿(𝑞2, 𝑏) = 𝑞3
𝛿(𝑞3, 𝑎) = 𝑞2
𝛿(𝑞3, 𝑏) = 𝑞4
𝛿(𝑞4, 𝑎) = −
𝛿(𝑞4, 𝑏) = 𝑞1
𝛿(𝑞5, 𝑎) = 𝑞4
𝛿(𝑞5, 𝑏) = 𝑞5

Paso 3: Conjuntos

X= {q3, q4} (estados aceptadores)

Y= {q0, q1, q2, q5,}. (no aceptadores)

Paso 4: Validación de información de conjunto x

Estados a b
q3 y x
q4 y
Paso 5: Validando información del conjunto y

Estados a b
q0 y y
q1 x
q2 y x
q5 x y

Paso 6: Generando nuevos conjuntos

A = {q3}
B= {q4}
M= {q1}
N= {q5}
O= {q0}
Z= {q2}

Paso 7: Validación del conjunto A.

Estados a b
q3 Z B
Paso 8: Validación del conjunto B.

Estados a b
q4 M

Paso 9: Validación del conjunto M.

Estados a b
q1 B

Paso 10: Validación del conjunto N.

Estados a b
q5 B N
 Paso 11: Validación del conjunto O.

Estados a b
q0 M N

Paso 12: Validación del conjunto Z.

Estados a b
q2 N A

Paso 13: Tabla de transición de estados finales.

Estados a b
O M N
#A Z B
B M
M B
N B N
Z N A
Resultado del Agregue aquí la imagen del autómata minimizado
Autómata
minimizado

Notación formal En este espacio agrega la notación formal del autómata.

Formalmente, un autómata finito es una 5-tupla

 (𝑄, ∑, 𝑞0, 𝜎, 𝐹)

𝑄 = {𝐴, 𝐵, 𝑀, 𝑁, 𝑂, 𝑍 }𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑓𝑖𝑛𝑖𝑡𝑜 𝑑𝑒 𝑒𝑠𝑡𝑎𝑑𝑜𝑠

∑ = {𝑎, 𝑏 } 𝑎𝑙𝑓𝑎𝑏𝑒𝑡𝑜
𝑞0 ∈ 𝑄 = {𝑂 } 𝑒𝑠𝑡𝑎𝑑𝑜 𝑖𝑛𝑖𝑐𝑖𝑎𝑙
𝐹 ⊆ 𝑄 = { 𝐴, 𝐵} 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑑𝑒 𝑒𝑠𝑡𝑎𝑑𝑜𝑠 𝑓𝑖𝑛𝑎𝑙𝑒𝑠 𝑜 𝑑𝑒 𝑎𝑐𝑒𝑝𝑡𝑎𝑐𝑖ó𝑛.

𝛿: 𝑄𝑥 ∑ → 𝑄 = 𝑒𝑠 𝑢𝑛𝑎 𝑓𝑢𝑛𝑐𝑖ó𝑛 𝑑𝑒 𝑡𝑟𝑎𝑛𝑠𝑖𝑐𝑖ó𝑛

𝛿 (𝑂, 𝑎) = 𝑀 𝛿 (𝑂, 𝑏) = 𝑁
𝛿 (𝐴, 𝑎) = 𝑍 𝛿 (𝐴, 𝑏) = 𝐵
𝛿 (𝐵, 𝑎) = 𝛿 (𝐵, 𝑏) = 𝑀
𝛿 (𝑀, 𝑎) = 𝐵 𝛿 (𝑀, 𝑎) =
𝛿 (𝑁, 𝑎) = 𝐵 𝛿 (𝑁, 𝑏) = 𝑁
𝛿 (𝑂, 𝑎) = 𝑀 𝛿 (𝑂, 𝑏) = 𝑁
𝛿 (𝑍, 𝑎) = 𝑁 𝛿 (𝑍, 𝑏) = 𝐴

Lenguaje Regular En este espacio agrega el lenguaje regular del autómata.

Gramática del En este espacio agrega la gramática del autómata. Identifique

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

DESARROLLO A LAS PREGUNTAS

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

// Ninguna de las anteriores, este ejercicio no tiene estados equivalentes.

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

// Con los valores a y b El estado B realiza su transición a ningún estado con a puesto
a que no recibe este valor y al estado M con b.