Hallo,
deine Grammatik ist fast richtig. Das mit den lambdas statt den Übergängen zu 0 oder 1 kannst du generell so machen, da du in deiner ersten Zeile sicherstellst, dass das Wort aus mindestens einem Zeichen besteht. Allerdings fehlen die Regeln C à lambda und D à lambda.
Beispielsweise das Wort 11 (das in der Sprache enthalten ist) müsste durch S à 1B à 11C à 11 durch C à lambda abgeleitet werden.
Ich hoffe ich konnte dir weiterhelfen.
Viele Grüße,
Verena (Tutorin)