Summary
It is shown that the family of languages recognized by one-way k head deterministic finite state automata ℒ(1 DFA(k)) and the family of languages recognized by one-way k head deterministic sensing finite state automata ℒ(1DSeFA(k)) are not closed under concatenation, Kleene star and reversal for k≧2. These results are obtained as consequences of a theorem giving a sufficient condition for a language L in order not to be in ℒ(1DSeFA(k)). Several further results above the classes ℒ(1DFA(k)) and ℒ(1DSeFA(k)) are simple consequences of this theorem.
Similar content being viewed by others
References
Piatkowski, T.F.: N — head finite state machines. Ph.D. Dissertation, University of Michigan, 1963
Rosenberg, A.L.: On multihead finite automata. IBM J.R. and D. 10, 388–394 (1966)
Rosenberg, A.L.: Nonwriting extensions of finite automata. Ph.D. Dissertation, Harvard University, 1965
Floyd, R.W.: Review 14, 353 of above paper by Rosenberg. Comput. Rev. 9, 280 (1968)
Sudborough, I.H.: One-way multihead writing finite automata. Informat. Control 30, 1–20 (1976)
Yao, A.C., Rivest, R.L.: K + 1 heads are better than K. J. ACM 25, 337–340 (1978)
Ibarra, O.H., Kim, C.E.: On 3-head versus 2-head finite automata. Acta Informat. 4, 173–200 (1975)
Hromkovič, J.: Closure properties of the family of languages recognized by one-way two-head deterministic finite state automata. Proc. 10th. MFCS, Lecture Notes in Computer Science 118, pp. 304–313. Berlin, Heidelberg, New York: Springer, 1981
Author information
Authors and Affiliations
Additional information
This work was supported as a part of the SPZV. I-5-7/7 grant
Rights and permissions
About this article
Cite this article
Hromkovič, J. One-way multihead deterministic finite automata. Acta Informatica 19, 377–384 (1983). https://doi.org/10.1007/BF00290734
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00290734