An nlogn algorithm for minimizing the states in a nite-automaton (1971)

by J E Hopcroft
Venue:Theory of Machines and Computations