dfa_minimize — Minimize a DFA grammar network
dfa_minimize
[-o outfile
] {dfafile}
dfa_minimize will convert an .dfa file to an
equivalent minimal form. Output to standard output, or to a file specified by
"-o
" option.
On version 3.5.3 and later, mkdfa.pl invokes this tool inside, and the output .dfa file will be always minimized, so you do not need to use this manually.
Minimize foo.dfa
to bar.dfa
:
%
dfa_minimize -o bar.dfa foo.dfa
Another way:
%
dfa_minimize < foo.dfa > bar.dfa