Diskussion:Streett-Automat

Fehler in Akzeptanzbedingung, Literatur und Einlleitung

In der Akzeptanzbedingung hatte sich ein Fehler eingeschlichen. Ein Lauf $\rho$ eines Streett Automats auf einem Wort $\omega$ ist akzeptierend gdw. für alle Paare $(E,F)\in R$ gilt: $\mathrm {inf} (\rho )\cap E\neq \emptyset \rightarrow \mathrm {inf} (\rho )\cap F\neq \emptyset$. Siehe dazu zB die im Artikel angegebene Literatur oder ein beliebiges paper zum Thema. Neben dieser Änderung habe ich die Einleitung dahingehend angepasst, dass im Einleitungssatz nun auf die relevanten Lemmata verwiesen wird. --Redmaniac 11:10, 9. Jan. 2009 (CET)