AUTOMATAS Y LENGUAJES FORMALES

GRUPO: 301405_20

FASE 2

CONOCER FORMALISMO USADOS PARA DEFINIR LENGUAJES FORMALES

JAMES FABIAN LOPEZ MANJARRES

CÓDIGO: 1121869087

No. DE GRUPO: 301405_20

ING. ROLANDO FABIAN JUNCO

DOCENTE TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

AUTOMATAS Y LENUAJES FORMALES
VILLAVICENCIO (META)
10 DE MAYO 2019
 AUTOMATAS Y LENGUAJES FORMALES
GRUPO: 301405_20

DESARROLLO ACTIVIDAD

EJERCICIO A
TRABAJAR

Procedimiento
de
minimización Paso 1. Identificar estados aceptadores y no aceptadores
𝑋 = {𝑞2 , 𝑞4 , 𝑞8 } Aceptadores
𝑌 = {𝑞0 , 𝑞1 , 𝑞3 , 𝑞5 , 𝑞6 , 𝑞7 } No aceptadores

Se busca grupos homogéneos en x

𝑋 = {𝑞2 , 𝑞4 , 𝑞8 }

X 0 1

𝑞2 X Y

𝑞4 X X

𝑞8 Y X
 AUTOMATAS Y LENGUAJES FORMALES
GRUPO: 301405_20

Se desglosan tres conjuntos

𝐼 = {𝑞2 },
𝑋 = {𝑞4 },
𝐽 = {𝑞8 }

Se busca grupos homogéneos en y

Y 0 1

𝑞0 Y Y

𝑞1 X Y

𝑞3 Y Y

𝑞5 X J

𝑞6 Y Y

𝑞7 X Y

Se desglosan tres conjuntos

𝐾 = {𝑞0 , 𝑞3 , 𝑞6 }
𝑌 = {𝑞1 , 𝑞7 },
𝐿 = {𝑞5 }

Se valida cada conjunto

X 0 1 K 0 1

𝑞4 X J 𝑞0 K Y

𝑞3 K Y

𝑞6 Y K
 AUTOMATAS Y LENGUAJES FORMALES
GRUPO: 301405_20

I 0 1 Y 0 1

𝑞2 X L 𝑞1 I Y

𝑞7 J K

J 0 1 L 0 1

𝑞8 Y X 𝑞5 I J

De K se desglosan dos conjuntos

𝐾 = {𝑞0 , 𝑞3 }
𝑁 = {𝑞6 }
De Y se desglosan dos conjuntos
𝑌 = {𝑞1 }
𝑀 = {𝑞7 }
Se valida cada conjunto

X 0 1 K 0 1

𝑞4 X J 𝑞0 K Y

𝑞3 K Y

I 0 1 N 0 1

𝑞2 X L 𝑞6 M K
 AUTOMATAS Y LENGUAJES FORMALES
GRUPO: 301405_20

J 0 1 Y 0 1

𝑞8 M X 𝑞1 I Y

M 0 1

𝑞7 J K

L 0 1

𝑞5 I J

TABLA DE TRANSICIÓN

𝐼 = {𝑞2 }, 0 1
𝑋 = {𝑞4 }, I X L
𝐽 = {𝑞8 } X X J
𝐾 = {𝑞0 , 𝑞3 } J M X
𝑁 = {𝑞6 } K K Y
𝑌 = {𝑞1 } N M K
𝑀 = {𝑞7 } Y I Y
𝐿 = {𝑞5 } M J K
L I J
 AUTOMATAS Y LENGUAJES FORMALES
GRUPO: 301405_20

Resultado del
Autómata
minimizado

Notación A={Q,∑,δ,q0,F}
formal
Q={K,N,M,J,L,X,I,Y}

∑={0,1}

q0={K}

F={I,J,X}
D->A
Lenguaje 0*11*0(10)*
Regular

D->C
0*11*0(10)*11

D->B
0*11*000*(11)*

D->C
0*11*000*(11)*1(00)*

D->A
0*11*0(10)*11+0*11*000*(11)*(00)*
 AUTOMATAS Y LENGUAJES FORMALES
GRUPO: 301405_20
L(A) = 0*11*0[(10)*|(10)*11|00*(11)*+00*(11)*1(00)*+(10)*11+00*(11)*(00)*]

Gramática del 𝑆 → 0𝐶
autómata 𝑆 → 1𝐴

𝐴 → 0𝐵

𝐺 → 1𝐶

𝐷→𝜆

𝐵 → 1𝐸

𝐸 → 0𝐵

𝐹 → 1𝐶

𝐵 → 0𝐷

𝐻→ 𝜆

𝐺 → 0𝐻

𝐻 → 0𝐺

𝐷 → 0𝐷

𝐵→𝜆

𝐴 → 1𝐴

𝐹 → 0𝐺

𝐶 → 1𝐴

𝐶 → 0𝑆

𝐸 → 1𝐻

𝐷 → 1𝐻

𝐻 → 1𝐷
 AUTOMATAS Y LENGUAJES FORMALES
GRUPO: 301405_20

REFERENCIAS

Para realizar este trabajo, se consultaron las siguientes referencias bibliográficas:

 González, A. [Ángela] (2017, mayo 16). Minimización de un autómata. [Archivo

de video]. Recuperado de https://youtu.be/eOynYG8Ibk0

 Millán, J., Antonio J. (2009). Compiladores y procesadores de lenguajes. (pp. 28-

62). Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.action?docID=10844
351
 Ferrando, J.C., and Gregori, V. (2012). Matemática discreta (2a. ed.). (pp. 207-232).
Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=260&do
cID=10751543&tm=1481476339478
 Alemán. H. [Helena]. (2017, Junio 19). Conceptualización de automáta [Archivo de
video]. Recuperado
de https://www.youtube.com/watch?v=zMhwYlXAHE4&index=6&list=PLYIk_3
YB0nVyiNMAdrCPgiv0EoSHZtNto
 Alemán. H. [Helena]. (2018, mayo 23). Expresión Regular [Archivo de video].
Recuperado de https://youtu.be/65B5QUNHfaM
 González, A. [Ángela]. (2016, mayo 30). Conversión de Autómata Finito No
Determinista a Autómata Finito Determinista [Archivo de video]. Recuperado
de https://www.youtube.com/watch?v=29Qp_AWXFt4
 González, A. [Ángela]. (2016, mayo 30). Conversión de Autómata Finito No
Determinista a Autómata Finito Determinista con transiciones vacías – Método 1.
[Archivo de video]. Recuperado
dehttps://www.youtube.com/watch?v=NF47BSorRfU