Definition Berechnbarkeitsbegriff
TODO: falsch <=> falsch etc
Berechenbar?
Weil Fallunterscheidung außerhalb des Algorithmus getroffen wird. Und ALgorithmus unbekannt sein darf.
Was besagt die Church’sche These?
Definition (Turing-Berechenbarkeit, Entscheidbarkeit)
Deterministische k.Band Turing-Maschine M
TODO Erläuterung
Mehrband-TM Äquivalenz
Last changed2 years ago
