nicht deterministischer Kellerautomat

Question

Hallo,

ist vielleicht eine blöde Frage, aber warum muss ein Kellerautomat nicht deterministisch sein?

Ich könnte doch auch immer einen det. Kellerautomaten erstellen und für jeden Zustand nochmal extra einen Lambda Übergang definieren. Wäre zwar umständlich, hätte jedoch trotzdem einen nicht det. Kellerautomaten.Oder liege ich damit falsch?

viele Grüße

Answer 1

Hallo uzfnw,

ein Kellerautomat muss nur dann deterministisch sein, wenn es in der Aufgabenstellung so gefordert ist. Dass das in der Praxis sicherlich etwas anderes ist, ist klar - aber für die Klausur ist das der wichtige Punkt, auf den du achten musst.

Ob deine Variante mit den Lambda-Übergangen so immer funktioniert und sinnvoll ist, sei mal dahingestellt.

Beste Grüße,

Martin (Tutor)