AUTOMATAS Y LENGUAJES FORMALES

Unidad 2- Fase 3 – Modelar Problemas de lenguajes independientes del

contexto

PRESENTADO POR:

LEIDY TATIANA SANCHEZ AREVALO

Código: 1110544973

CARLOS ALBERTO BENAVIDES

Código: 80728408

TUTOR:
ROLANDO FABIAN JUNCO

GRUPO: 301405_4
INGENIERIA DE SISTEMAS
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
MAYO 2019
BOGOTÁ D.C
EJERCICIO A TRABAJAR

Procedimiento de minimización Paso 1: sacamos la 5-tupla (𝑘, ∑, 𝛿, 𝑠, 𝑓)

M= {q0, q1, q2, q3, q4, q5}, {a, b}
𝛿= q0, {q0, q1}
K= {q0, q1, q2, q3, q4, q5}
∑ = {a, b}
S= q0
F= q0, q1

Paso 2: transición
Paso 3: Eliminación de conjuntos

X= {q0, q1} Aceptadores

Y= {q2, q3, q4, q5} No Aceptadores

a b
q2 x y
q3 x y
q4 x y
q5 y y

a b
q0 x
q1 x x
Tomamos los valores equivalentes y no
equivalentes
Paso 4: sacamos 3 conjuntos diferentes

X= {q0, q1}
M= {q2, q3, q4}
Z= {q5}

M a b
q2 x m
q3 x m
q4 x z

z a b
Q5 m m
 x a b
q0 x
q1 x x

Validamos los equivalentes y no

equivalentes.
Paso 5: Se divide en dos grupos y
desaparece M tendríamos:

X= {q0, q1}
Z= {q5}
C= {q2, q3}
D= {q4}

X a b
q0 x
q1 x x

Z a b
q5 c d

C a b
q2 x c
q3 x c

D a b
q4 x z

Terminada la minimización
Paso 6: se realiza la tabla de transición

a b
X X X
Z C D
C X C
D X Z

Paso 7: se realiza el autómata con base

en la tabla anterior y obtenemos el
resultado del autómata.
Resultado del Autómata minimizado

Notación formal En este espacio agrega la notación formal

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

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

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.