%0 Journal Article %A Badr, Andrew %A Geffert, Viliam %A Shipman, Ian %T Hyper-minimizing minimized deterministic finite state automata %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2009 %P 69-94 %V 43 %N 1 %I EDP-Sciences %U http://www.numdam.org/articles/10.1051/ita:2007061/ %R 10.1051/ita:2007061 %G en %F ITA_2009__43_1_69_0