Three write heads are as good ask

Nondeterministic one-wayk-head writing finite automata are investigated. It is shown that 3-head automata with one read-write head followed by two read-only heads are as powerful as any multihead automaton. Furthermore, a new way to detect a coincidence of heads is introduced, which has as a consequence that it makes no difference, whether the heads make stationary moves ore-moves.

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

[2]  I. HAL SUDBOROUGH One-Way Multihead Writing Finite Automata , 1976, Inf. Control..

[3]  Arnold L. Rosenberg On multi-head finite automata , 1965, SWCT.

[4]  Oscar H. Ibarra,et al.  On 3-head versus 2-head finite automata , 1975, Acta Informatica.

[5]  Franz-Josef Brandenburg,et al.  Multiple Equality Sets and Post Machines , 1980, J. Comput. Syst. Sci..

[6]  Arnold L. Rosenberg,et al.  Real-Time Simulation of Multihead Tape Units , 1972, JACM.

[7]  Oscar H. Ibarra,et al.  Multi-Tape and Multi-Head Pushdown Automata , 1968, Inf. Control..