Assertion: deterministic finite automaton | /r/Desires | only two states
Facets:
Source sentences:
text: A non-deterministic Büchi automaton recognizing L needs only two states q 0 (the initial state) and q 1 .