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.