Abstract
It is shown that one way deterministic sensing two head finite automata are more powerful than one way deterministic two head finite automata. This result solves a 14 year old open problem [2]. The proof uses two new pumping lemmas.
This work was partially supported by NSF grant CCR-93-16209 and CISE Institutional Infrastructure Grant CDA-90-24735, and by EC cooperation Action IC 1000, ALTEC
Preview
Unable to display preview. Download preview PDF.
References
O.H. Ibarra, A note on semilinear sets and bounded-reversal multihead pushdown automata, Inform. Process. Lett. 3 (1974) 25–28.
K. Inoue, I. Takanami, A. Nakamura and T. Ae, One-way simple multihead finite automata, Theoret. Comput. Sci. 9 (1979) 311–328.
T. Jiang and M. Li, κ one-way heads cannot do string-matching, Proceedings 25th ACM Symp. on Theory of Computing, (1993) 62–70.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
ďuriš, P., Galil, Z. (1995). Sensing versus nonsensing automata. In: Fülöp, Z., Gécseg, F. (eds) Automata, Languages and Programming. ICALP 1995. Lecture Notes in Computer Science, vol 944. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60084-1_96
Download citation
DOI: https://doi.org/10.1007/3-540-60084-1_96
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60084-8
Online ISBN: 978-3-540-49425-6
eBook Packages: Springer Book Archive