dfa_determinize — 有限オートマトン文法を決定化する
dfa_determinize [-o outfile] {dfafile}
dfa_determinize は，.dfa ファイルを等価な決定性 .dfa ファイルに変換し，
標準出力に出力します．オプション -o で出力先を指定することもできます．
mkdfa.pl が生成するDFAは常に決定化されており， 通常，mkdfa.pl で作成された .dfa ファイルに対してこのツールを使う必要はありません．
foo.dfa を決定化して bar.dfa に保存する．
% dfa_determinize -o bar.dfa foo.dfa
別の方法：
% dfa_determinize < foo.dfa > bar.dfa