Meaning of multicounter | Babel Free

Definitions

Involving more than one counter.

not-comparable

Examples

“Surprisingly, the complexity of the problem explodes when we add one binary symbol more: C2 with one linear order and in the presence of other binary predicate symbols is equivalent, under elementary reductions, to the emptiness problem for multicounter automata.”

CEFR level