Hallo,
ausgehend von der Definition von WHILE-Programmen im Buch „Theoretische Informatik“ von Dirk W. Hoffmann wird dort eine Simulation der Gleichheitsabfrage angegeben, siehe http://www.hs-weingarten.de/~ertel/vorlesungen/thinf… (S. 157). Aus dem Kontext heraus (nämlich den beiden Beispielen für „>“ und „<“) glaube ich, dass er mit „-“ die arithmetische Differenz meint (die nie kleiner als 0 wird, also z.B. 3-4 = 0). Seine equal-Simulation leuchtet mir jedoch nicht ein. Meiner Meinung nach simuliert er den Fall „x != y“ statt „x = y“. Habe ich irgendwo einen Denkfehler? Und falls ich Recht habe - wie würde man auf der Grundlage der ab Seite 154 angegebenen Definitionen „x = y“ korrekt simulieren?
Grüße
Anja