Assertion: deterministic finite automaton | /r/CapableOf | accept the complement of the language
Facets:
value: exactly
type: DEGREE
Source sentences:
text: Therefore a deterministic Streett automaton accepts exactly the complement of the language accepted by the deterministic Rabin automaton consisting of the same data.