Assertion: muller automaton | /r/HasProperty | an ω-automaton a
Facets:
value: for a subset f of p(q
type: OTHER
Source sentences:
text: A Muller automaton is an ω-automaton A that uses the following acceptance condition, for a subset F of P(Q) (the power set of Q):