Summary
We define a language L and show that it can be recognized by no two-way nondeterministic sensing multihead finite automaton with n a reversal bound, where n is the length of input words, and 1/3>a>0 is a real number. Since L is recognized by a two-way deterministic two-head finite automaton working in linear time we obtain, for two-way finite automata, that time, reading heads, and nondeterminism as resources cannot compensate for the reversal number restriction.
Similar content being viewed by others
References
Chan, T.: Reversal Complexity of Counter Machines. Proc. 13th Ann. ACM Symp. on Theory of Computing, Milwaukee, 146–157 (1981)
Ďuris, P., Galil, Z.: Fooling a Two-Way Automaton or One Pushdown Store is better than One Counter for Two-Way machines. Theor. Comput. Sci. 21, 39–53 (1982)
Ďuris, P., Galil, Z.: On reversal-bounded counter machines and on pushdown automata with a bound on the size of the pushdown store. Inf. Control 54, 217–227 (1982)
Ďuris, P., Galil, Z.: A time-space tradeoff for language recognition. Math. Syst. Theory 17, 3–12 (1984)
Ďuris, P., Hromkovič, J.: Multihead finite state automata and concatenation. Proc. 9th ICALP; Lect. Notes Comput. Sci., vol. 140, pp. 176–186. Berlin-Heidelberg-New York: Springer 1982
Hromkovič, J.: On the power of alternation in finite automata. Proc. 11th MFCS; Lect. Notes Comput. Sci., vol. 176, pp. 312–321. Berlin-Heidelberg-New York-Tokyo: Springer 1984
Hromkovič, J.: One-way multihead deterministic finite automata. Acta Inf. 19, 377–384 (1983)
Ibarra, O.H., Gurari, E.M.: Two-way counter machine and Diophantine equations. Techn. Rep. 80–17, University of Minnesota: Computer Science Department 1980
Janiga, L.: Real time computations on two-way multihead finite automata. Proc. FCT '79, pp. 214–218. Berlin: Akademie 1979
Rivest, R.L., Yao, A.C.: k+1 heads are better than k. J. ACM 25, (2) 337–340 (1978)
Author information
Authors and Affiliations
Additional information
This work was supported as a part of the SPZV I-1-5/8 grant
Rights and permissions
About this article
Cite this article
Hromkovič, J. Fooling a two-way nondeterministic multihead automaton with reversal number restriction. Acta Informatica 22, 589–594 (1985). https://doi.org/10.1007/BF00267046
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00267046