Summary
A direct proof is given that shows that (one-way) 3-head deterministic finite automata are computationally more powerful than 2-head finite automata.
Similar content being viewed by others
References
Ginsburg, S.: The Mathematical Theory of Context-Free Languages. New York: McGraw-Hill 1966
Harrison, M. A., Ibarra, O. H.: Multi-tape and multi-head pushdown automata. Information and Control 13, 433–470 (1968)
Rosenberg, A. L.: On multi-head finite automata. IBM J. R and D 10, 388–394 (1966)
Sudborough, I. H.: Computation by multi-head finite automata. IEEE Conf. Record of Twelfth Annual Symposium on Switching and Automata Theory, East Lansing (Mich.) 1971, p. 105–113
Sudborough, I. H.: Computation by multi-head writing finite automata. Pennsylvania State University, Ph. D. Thesis 1971
Author information
Authors and Affiliations
Additional information
This research was supported by the National Science Foundation Grant GJ-35614.
Rights and permissions
About this article
Cite this article
Ibarra, O.H., Kim, C.E. On 3-head versus 2-head finite automata. Acta Informatica 4, 193–200 (1975). https://doi.org/10.1007/BF00288748
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00288748