Assertion: büchi automaton | /r/HasProperty | an ω-automaton a
Facets:
value: for some subset f of q
type: OTHER
Source sentences:
text: A Büchi automaton is an ω-automaton A that uses the following acceptance condition, for some subset F of Q: