Diskussion:Büchi-Automat

aus Wikipedia, der freien Enzyklopädie
Letzter Kommentar: vor 17 Jahren von Sven423 in Abschnitt Akzeptanzverhalten bei endlichem Wort?
Zur Navigation springen Zur Suche springen

Akzeptanzverhalten bei endlichem Wort?

[Quelltext 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