The study of computational complexity is continued under the additional requirement that the Turing machines operate in real time. The work reported here is motivated by that of Rabin [I] which asks implicitly about the computational power of n tape vs. n+1 tape real time Turing machines and that of Hartmanis [2], who attempts a complexity measure for Turing machines in terms of reversals. The first result concerns itself with n tape real time Turing machines operating in a reversal bounded mode. A doubly infinite hierarchy (tapes-reversals) of classes of real time computable functions is shown to exist. The second result deals with n deterministic real time pushdown automata operating independently in parallel. It is shown that an increase in the number of pushdown automata operating in this manner always yields an increase in the computational power of the configuration.
[1]
Noam Chomsky,et al.
On Certain Formal Properties of Grammars
,
1959,
Inf. Control..
[2]
Richard Edwin Stearns,et al.
Hierarchies of memory limited computations
,
1965,
SWCT.
[3]
Manuel Blum,et al.
A Machine-Independent Theory of the Complexity of Recursive Functions
,
1967,
JACM.
[4]
Juris Hartmanis.
Tape-Reversal Bounded Turing Machine Computations
,
1968,
J. Comput. Syst. Sci..
[5]
Jeffrey D. Ullman,et al.
Formal languages and their relation to automata
,
1969,
Addison-Wesley series in computer science and information processing.
[6]
M. Rabin.
Real time computation
,
1963
.
[7]
J. Hartmanis,et al.
On the Computational Complexity of Algorithms
,
1965
.