template <class DFA> void dfa_ascii_write(const DFA& dfa, ostream& out);
Write dfa to out in the following file format:
state count
|
|||
initial_state
|
|||
nb transitions state 1
|
final (0/1)
|
tag
|
letter state letter state ...
|
nb transitions state 2
|
final (0/1)
|
tag
|
letter state letter state ...
|
...
|
...
|
...
|
...
|
ostream& << const DFA::Tag& must be defined.
CODE
|
OUTPUT
|
#include <tag.h> |
# ./dfa_as |
dfa_binary_write, nfa_ascii_write