Assertion: büchi automaton | /r/CapableOf | use following acceptance condition
Facets:
Source sentences:
text: A Büchi automaton is an ω-automaton A that uses the following acceptance condition, for some subset F of Q: