The formulation above assumes that the constraints are described using a single automaton.
in some scenarios, it is more natural to impose multiple constraints by representing them as a set of automata.