Das Ersetzten von (s0, \$ ,ko)->(s2,ko) anstatt (s0, \$ ,ko)->(s1,ko) macht Sinn.
Ich verstehe aber noch nicht warum (s0,lambda,ko)->(s2,ko) den KA nicht det. macht.
Könnt ihr mir bitte nochmal kurz sagen, wann der KA jetzt det. ist und wann eben nicht det.?
Außerdem ist der Übergang doch auch falsch, weil ich doch immer ein $ im Wort haben muss und dieser Übergang auch das leere Wort zulässt, oder?
Danke & Grüße,
Kai