Assertion: deterministic finite automaton | /r/HasProperty | further generalization
Facets:
value: to nfa
type: TRANSITIVE-OBJECT
Source sentences:
text: Nondeterministic finite automaton with ε-moves (NFA-ε) is a further generalization to NFA.