Skip to content

autfilt --stats=%[n]g

Currently, %g displays the acceptance formula, but we have no way to display the acceptance "name" (e.g. "parity odd even 7" instead of a huge formula) if it exists.

I suggest introducing

  • %[n]g to display the "full name" ("parity odd even 7" or "Rabin 4")
  • %[a]g to display just the acceptance name ("parity" or "Rabin")

I'd suggest to use "other N" for naming unknown acceptance conditions with N sets instead of the empty string.

This way, it's easier to use ... | autfilt -o '%[a]g' to bin automata in different files according to their acceptance.