moores_algorithm (307B)
1 # Moore's algorithm 2 3 https://fr.wikipedia.org/wiki/Algorithme_de_Moore_de_minimisation_d%27un_automate_fini 4 5 Constructs [myhill_nerode_equivalence] by successive refinement from the partition of states into [final_states] and [nonfinal_states] 6 7 Up: [minimization_automaton] 8 9 See also: [hopcrofts_algorithm]