Efficient Minimization of DFAs with Partial Transition.

Antti Valmari, Petri Lehtinen

Browse the full STACS paper archive.