Akzeptiert KA auch Wörter die zu viele c's enthalten?

Question

Hallo,

kann dieser Automat nicht auch Wörter akzeptieren die zuviele c's enthalten (aaccc) ? Der Automat macht doch am Schluss, wenn ich alle a's und b's gelöscht habe, einen Lamda-Übergang. Das heißt doch  er würde in den Endzustand S3 wechseln und das Wort akzepieren (obwohl ja eigentlich nicht Teil der Sprache).

Steh gerade etwas auf dem Schlauch.

Vielen Dank

Answer 1

Du hast Recht, wenn alle a's und b's abgearbeitet sind, macht der Automat einen lambda Übergang. Erhält das Wort aber mehr c's also a's+b's, dann landen wir in einem Endzustand, aber das Wort ist nicht vollständig abgearbeitet, das Band ist also nicht leer, und das ist eine Voraussetzung dafür, dass ein Wort von einem KA akzeptiert wird:

Endzustand + Wort vollständig abgearbeitet

Gruß,

Adam (Tutor)