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