Diskussion:Büchi-Automat
aus Wikipedia, der freien Enzyklopädie
Akzeptanzverhalten bei endlichem Wort?
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)
- 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)
- Merci, jetzt wird's klarer. --Sven423 12:34, 30. Jan. 2007 (CET)
