alternative Lösung mit extra Endzustand möglich?

Question

Hi,

Ginge hier auch die Möglichkeit dass man an stelle von s1 einfach s0 lässt und einfach einen neuen Endzustand se definiert?

Viele Grüße

Answer 1

Hallo ,

(wenn mich nicht alles täuscht, dann ist dies eine Aufgabe ausm Tut gewesen)

meinst du das so, dass du gerne von s0 aus einen Übergang in den Endzustand se definieren möchtest? Das geht in diesem Fall leider nicht, da du dann einmal Übergänge hast wie

(s0,0,k0) -> (s0,0k0)

und andererseits

(s0,lambda,k0) -> (se,k0)

Das ist dann aber nicht mehr deterministisch. Denn dein KA hat dann keine Ahnung, ob er das nächste Zeichen ignorieren soll (dann würde er den lambda-Übergang wählen) oder nicht (dann würde er den oberen Übergang wählen).

Viele Grüße,

Vivian (Tutor)