Assertion: muller automaton | /r/CapableOf | use following acceptance condition
Facets:
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):