3.7.23. Automaton with counters

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