Diskussion:Ω-Automat

Endzustände

In der Beschreibung der Darstellung steht: Endzustände sind durch doppelte Kreise gekennzeichnet.

Das ist für Büchi-Automaten richtig, allerdings gibt es bei Muller-, beim Rabin- und bei Paritätsautomaten gar keine Endzustände in diesem Sinne (Streett-Automaten kenne ich nicht). Ich würde deshalb vorschlagen, Endzustände an der Stelle nicht zu erwähnen und auch aus der Grafik zu entfernen. --Head 10:34, 23. Aug 2005 (CEST)

Reihenfolge des Tupels

Ich kenne mich zwar mit ω-Automaten nicht aus, aber sollte die Reihenfolge des Tupels nicht der des deterministischen endlichen Automatens entsprechen? Die englische Wikipedia macht jedenfalls auch genau das. Außerdem: Warum sollte $\Sigma \cup Q=\emptyset$ gelten? Zu Verwechselungen sollte es da ja eigentlich nicht kommen können. mfg, 88.74.114.106 20:18, 13. Jul. 2010 (CEST)