论文信息 - On the Power of Real-Time Two-Way Multihead Finite Automata With Jumps

On the Power of Real-Time Two-Way Multihead Finite Automata With Jumps

Abstract We investigate the relative power of jumps, nondeterminism, and number of heads for real-time automata. Results include showing that jumps and power that cannot be compensated for by nondeterminism and more heads. We also show that k+1 heads are more powerful than k heads, even if the finite automaton is allowed head to head jumps.

Paul M. B. Vitányi | Walter J. Savitch

[1] Joel I. Seiferas,et al. New Real-Time Simulations of Multihead Tape Units , 1977, JACM.

[2] Ladislav Janiga. Real-time computations of two-way multihead finite automata , 1979, FCT.

[3] M. Rabin. Real time computation , 1963 .

[4] Paul M. B. Vitányi,et al. Linear Time Simulation of Multihead Turing Machines with Head-to-Head Jumps , 1977, ICALP.

[5] Arnold L. Rosenberg,et al. Real-Time Definable Languages , 1967, JACM.

[6] Andrew Chi-Chih Yao,et al. K + 1 heads are better than K , 1976, 17th Annual Symposium on Foundations of Computer Science (sfcs 1976).