Hopcroft's algorithm

Etymology
Introduced by Hopcroft in 1971.

Proper noun

 * 1)  An algorithm for merging the non-distinguishable states of a deterministic finite-state automaton, based on partitioning the states into groups by their behaviour.