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)
- 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)