Skip to main content
Log in

Eine einfache universelle Turingmaschine in ALGOL 60 Simulation

A simple universal Turingmachine in ALGOL 60 simulation

  • Published:
Computing Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Literatur

  1. Curtis, M. W.: A Turing-Machine Simulator. Journal of the ACM12, 1–13 (1965).

    Google Scholar 

  2. Feldmann, H.: Simulierung von Turingmaschinen in ALGOL 60. Technische Mitteilungen AEG-Telefunken: Beihefte zur Datenverarbeitung1, 1971.

  3. Harvard Computation Laboratory: A Universal Turing machine. Report BL-34, October 1963.

  4. Hasenjaeger, G.: Ein elektromechanisches Simulationsmodell für eine universelle Turingmaschine. Seminar für Logik und Grundlagenforschung an der Universität Bonn (ca. 1966).

  5. Hopcroft, J. E., andJ. D. Ullman: Formal languages and their relation to automata, pp. 102–108. Reading, Mass.: Addison-Wesley. 1969.

    Google Scholar 

  6. 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).

  7. Schmid, E.: Simulation von Turingmaschinen auf dem Rechenautomaten ER 56 im Maschinencode. Institut für Instrumentelle Mathematik und Universitäts-rechenzentrum Stuttgart (1962).

Download references

Author information

Authors and Affiliations

Authors

Additional information

Mit 4 Abbildungen

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02234106

Navigation