Wäre auch das leere Wort möglich?

Question

wäre hier nicht auch das leere Wort möglich und müsste es dann nicht noch einen Übergang hierfür geben in der Form (s0,lambda,k0) -> (s0,k0)?

Answer 1

Hallo,

das leere Wort liegt in der Sprache (Anzahl der Nullen = Anzahl der Einsen = 0) und wird bereits von dem Kellerautomaten akzeptiert, da der Anfangzustand s0 gleichzeitig ein Endzustand ist.

Noch eine Anmerkung: Der Übergang, den Sie vorschlagen ist nicht nur nicht erforderlich. Sie dürfen ihn bei der Aufgabe nicht verwenden, da der Automat dann nicht mehr deterministisch wäre.

Viele Grüße

Irina (Tutorin)