Advertisement

Turing-Maschinen

  • Einar Smith
Part of the Springer-Lehrbuch book series (SLB)

Zusammenfassung

Die bisher betrachteten Berechnungsmodelle — Registermaschine und rekursive Funktionen — beziehen sich auf Zahlen in abstrakter Form, nicht auf spezifische Darstellungen. Im Unterschied hierzu stellen wir jetzt mit der Turing-Maschine l ein Modell vor, das explizit auf der Verarbeitung von Zeichenketten beruht. Es zeigt sich, daß auch dieser Ansatz zu demselben Begriff der Berechenbarkeit führt.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Einar Smith
    • 1
  1. 1.Institut für Algorithmen und Wissenschaftliches RechnenGMD — Forschungszentrum Informationstechnik GmbHSankt AugustinDeutschland

Personalised recommendations