Advertisement

Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit

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

Zusammenfassung

In Kap. 8 und 9 haben wir zwei alternative Modelle vorgestellt, die häufig zur Präzisierung der Berechenbarkeit herangezogen werden. Es zeigte sich, daß beide Ansätze — μ-rekursive Funktionen und Turing-Maschinen — zu derselben Berechnungsmächtigkeit wie die Registermaschine führen. Die Äquivalenz der Modelle untereinander legt es nahe, von der Betrachtung spezieller Modell überhaupt abzusehen und die Berechenbarkeit von einem abstrakteren Standpunkt aus zu erörtern.

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 GmbH Schloß BirlinghovenSankt AugustinDeutschland

Personalised recommendations