.\"     Title: 
    dfa_minimize
  
.\"    Author: 
.\" Generator: DocBook XSL Stylesheets v1.71.0 <http://docbook.sf.net/>
.\"      Date: 10/02/2008
.\"    Manual: 
.\"    Source: 
.\"
.TH "DFA_MINIMIZE" "1" "10/02/2008" "" ""
.\" disable hyphenation
.nh
.\" disable justification (adjust text to left margin only)
.ad l
.SH "名前"

    dfa_minimize
   \- 有限オートマトン文法を最小化する
.SH "概要"
.HP 13
\fBdfa_minimize\fR [\-o\ \fIoutfile\fR] {dfafile}
.SH "DESCRIPTION"
.PP
dfa_minimize は，.dfa ファイルを等価な最小化の .dfa ファイルに変換し， 標準出力に出力します．オプション
\fB\-o\fR
で出力先を 指定することもできます．
.PP
バージョン 3.5.3 以降の Julius に付属の
\fBmkdfa.pl\fR
は， このツールを内部で自動的に呼び出すので，出力される .dfa は常に最小化 されており，これを単体で実行する必要はありません．バージョン 3.5.2 以前の
\fBmkdfa.pl\fR
で出力された .dfa は最小化されていないので， このツールで最小化するとサイズを最適化することができます．
.SH "OPTIONS"
.PP
\fB \-o \fR \fIoutfile\fR
.RS 3n
出力ファイル名を指定する．
.RE
.SH "EXAMPLES"
.PP

\fIfoo.dfa\fR
を最小化して
\fIbar.dfa\fR
に 保存する．
.sp .RS 3n .nf % \fBdfa_minimize\fR \-o bar.dfa foo.dfa .fi .RE
別の方法：
.sp .RS 3n .nf % \fBdfa_minimize\fR < foo.dfa > bar.dfa .fi .RE
.SH "SEE ALSO"
.PP

\fB mkdfa.pl \fR( 1 )
.SH "COPYRIGHT"
.PP
Copyright (c) 1991\-2008 京都大学 河原研究室
.PP
Copyright (c) 1997\-2000 情報処理振興事業協会(IPA)
.PP
Copyright (c) 2000\-2008 奈良先端科学技術大学院大学 鹿野研究室
.PP
Copyright (c) 2005\-2008 名古屋工業大学 Julius開発チーム
.SH "LICENSE"
.PP
Julius の使用許諾に準じます．