minimize_wdba() should have improved detection of terminal automata in its output
But this should not be done at the cost of computing another SCC decomposition. Can it be done inside minimize_dfa()
?
But this should not be done at the cost of computing another SCC decomposition. Can it be done inside minimize_dfa()
?