3.7.22. Automaton with array of counters

A constraint for which the catalogue provides a deterministic automaton with array of counters and possibly with counters.