[1] A. Grzegorczyk:
"Some classes of recursive functions". Rozprawy matematyczne, IV (1953), Warsaw.
MR 0060426 |
Zbl 0052.24902
[2] M. O. Rabin D. Scott:
"Finite automata and their decision problems". IBM J. Research and Development, 3, (1959) 114-125.
MR 0103795
[3] J. Myhill: "Linear bounded automata". WADD Tech. Note No. 60-165, Univ. of Pennsylvania Rept. No. 60-62 (1960).
[4] N. Chomsky:
"Three models for the description of language". IRE Trans. on Information Theory, IT-2, (1956) 113-124.
Zbl 0156.25401
[5] S. C. Kleene E. L. Post:
"The upper semi-lattice of degrees of recursive unsolvability". Ann. Math., 59, (1954) 379-407.
MR 0061078
[6] M. O. Rabin: "Speed of computation of functions and classification of recursive sets". Bull. Res. Counc. of Israel, vol. 8F, (1959) 69-70.
[7] H. Yamada: "Counting by a class of growing automata". PhD Thesis, Moore School of Elect. Eng., University of Pennsylvania (1960).
[7a] H. Yamada:
"Real time computation and recursive functions not real-time computable". IRE Trans. on Electronic Computers, EC-11 (1962) 753-760.
MR 0152161
[9] R. McNaughton:
"The theory of automata, a survey". Advances in Computers, vol. 2, 379-421, ed. F.L. Alt, Academic Press, New York 1961.
MR 0136487 |
Zbl 0133.09801
[10] J. Hartmanis R. E. Stearns:
"On the computational complexity of algorithms". Trans. Amer. Math. Soc. (in press).
MR 0170805
[11] J. Hartmanis R. E. Stearns: "Computational complexity of recursive sequences". Proc. of the Fifth Annual Symposium on Switching Circuit Theory and Logical Design, held at Princeton University, (1964) 82-90.
[12] J. Hartmanis P. M. Lewis II R. E. Stearns: "Classification of computations by time and memory requirements". Text of an invited paper read at the IFIP 65 Congress in New York, May 1965.
[14] B. A. Trachtenbrot:
"Turing computations with logarithmic delay". (in Russian). Algebra i logika 3 (1964), no 4, 33-48.
MR 0183645
[15] R. W. Ritchie:
"Classes of predictably computable functions". Trans. Am. Math. Soc., 106 (1963) 139-173.
MR 0158822 |
Zbl 0107.01001
[16] J. P. Cleave:
"A hierarchy of primitive recursive functions". Zeitschrift f. math. Logik und Grundlagen d. Math. 9 (1963) 331-345.
MR 0159754 |
Zbl 0124.00303
[17] M. Blum: "A machine-independent theory of complexity of recursive functions". PҺD Thesis, M.I.T., Departm. of Math. (1964).
[18] S. N. Cole:
"Real time computation by iterative arrays of finite state machines". PҺD Thesis, Computation Laboratory, Harvard University.
Zbl 0172.20804
[19] A. G. Vituškin: "Ocenka složnosti zadači tabulirovanija". Gosudarstvennoe izdateľstvo fiziko-matematičeskoj literatury, Moscow 1959.
[20] V. A. Uspenskij: „Lekcii o vyčislimych funkcijach". p. 470. Gosudarstvennoe izdateľstvo fiziko-matematičeskoj literatury, Moscow 1960.
[21] F. C. Hennie: „Iterative arrays of logical circuits". M. I. T. Press 1961.
[22] J. Holland: "Iterative circuit computers". Proc. Western Joint Computer Conf., pp. 259 - 265, San Francisco 1960.
[23] J. Bečvář: "Finite and combinatorial automata. Turing automata with a programming tape". Proc. of the IFIP congress 62, 391-394, North-Holland Publ. Co., Amsterdam 1963.
[24] N. Chomsky: "Context-free grammars and push-down storage". Quaгterly Progress Report No. 65, M.I.T., 187-194 (1962).
[25]
Oral communication.
[26] B. A. Trachtenbrot:
"Tabular representation of recursive operators". (in Russian). Doklady Akad. nauk SSSR, 101 (1955), 417-420.
MR 0081860
[27] F. C. Hennie:
"One-tape, off-line Turing machine computations". Information and Control (to be published). Reference from [12].
MR 0191769 |
Zbl 0231.02048
[28] A. V. Gladkij: "On the complexity of derivations in immediate constituents grammars". (In Russian). Algebra i logika 3 (1964), no 5 - 6, 29 - 44.