Alternativ $(s_1, 0, k_0) \rightarrow (s_1, k_0)$ anstelle von $(s_e, 0, k_0) \rightarrow (s_e, k_0)$ möglich?

Question

Hallo,

wäre $(s_1, 0, k_0) \rightarrow (s_1, k_0)$ anstelle von $(s_e , 0 , k_0) \rightarrow (s_e, k_0)$ denn auch möglich? Wenn so alle Nullen am Ende abgearbeitet sind, kommt man über $(s_1, \lambda, k_0) \rightarrow (s_e, k_0)$ ja auch zum Abschluss?

Beste Grüße

Comments

Versuchen Sie das doch bitte mit dem XWizard selbst zu lösen. Wir müssen jetzt die Bonusklausur vorbereiten und können nicht mehr längere Anfragen beantworten.

Answer 1

Hallo,

die von Ihnen vorgeschlagene Änderung erzeugt einen nichtdeterministischen Automaten, da der Lambdaübergang aus s1 dann nicht mehr eindeutig ist.

Mit freundlichen Grüßen
Laurin (Tutor)