Diskussion:Büchi-Automat

Letzter Kommentar: vor 17 Jahren von Sven423 in Abschnitt Akzeptanzverhalten bei endlichem Wort?

Akzeptanzverhalten bei endlichem Wort?

Bearbeiten

Wie ist das Akzeptanzverhalten bei einem endlichen Wort? Kommt es dann wie bei gewöhnlichen EAs auf den Endzustand an? --Sven423 12:15, 30. Jan. 2007 (CET)Beantworten

Büchi-Automaten funktionieren per Definition nur mit unendlichen Wörtern. Siehe ω-Automat: "Ausgehend von einem besonderen Zustand (Startzustand) liest der ω-Automat eine unendlich abzählbare Folge von Symbolen". Das Verhalten bei einem endlichen Wort wäre also: Der Automat wartet auf weitere Eingabesymbole. --Head 12:24, 30. Jan. 2007 (CET)Beantworten
Merci, jetzt wird's klarer. --Sven423 12:34, 30. Jan. 2007 (CET)Beantworten