In meiner Lösung schreibt der Automat für b --> b und für a --> a; diese können jedoch von c's und d's gelöscht werden. Dadurch ist mein Kellerautomat viel größer, weil ich für jede Möglichkeit (c's löschen a's und b's; d's löschen a's und b's einen Schritt implementieren muss) aber das würde doch auch so richtig sein oder?
Grüße
Prinzipiell können Sie das auch so machen, die andere Lösung ist natürlich schöner,weil sie kürzer ist (aber das war hier ja nicht verlangt): Demnach, wenn Ihr Automat sinst richtig ist, dann passt das.
Vielel Grüße
Ihre Übungsleiter