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