3.7.165. Non-deterministic automaton

A constraint for which the catalogue provides a non-deterministic automaton without counters and without array of counters. For the mentioned constraints it turn out that non-determinism is due to the fact that we introduce transitions labelled by the potential values of a counting variable to a single accepting state (i.e., see FiguresΒ 5.23.5, 5.61.5, andΒ 5.355.4).