Next:
Preconditions
Up:
Algorithms
Previous:
Definition
Contents
Requirements on types
DFA
is a model of DFA.
NFA
is a model of NFA.
DFA::char_type
is convertible to
NFA::char_type
.
Vincent Le Maout 2003-07-08
