Neue Aspekte zur Entscheidungstabellentechnik/ New aspects on decision table technique

gige Vorschläge. SW/führt in seinem Aufsatz auch eine Reihe von Sprachen auf, in denen angeblich nichtdeterministische Algorithmen geschrieben werden können. Das Hauptproblem bei all diesen Versuchen ist die automatische Wiederherstellung des alten Maschinenzustandes im Backtrackfall. Ob dies nun durch Kellerung des gesamten Maschinenzustandes oder nur seiner Änderungen oder durch explizite Umkehrung der Operationen des Vorwärtszweiges geschieht — immer werden dem Programmierer Einschränkungen für den Vorwärtszweig auferlegt, oder die Lösung ist nach Speicherplatzoder Zeitbedarf indiskutabel. Die bisherigen Ergebnisse der Einbettung nichtdeterministischer Algorithmen in höhere Programmiersprachen sind deshalb noch unbefriedigend, und es ist auch von einem rein praktischen Standpunkt aus fraglich, ob sich die Einbettung überhaupt lohnt, denn so häufig und kompliziert, daß man sie nicht ausprogrammieren könnte, sind Backtrack-Algorithmen nun auch wieder nicht. Literatur