Um den Satz von Rice anwenden zu können, sehen wir uns verschiedene Eigenschaften von Turingmaschinen (DTMs) an und besprechen für jede dieser Eigenschaften, ob sie semantisch und ob sie trivial ist. Der Satz von Rice kann nämlich nur angewendet werden für Eigenschaften, die semantisch und nicht-trivial sind.
- Күн бұрын
Berechenbarkeit #35 - Semantische und nicht-triviale Eigenschaften
- Рет қаралды 11,418
Пікірлер: 21