Assertion: rabin automaton | /r/HasProperty | an ω-automaton a
Facets:
Source sentences:
text: A Rabin automaton is an ω-automaton A that uses the following acceptance condition, for some set Ω of pairs (B i ,G i ) of sets of states: