Guten Tag,
wieso steht bei Aufgabe 41a) im Übungsbuch, dass der Übergang (s0,y,k0)->(se,k0) nichtdeterministisch sei?
(s0,y,k0) kommt doch sonst auf keiner linken Seite der Übergangsrelation vor und es ist dementsprechend eindeutig, wie der Übergang auszusehen hat oder?
Bei Aufgabe 44 verstehe ich die Begründung ,,Durch die Übergange (s0,y,k0) gekoppelt mit (s0,a,k0), [...] wird der Automat nichtdeterministisch." ebenso wenig.
Mit freundlichen Grüßen
uzhrz