autfilt --acceptance-is=...
I'd like an easy way to filter automata by acceptance condition.
I'm thinking of something like
autfilt --acceptance-is=Buchi
autfilt --acceptance-is=parity odd
autfilt --acceptance-is=Fin-less
...
I'd like an easy way to filter automata by acceptance condition.
I'm thinking of something like
autfilt --acceptance-is=Buchi
autfilt --acceptance-is=parity odd
autfilt --acceptance-is=Fin-less
...