Complexity of multi-head finite automata: Origins and directions

  title={Complexity of multi-head finite automata: Origins and directions},
  author={Markus Holzer and Martin Kutrib and Andreas Malcher},
  journal={Theor. Comput. Sci.},
Multi-head finite automata were introduced and first investigated by Rabin and Scott in 1964 and Rosenberg in 1966. Since that time, a vast literature on computational and descriptional complexity issues on multi-head finite automata documenting the importance of these devices has been developed. Although multi-head finite automata are a simple concept, their computational behavior can be already very complex and leads to undecidable or even non-semi-decidable problems on these devices such as… CONTINUE READING