Unidad 2: Fase 3 - Modelar problemas de Lenguajes Independientes del

Contexto.

Robinson Henao Ortiz

Código: 6106093

Tutor

JHEIMER JULIAN SEPULVEDA

Curso

Autómatas y Lenguajes Formales

301405_35

Universidad Nacional Abierta y a Distancia

Marzo de 2019
EJERCICIO A
TRABAJAR

Procedimiento Realice de manera detallada el procedimiento paso a

de paso de la minimización del autómata.
Minimización

ESTADO 0 1
q0 q3 q1
q1 q2 q1
q2 q4 q5
q3 q0 q1
q4 q4 q8
q5 q2 q8
q6 q7 q3
q7 q8 q3
q8 q7 q4

Paso 1.

Dividimos en dos clases inicialmente. Estados de

aceptación y estados de no aceptación.

𝑄
= [𝑋 = {𝑞2, 𝑞4, 𝑞8}, 𝑌 = {𝑞0, 𝑞1, 𝑞3, 𝑞5, 𝑞6, 𝑞7}]
𝐸0
Paso2: suponiendo que existan solamente X y Y

ESTADO 0 1
q2 X Y
q4 X X
q8 Y X

Cada uno son conjuntos distintos, Por tanto, X

desaparece y aparecen nuevos conjuntos
𝑄
= [𝑍 = {𝑞4}, 𝑌 = {𝑞0, 𝑞1, 𝑞3, 𝑞5, 𝑞6, 𝑞7}, 𝐴 = {𝑞2}, 𝐵 = {𝑞8}]
𝐸0

Paso3:

Y 0 1
q0 Y Y
q1 A Y
q3 Y Y
q5 A B
q6 Y Y
q7 B Y

q0, q3, y q6 son equivalentes, “Y” desaparece y

aparecen nuevos conjuntos Por tanto, ahora

𝑄
= [𝑍 = {𝑞4}, 𝐶 = {𝑞0, 𝑞3, 𝑞6}, 𝐴 = {𝑞2}, 𝐵 = {𝑞8}, 𝐷 = {𝑞1}, 𝐸
𝐸0
= {𝑞5}, 𝐹 = {𝑞7}]

C 0 1
q0 C D
q3 C D
q6 F C

q0 y q3 son equivalentes, “C” desaparece y aparecen los

conjuntos G y H , por tanto, ahora

𝑄
= [𝑍 = {𝑞4}, 𝐺 = {𝑞0, 𝑞3}, 𝐴 = {𝑞2}, 𝐵 = {𝑞8}, 𝐷 = {𝑞1}, 𝐸
𝐸0
= {𝑞5}, 𝐹 = {𝑞7}, 𝐻 = {𝑞6}]
 G 0 1
q0 G D
q3 G D

Finalmente tenemos la tabla de transición

TABLA DE TRANSICION
0 1
Z Z B
G G D
A Z E
B F Z
D A D
E A B
F G B
H F G

Resultado del
Autómata
Minimizado

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

Formal

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.