multicounter
形容词 adj.
英文释义
形容词 adj.
-
Involving more than one counter.
— 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.
词源
From multi- + counter.
0 次浏览
数据来源: Wiktionary