Aussage Aufgabe 1 Übungsblatt 3

Question

Hallo,

unserer Meinung nach handelt es sich bei dem Automaten im Anhang um einen deterministischen Automaten, der die Aufgabe korrekt löst. Daher verwirrt uns der Kommentar in der Musterlösung des Blattes, denn dort wird angemerkt, dass ein deterministischer Automat kein lambda-Übergang von s0 haben dürfe. Das steht im Widerspruch zu unserer Lösung. Wo liegt hier der Fehler ?

Vielen Dank im Voraus

Beste Grüße

https://1drv.ms/u/s!AgODQJ95ZlzR8VXEp13m3pokpZHQ

Answer 1

Hallo uiwvc,

soweit ich das sehen kann, ist Eure Lösung richtig. Die Anmerkung in der Musterlösung ist doch verwirrend, sie gilt nur in dem Fall, wenn ein Übergang (s0,e,k0) bereits existiert. (e≠λ)

 

Viele Grüße,

Runxi (Tutorin)