walter-schubert documents

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
Documents 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