Bugzilla – Bug 258
Turing-Acceptor-Quiz: Einfluß von "cut = .." ist unklar
Last modified: 2011-06-16 16:18:57 CEST
Wenn "cut" zu groß ist, dauert die Prüfung zu lange. Wenn "cut" zu klein ist, wird die Simulation zu früh abgebrochen (d. h. kein akzeptierender Zustand erreicht). Das sollte wenigstens in der Fehlermeldung als mögliche Ursache deutlich gemacht werden. (Der Student weiß dann, daß er sein Programm umschreiben sollte, so daß es weniger Schritte braucht.) Die Simulation ist eigentlich nur bei nicht-deterministischen Maschinen aufwendig, weil dann ein Berechnungsbaum erzeugt und verwaltet werden muß. Wenn das nicht explizit gewünscht ist, dann sollte der Tutor in der Aufgabenstellung Determinismus fordern (Turing.Property.Det) dann ist der Baum ein Pfad und dann kann man auch ohne Schaden länger simulieren.
Selbst bei deterministischen Maschinen kann das Rechnen lange dauern - und zwar das Ablehnen (d. h. nicht-akzeptieren). Das findet ggf. erst nach "cut" Schritten statt: Die Maschine könnte, anstatt abzulehnen, einfach "endlos" weiterrechnen. So ist der Begriff eben definiert. (Wenn man explizites "Ablehnen" haben will, dann wäre es nicht "Akzeptieren", sondern "Entscheiden", diesen Aufgabentyp gibt es derzeit nicht.