5.1Berechenbarkeit und Turing-Maschinen

Modelle der Berechenbarkeit

Turing-Maschine und Lambda-Kalkül beschreiben dasselbe – die Church-Turing-These macht daraus den Begriff „berechenbar“.

Leitformel
Turing-Maschine≡λ-Kalku¨l\text{Turing-Maschine} \quad \equiv \quad \lambda\text{-Kalkül}
Turing-Maschine\text{Turing-Maschine}≡\equivλ-Kalku¨l\lambda\text{-Kalkül}
Lernziel

Die Church-Turing-These erläutern und entscheiden, welche Sprachen und Systeme Turing-vollständig sind.

Einheit wird geladen …