名前

dfa_minimize — 有限オートマトン文法を最小化する

概要

dfa_minimize [-o outfile] {dfafile}

Description

dfa_minimize は,.dfa ファイルを等価な最小化の .dfa ファイルに変換し, 標準出力に出力します.オプション -o で出力先を指定することもできます.

バージョン 3.5.3 以降の Julius に付属の mkdfa.pl は, このツールを内部で自動的に呼び出すので,出力される .dfa は常に最小化されており,これを単体で実行する必要はありません.バージョン 3.5.2 以前の mkdfa.pl で出力された .dfa は最小化されていないので, このツールで最小化するとサイズを最適化することができます.

Options

-o outfile

出力ファイル名を指定する.

EXAMPLES

foo.dfa を最小化して bar.dfa に保存する.

% dfa_minimize -o bar.dfa foo.dfa

別の方法:

% dfa_minimize < foo.dfa > bar.dfa 

SEE ALSO

mkdfa.pl ( 1 )

COPYRIGHT

Copyright (c) 1991-2008 京都大学 河原研究室

Copyright (c) 1997-2000 情報処理振興事業協会(IPA)

Copyright (c) 2000-2008 奈良先端科学技術大学院大学 鹿野研究室

Copyright (c) 2005-2008 名古屋工業大学 Julius開発チーム

LICENSE

Julius の使用許諾に準じます.