Diskussion:Büchi-Automat
Letzter Kommentar: vor 17 Jahren von Sven423 in Abschnitt Akzeptanzverhalten bei endlichem Wort?
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)
- 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)