Hallo uboes,
genau, der linke Teil besagt, dass du im Zustand s0 bist, eine 1 gelesen wird und der Keller leer ist. Dann wechselst du den Zustand und legst eine 0 in den Keller.
In einen Keller musst du nicht immer das Zeichen legen, welches gerade eingelesen wurde. Du kannst ein völlig beliebiges Zeichen nehmen, welches du in den Keller legst.
Es ist in diesem Fall ja nicht relevant, wie viele 1en und 0en es gibt, es ist nur die gesamte Anzahl an Zeichen im Keller wichtig (Fall i + j = k).
Im Allgemeinen ist also das, was in den Keller gelegt wird schon von der Eingabe abhängig, aber man kann auch ein anderes Zeichen in den Keller ablegen als das, was eingelesen wurden.
Ich hoffe ich konnte deine Unklarheit beseitigen. Wenn nicht, schreibe gerne noch mal.
Viele Grüße
Anne (Tutor)