Hyper-minimizing minimized deterministic finite state automata Andrew Badr, Viliam Geffert and Ian Shipman RAIRO-Theor. Inf. Appl., 43 1 (2009) 69-94 Published online: 20 December 2007 DOI: 10.1051/ita:2007061