3.7.22. Automaton with counters

A constraint for which the catalogue provides a deterministic automaton with counters but without array of counters.