The word problem distinguishes counter languages
Abstract
Counter automata are more powerful versions of finite-state automata where addition and subtraction operations are permitted on a set of n integer registers, called counters. We show that the word problem of $\Z^n$ is accepted by a nondeterministic $m$-counter automaton if and only if $m \geq n$.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- June 2006
- DOI:
- arXiv:
- arXiv:math/0606415
- Bibcode:
- 2006math......6415C
- Keywords:
-
- Mathematics - Group Theory;
- 20F10;
- 68Q45
- E-Print:
- 8 pages