Skip to content

bogus acceptance simplification

This simplification seems incorrect. In the first automaton, the self-loop on state 0 is accepting (thanks to Fin(1)) but in the second it is rejecting.

% ltl2tgba -G -D 'FGa' | autfilt --complement

in

% ltl2tgba -G -D 'FGa' | autfilt --complement | autfilt --simplify-acceptance

out