Diskussion:Ω-Automat
aus Wikipedia, der freien Enzyklopädie
[Bearbeiten] 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)