Assertion: deterministic finite automaton | /r/CapableOf | accept same language
Facets:
Source sentences:
text: For every NFA a deterministic finite automaton (DFA) can be found that accepts the same language.