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