Complexity of multi-head finite automata: Origins and directions

@article{Holzer2011ComplexityOM,
  title={Complexity of multi-head finite automata: Origins and directions},
  author={Markus Holzer and Martin Kutrib and Andreas Malcher},
  journal={Theor. Comput. Sci.},
  year={2011},
  volume={412},
  pages={83-96}
}
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