Assertion: büchi automaton | /r/HasProperty | expressive
Facets:
value: equally
type: DEGREE
Source sentences:
text: Because nondeterministic Muller, Rabin, Streett, parity, and Büchi automata are equally expressive, they can be translated to each other.