AUTOMATAS Y LENGUAJES FORMALES

Fase 3

Modelar problemas de Lenguajes Independientes del Contexto.

Presentado por:

DERLY CORONADO

Presentado a:

JHEIMER JULIAN SEPULVEDA

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA
ECBTI
SAN JOSE DEL FRAGUA
2019
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 Realice de manera detallada el procedimiento paso a paso

de de la minimización del autómata.
minimización
- Paso 1… la quíntupla

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

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

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

∑ = {0, 1} (Alfabeto)

𝑆 = {𝑞0} (Estado inicial)

𝐹 = {𝑞2, 𝑞4, 𝑞8} (Estado final)

- Paso 2… Paso 2: transiciones

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

Viene dada por:

 𝛿(𝑞0,0) = 𝑞3
𝛿(𝑞0,1) = 𝑞1
𝛿(𝑞1,0) = 𝑞2
𝛿(𝑞1,1) = 𝑞1
𝛿(𝑞2,0) = 𝑞4
𝛿(𝑞2,1) = 𝑞5
𝛿(𝑞3,0) = 𝑞0
𝛿(𝑞3,1) = 𝑞1
𝛿(𝑞4,0) = 𝑞4
𝛿(𝑞4,1) = 𝑞8
𝛿(𝑞5,0) = 𝑞2
𝛿(𝑞5,1) = 𝑞8
𝛿(𝑞6,0) = 𝑞7
𝛿(𝑞6,1) = 𝑞2
𝛿(𝑞7,0) = 𝑞8
𝛿(𝑞7,1) = 𝑞3
𝛿(𝑞8,0) = 𝑞7
𝛿(𝑞8,1) = 𝑞4

- Paso 3… Conjuntos

X= {q2, q4,q8} ( estados aceptadores)

Y= {q0, q1, q3, q5, q6, q7}. (no aceptadores)

-paso 4… Validación de información de conjunto x

Estados 0 1
q2 x y
q4 x x
q8 y x

Paso 5: Validando información del conjunto y

Estados 0 1
q0 y y
q1 x y Son
q3 y y equivalentes
Son
q5 x x
equivalentes
q6 y y
q7 x y
Paso 5.. Generando nuevos conjuntos

A = {q2}
B= {q4}
C= {q8}
M= {q0,q3,q6}
N= {q1,q7}
Z={q5}

Paso 7: Validación del conjunto A.

Estados 0 1
q2 B Z
Paso 8: Validación del conjunto B.

Estados 0 1
q4 B C

Paso 9: Validación del conjunto C.

Estados 0 1
q8 N B

Paso 10: Validación del conjunto M.

Estados 0 1
q0 M N Son
q3 M N equivalente
q6 N M s

Paso 11: Validación del conjunto N.

Estados 0 1
q1 A N
q7 C M
Paso 12: Validación del conjunto O.

Estados 0 1
q5 A C

Paso 13: Crear nuevos conjuntos y escoger equivalentes.

𝐴 = {𝑞2}, 𝐵 = {𝑞4}, 𝐶 = {𝑞8}, 𝑃 = { q0, q3}, Q = {q6}, R = {q1}, S
= {q7}, Z = {q5}

Paso 14: Validamos A

Estados 0 1
q2 B Z

Paso 15: Validamos B

Estados 0 1
q4 B C

Paso 16: Validamos C

Estados 0 1
q8 S B

Paso 17: Validamos P

Estados 0 1
q0 P R Son
q3 P R equivalentes

Paso 18: Validamos Q

Estados 0 1
q6 S P

Paso 18: Validamos R

Estados 0 1
q1 A R

Paso 19: Validamos S

Estados 0 1
q7 C P

Paso 20: Validamos O

Estados 0 1
 q5 A C

Paso 21. Tabla de transición de estados finales.

Estados 0 1
P P R
#A B Z
#B B C
#C S B
Q S P
R A R
S C P
Z A C
Resultado del Agregue aquí la imagen del autómata minimizado
Autómata
minimizado

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

formal
Formalmente, un autómata finito es una 5-tupla
(𝑄, ∑, 𝑞0, 𝜎, 𝐹)

𝑄 = {𝐴, 𝐵, 𝐶, 𝑃 , 𝑄, 𝑅, 𝑆, 𝑍 }𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑓𝑖𝑛𝑖𝑡𝑜 𝑑𝑒 𝑒𝑠𝑡𝑎𝑑𝑜𝑠

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

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

𝛿 (𝑃, 0) = 𝑃 𝛿 (𝑃, 1) = 𝑃
𝛿 (𝐴, 0) = 𝐵 𝛿 (𝐴, 1) = 𝑍
𝛿 (𝐵, 0) = 𝐵 𝛿 (𝐵, 1) = 𝐶
𝛿 (𝐶, 0) = 𝑆 𝛿 (𝐶, 1) = 𝐵
𝛿 (𝑄, 0) = 𝑆 𝛿 (𝑄, 1) = 𝑃
𝛿 (𝑅, 0) = 𝐴 𝛿 (𝑅, 1) = 𝑅
𝛿 (𝑆, 0) = 𝐶 𝛿 (𝑆, 1) = 𝑃
𝛿 (𝑍, 0) = 𝐴 𝛿 (𝑍, 1) = 𝐶
Lenguaje En este espacio agrega el lenguaje regular del autómata.
Regular

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.

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

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