Abstract
The following results are shown :
-
(1)
The class of languages accepted by the one-way nondeterministic simple k-head finite automata ℒ(NSPk-HFA) is not closed under concatenation for any k≥2.
-
(2)
The class Uk ℒ(NSPk-HFA) is closed under concatenation.
-
(3)
The class of languages recognized by one-way k-head deterministic finite state automata ℒ(1DFA(k)) and the class of languages recognized by one-way k-head deterministic sensing finite state automata ℒ(1DSeFA(k)) are not closed under concatenation, Kleene star and reversal.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
K. Inoue, I. Takanami, A. Nakamura and T. Ae, One-Way Simple Multihead Finite Automata, Theoret. Comput. Sci. 9 (1979), 311–328.
O. H. Ibarra, A Note On Semilinear Sets And Bounded-Reversal Multihead Pushdown Automata, Information Processing Lett. 3 (1974), 25–28.
O. H. Ibarra, S.K. Sahni and C.E. Kim, Finite Automata with Multiplication, Theoret. Comput. Sci. 2 (1976), 271–294.
O. H. Ibarra and C. E. Kim, A Useful Device For Showing The Solvability Of Some Decision Problems, J. Comput. System. Sci. 13 (1976), 153–160.
T.F. Piatkowski, N — head finite state machines, Ph. D. Dissertation, University of Michigan 1963.
A. I. Rosenberg, On multihead finite automata, IBM J. R. and D. 10 (1966), 388–394.
A. L. Rosenberg, Nonwriting extensions of finite automata, Ph. D. Dissertation, Harward University (1965).
R. W. Floyd, Review 14, 353 of above paper by Rosenberg, Computing Review 9 (1968), 280.
I. H. Sudborough, One-way multihead writing finite automata, Information and Control 30 (1976), 1–20.
J. Hromkovic, Closure properties of the family of languages recognized by one-way two-head deterministic finite state automata, in Proceedings of the 10th International Symposium MFC`S81, Lecture Notes in Computer Science 118, Springer Verlag 1981, 304–313.
A. C. Yao and R. L. Rivest, K+1 heads are better then K, Journal of ACM 25 (1978), 337–340.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ďuriš, P., Hromkovič, J. (1982). Multihead finite state automata am concatenation. In: Nielsen, M., Schmidt, E.M. (eds) Automata, Languages and Programming. ICALP 1982. Lecture Notes in Computer Science, vol 140. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0012767
Download citation
DOI: https://doi.org/10.1007/BFb0012767
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11576-2
Online ISBN: 978-3-540-39308-5
eBook Packages: Springer Book Archive