Hallo Marc, um das elende Hin-und-Her um die Registermaschine zu beenden, habe ich mich bemüht, den Sachverhalt genau zu erklären. Hier noch eine zusätzliche Erläuterung: Beim Entwurf einer RM aus der Maschinenfunktion gehen undefinierte Werte als "don't care" Zustände mit ein, d.h. man kümmert sich nicht darum, und nutzt diesen Sachverhalt, um z.B. die Komplexität der Maschine zu reduzieren: Dadurch kann die gesamte Konstruktion evtl. einfacher werden. Was dann bei Eingabe eines solchen Arguments geschieht ist prinzipiell zunächst nicht von Bedeutung und kann alles mögliche sein: Endlosschleifen genauso wie immense Laufzeiten mit seltsamen Ausgaben. Analogie: Nimm an, du willst ein Programm schreiben, das die (reelle) Wurzel berechnet. Es ist dir dann i.A. egal, was es mit einer negativen Zahl als Eingabe anstellt, und je nach Konstruktion des Programms können auch die verschiedensten Resultate auftreten. -- Claen edon 08:44, 15. Sep 2004 (CEST)