Skip to content

randaut: add a --colored option

This should produce automata in which every transition (or every state when using state-based acceptance) belong to exactly one acceptance set.

--colored should report an error if no acceptance sets have been defined.