Informatik An n log n Algorithm for Hyper-Minimizing States in a ( Minimized ) Deterministic Automaton