Diskussion:Ω-Automat

aus Wikipedia, der freien Enzyklopädie
Letzter Kommentar: vor 14 Jahren von 88.74.114.106 in Abschnitt Reihenfolge des Tupels
Zur Navigation springen Zur Suche springen

Endzustände

[Quelltext bearbeiten]

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 Diskussion 10:34, 23. Aug 2005 (CEST)

Reihenfolge des Tupels

[Quelltext bearbeiten]

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 gelten? Zu Verwechselungen sollte es da ja eigentlich nicht kommen können. mfg, 88.74.114.106 20:18, 13. Jul. 2010 (CEST)Beantworten