![]() |
template <class NFA> void nfa_ascii_write(const NFA& nfa, ostream& out);
Write nfa to out in the following file format:
|
state count
|
|||
|
initial_state
|
|||
|
nb initial states
|
i_state 1
|
i_state 2
|
...
|
|
nb transitions state 1
|
tag
|
letter state
|
letter state ...
|
|
nb transitions state 2
|
tag
|
letter state
|
letter state ...
|
|
...
|
...
|
...
|
...
|
ostream& << const NFA::Tag& must be defined.