1 DigInf 05/06 Möglichkeiten für das Ende der Berechnung und Ergebnis: 1.TM hält an, das aktuelle T : Z B ist das Ergebnis 2. (q alt,T (C)) ist nicht.