Language.HaLex.Minimize

Minimization

minimizeDfa

stdMinimizeDfa

minimizeExp

minimizeNdfa

Reversing Automata

reverseDfa

reverseDfaAsDfa

reverseNdfa