![]() |
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