Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
426083 | Information and Computation | 2013 | 20 Pages |
Abstract
On every n-long input, every two-way finite automaton (2fa) can reverse its input head O(n)O(n) times before halting. A 2fawith few reversals is an automaton where this number is only o(n)o(n). For every h, we exhibit a language that can be recognized by an h-state nondeterministic 2fa with few reversals, but requires Ω(2h)Ω(2h) states on every deterministic 2fa with few reversals.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Christos A. Kapoutsis,