Keller erst später leeren

Question

Hallo,

Kellerautomaten akzeptieren ein Wort ja nur, wenn man im Endzustand angelangt, das Wort verarbeitet wurde und der Keller leer ist. Kann ich auch nach Verarbeitung meines Wortes einen Zustand einführen, der einzig dazu da ist, den Keller wieder zu leeren? Oder muss ich mit Verarbeitung des Wortes den Keller geleert haben um in einen Endzustand springen zu können?

Bsp: Wäre dies möglich:

(s3, lambda, a) -> (s4, lambda)

(s3, lambda, b) -> (s4, lambda)

s3, lambda, k0) -> (se, k0)

 

Vielen Dank!

Answer 1

Ich glaube mit deinem ersten Satz liegst du falsch, denn auf Folie V9-57 steht, dass ein Wort akzeptiert wird, wenn das Wort vollständig abgearbeitet ist und der KA sich in einem Endzustand befindet. Der Keller muss meiner Meinung nach nicht leer sein.