3.7.21. Automaton with array of counters

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