• Alexandre Duret-Lutz's avatar
    degen: do not mark initial trivial SCCs as accepting · 6e8170e3
    Alexandre Duret-Lutz authored
    Doing so is not wrong, but it's superfluous, and the extra accepting
    state will cause additional work in emptiness checks based on NDFS.
    Report from Jan Strejček.
    
    * src/tgbaalgos/degen.cc: Here.
    * src/tgbatest/degenid.test: Add a test case.
    6e8170e3
degen.cc 16.7 KB