Zusammenfassung
Es wird eine universelle Turingmaschine mit einem Band, 5 Zeichen, 28 Zuständen, nicht codiertem Universal-Programm und ohne Gödelisierung einfach codierten Spezial-Programmen angegeben. Dabei wird ein einfacher Aufbau angestrebt wie etwa bei der universellen Turingmaschine vonHopcroft, Ullman (1969) mit zwei Bändern, 12 Zeichen und 40 Zuständen, nicht aber lediglich eine Minimisierung des Produkts aus Zeichenzahl und Zustandszahl wie etwa beiMinsky (1962). Die universelle Turingmaschine wird zur Verdeutlichung ihrer Funktionsweise außerdem in ALGOL 60 simuliert.
Summary
This paper presents a universal Turingmachine with one tape, 5 symbols, 28 states, a not coded universal-program and simply coded special-programs without Gödelisation. We are aiming at a simple construction like that of the universal Turingmachine ofHopcroft, Ullman (1969), which has two tapes, 12 symbols and 40 states and not only at the minimisation of the product of numbers of symbols and states as done for instance byMinsky (1962). In addition the universal Turingmachine is simulated in ALGOL 60 for better interpretation.
Literatur
Curtis, M. W.: A Turing-Machine Simulator. Journal of the ACM12, 1–13 (1965).
Feldmann, H.: Simulierung von Turingmaschinen in ALGOL 60. Technische Mitteilungen AEG-Telefunken: Beihefte zur Datenverarbeitung1, 1971.
Harvard Computation Laboratory: A Universal Turing machine. Report BL-34, October 1963.
Hasenjaeger, G.: Ein elektromechanisches Simulationsmodell für eine universelle Turingmaschine. Seminar für Logik und Grundlagenforschung an der Universität Bonn (ca. 1966).
Hopcroft, J. E., andJ. D. Ullman: Formal languages and their relation to automata, pp. 102–108. Reading, Mass.: Addison-Wesley. 1969.
Minsky, M. L.: Size and structure of universal Turing machines using tag systems. Proc. Symposia in Applied Maths. 15. Am. Math. Soc. Rhode Island (1962).
Schmid, E.: Simulation von Turingmaschinen auf dem Rechenautomaten ER 56 im Maschinencode. Institut für Instrumentelle Mathematik und Universitäts-rechenzentrum Stuttgart (1962).
Author information
Authors and Affiliations
Additional information
Mit 4 Abbildungen
Rights and permissions
About this article
Cite this article
Feldmann, H., Oberquelle, H. & Ortlieb, C.P. Eine einfache universelle Turingmaschine in ALGOL 60 Simulation. Computing 8, 241–249 (1971). https://doi.org/10.1007/BF02234106
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02234106