Hallo,
wird auch das Wort z.b. "010" akzeptiert? Leider kann ich keinen Weg finden (bzgl. Musterlösung).
(s0, 010, k0)⊢ (s1, 01, 0k0)⊢ (s2, 0, k0)
Und weiter ist s2 nur für Lambda als Eingabe definiert, obwohl das Restwort noch vorhanden ist. Könnten Sie erklären?
Danke und Gruss