Storage modification machines
In 1970 the author introduced a new machine model (cf. ) now called storage modification machine (SMM) and posed the intuitive thesis that (among all models of an atomistic nature) this model possesses extreme flexibility. In the meantime some progress has been made in comparing SMMs with other machine models by investigating the possibility of real time reductions. Here we give a survey of our present knowledge of SMMs.
We briefly explain the notion of Δ-structures (which serve as storage devices), the instruction set of an SMM, the related successor RAM model and its real time equivalence to the SMM model. Then we discuss the relationship between SMMs and Kolmogorov Uspenskii machines (KUM) introduced in . In spite of the obvious similarities KUMs are different from SMMs; they are certainly not stronger but perhaps weaker than SMMs.
- A.V. Aho, J.E. Hopcroft and J.D. Ullman, The Design and Analysis of Computer Algorithms (Addison-Wesley, Reading, MA, 1974).Google Scholar
- A. Church, An Unsolvable Problem of Elementary Number Theory, Amer. J. Math. 58 (1936) 345–363.Google Scholar
- D.Yu. Grigoryev, Kolmogorov algorithms are stronger than Turing machines, in: Matijasevič, Slisenko, eds., Investigations in constructive mathematics and mathematical logic VII (Russian; Izdat. Nauka, Leningrad, 1976) 29–37.Google Scholar
- J.E. Hopcroft, W.J. Paul and L.G. Valiant, On time versus space and related problems, Proc. 16th Ann. IEEE Symp. Foundations Comp. Sci., Berkeley (1975) 57–64.Google Scholar
- D.E. Knuth, The Art of Computer Programming vol. 2, Seminumerical Algorithms (2nd ed., Addison-Wesley, Reading, MA, 1971)Google Scholar
- D.E. Knuth, The Art of Computer Programming, vol. 3, Sorting and Searching (Addison-Wesley, Reading, MA, 1973).Google Scholar
- A.N. Kolmogorov and V.A. Uspenskii, On the definition of an algorithm, Uspehi Mat. Nauk 13 (1958) 3–28; AMS Transl. 2nd ser. vol. 29 (1963) 217–245.Google Scholar
- M.V. Kubinec, Recognition of the self-intersection of a plane trajectory by Kolmogorov's algorithm, in: Matijasevič, Slisenko, eds., Investigations in constructive mathematics and mathematical logic V (Russian; Izdat. Nauka, Leningrad, 1972) 35–44.Google Scholar
- W.J. Paul, Komplexitätstheorie (Teubner, Stuttgart, 1978).Google Scholar
- C.P. Schnorr, Rekursive Funktionen und ihre Komplexität (Teubner, Stuttgart, 1974).Google Scholar
- A. Schönhage, Universelle Turing Speicherung, in: Dörr, Hotz, eds., Automatentheorie und Formale Sprachen (Bibliogr. Institut, Mannheim, 1970) 369–383.Google Scholar
- A. Schönhage, Real-time simulation of multidimensional Turing machines by storage modification machines, Technical Memorandum 37, M.I.T. Project MAC, Cambridge, MA (1973).Google Scholar
- A. Schönhage and V. Strassen, Schnelle Multiplikation großer Zahlen, Computing 7 (1971) 281–292.Google Scholar