Ejercicio 3

Realice la minimización paso a paso del autómata finito determinista.

Para iniciar a minimizar nuestro eliminación y nuestro autómata quedaría

autómata, lo primero que debemos hacer de la siguiente manera:
es identificar si existen estados no
accesibles, es decir, desde el estado inicial
q0 encontrar todas las rutas posibles de
aceptación q4, q6.
.

Para verificar si el autómata resultado de

la eliminación de los estados no accesibles
se puede minimizar aún más; procedemos
a utilizar el método de conjuntos donde los
conjuntos iniciales son:
Conjunto de estado de aceptación
𝑌 = { 𝑞3, 𝑞4 }
Conjunto de estados de no aceptación
𝑋 = { 𝑞0, 𝑞2 }
A continuación procedemos a realizar la
tabla de transiciones de los conjuntos X y
Y.

X (No
Y (Aceptación)
De acuerdo a la identificación realizada aceptación)
de los estados accesibles y no accesibles Estado 1 0 Estado 1 0
del autómata, podemos concluir que los q0 Y X q4 -- --
estados q1, q5 y q2 son estados no q3 X Y q6 -- --
accesibles; es así que procedemos a su
 De los conjuntos anteriores podemos
determinar que podemos dividir el
conjunto X en dos conjuntos y el conjunto
Y quedaría igual, toda vez que estos
estados no generan salidas con el alfabeto.
Lo nuevos conjuntos quedarían así:
X (No W (No
aceptación) aceptación)
Estado 1 0 Estado 1 0
q0 Y W q3 W Y

Y (Aceptación)

Estado 1 0
q4 -- --
q6 -- --

Después de realizar la división y sus

tablas de transición, observamos que ya no
podemos subdividir en más conjuntos
nuestros estados creados; por lo tanto solo
nos queda construir el diagrama de nuestro
autómata minimizado el cual quedara así: