An nlogn algorithm for hyper-minimizing a (minimized) deterministic automaton | Publicación