Determinize
Prototype
template <class NFA, class DFA>
void determinize(NFA& nfa,DFA& result);
Description
Build a DFA equivalent, in term of language, to the NFA nfa (which is always
possible...).
Definition
Defined in determinize.h.
Requirements on types
- DFA is a model of DFA .
- NFA is a model of NFA
Preconditions
None.
Example
Notes
See also