Hallo,
um das linke Feld bei m=4 zu "berechnen", muss man (nach dem Algorithmus) die Paare
(B,leer), (leer,leer), (A,C)
betrachten. Keines der Paare wird erzeugt, deswegen kommt links in m=4 auch die leere Menge rein. Ich vermute, du hast dich bei der Bearbeitung der Aufgabe um ein Kästchen vertan und im letzten Schritt (A,{S,A}) verglichen. Wenn das Kästchen wirklich {S,A} statt C lauten würde, dann wäre das linke Kästchen bei m=4 natürlich nicht leer, da, wie du korrekt gesagt hast, das B reinkommen würde.
Viele Grüße,
Vivian (Tutor)