Skip to content
GitLab
Explore
Sign in
Spot
Spot
Issues
#120
minimize_wdba() should be specialized for terminal automata
in particular, the call to
wdba_scc_is_accepting()
seems overkill