Minimizar un Automata Finito Determinista

🤖 Minimización de Autómata Finito Determinista (AFD)

Algoritmo de partición de estados equivalentes (Método de Hopcroft)

📖 Algoritmo de Minimización

La minimización de un AFD consiste en encontrar un autómata equivalente con el menor número de estados posible. El algoritmo funciona identificando y combinando estados equivalentes.

Pasos del algoritmo:

1. Partición inicial: Separar estados finales y no finales
2. Refinamiento: Dividir particiones cuando estados tengan transiciones a particiones diferentes
3. Iteración: Repetir hasta que no haya más divisiones posibles
4. Construcción: Cada partición final representa un estado del AFD mínimo

Estados equivalentes: Dos estados son equivalentes si para toda cadena de entrada, ambos llevan a estados finales o ambos a estados no finales.

📚 Ejemplos Predefinidos

📝 Definición del AFD

Estados (separados por comas):

Ejemplo: q0, q1, q2, q3

Alfabeto (símbolos separados por comas):

Ejemplo: a, b o 0, 1

Estado inicial:

Estados finales (separados por comas):

✨ Resultado de la Minimización