EJERCICIO A Registre aquí el Ejercicio a trabajar.

Por favor agregue la imagen

TRABAJAR

Procedimiento de
minimización Realice de manera detallada el procedimiento paso a paso de la
minimización del autómata.

QUÍNTUPLA

5 Tupla (k, Σ, δ,s,f)

M={q0,q1,q2,q3,q4,q5} {a,b} δ q0 {q1}

K= {q0,q1,q2,q3,q4,q5} estados
Σ= {a,b} alfabeto
S= q0 estado inicial y final
F= q1 estado final

TRANSACCIONES

donde la función δ {q0,q1,q2,q3,q4,q5} x {a,b }

{q0,q1,q2,q3,q4,q5} viene dado por:

δ (q0,a)=q1
δ (q1,a)= q1
δ (q1,b)=q0
δ (q2,a)=q0
δ (q2,b)=q3
δ (q3,b)=q2
δ (q4,a)=q1
δ (q4,b)=q5
δ (q5,b)=q4
δ (q5,a)=q3
CONJUNTOS

X=q1 aceptador
Y= q0 {q2,q3,q4,q5} no aceptadores

Validación información del conjunto X

X={q1} validando valores de q1

Y= q0 {q2,q3,q4,q5}

validando q1 en la transacción b=q0

Σ={a,b}

a b
q1 x y

X={q1}
Y= {q0,q2,q3,q4,q5}

a b
q0 X
q2 Y Y
q3 Y
q4 X Y
q5 Y Y

generando nuevos conjuntos

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

validando conjunto M
a b
q0 x

validando conjunto Z
a b
q2 M N
q5 N M

Validando conjunto N
a b
q3 Z
validando conjunto W
a b
q4 X Z

VALIDANDO CONJUNTOS

validando conjunto M
a b
q0 x

validando conjunto A
a b
q2 M N

validando conjunto B
a b
q5 N M

Validando conjunto N
a b
q3 Z

validando conjunto W
a b
q4 X Z

validando conjunto X
a b
q1 X M

Creando Nueva Tabla

a b
M X
A M Y
B N Y
N Y
W X Y
#X X

M q0
A q2
B q5
 N q3
W 94
#X q1

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.

QUÍNTUPLA

5 Tupla (k, Σ, δ,s,f)

M={M,A,N,B,W,X}, {a,b} δ M,X

K= {M,A,N,B,W} estados
Σ= {a,b} alfabeto
S= M estado inicial y final
F= X estado final

TRANSACCIONES

donde la función δ {M,A,N,B,W,X} x {a,b }

{M,A,N,B,W,X} viene dado por:

δ (M,a)=X
δ (A,a)= M
δ (A,b)=N
δ (N,b)=A
δ (B,a)=N
δ (B,b)=W
δ (W,b)=B
δ (W,a)=X
δ (X,a)=X
δ (X,b)=M
Lenguaje Regular En este espacio agrega el lenguaje regular del autómata.

el espacio regular asociado es:

ER: (aa*)+(aa*baa*)*

por lo tanto el lenguaje reconocido por el autómata minimizado

es:
L={aa,aabaa}

el autómata planteado es un AFD reconoce las cadenas que inician

con (a) sin afectar el funcionamiento del autómata lo que implica
que reconoce el lenguaje.