template <class NFA, class DFA>
void determinize(NFA& nfa,DFA& result);
Build a DFA equivalent, in term of language, to the NFA nfa (which is always
Defined in determinize.h.
Requirements on types
- DFA is a model of DFA .
- NFA is a model of NFA