Machine)は、状態と入力によって次に遷移すべき状態が一意に定まる有限オートマトンである。DFAは入力文字列を受け付ける。各入力文字について、遷移関数にしたがって新たな状態に遷移する。最後に入力文字を受け付けたとき、受理状態であれば入力文字列は受理された、そうでなければ入力文字列は拒否されたと判断される。非決定性有限オートマトンは、決定性有限オートマトンと同じように正規集合を認識でき、必ず決定性オートマトンに変換できる[1]。うち以下の性質(右側)を満たすものをいう。それぞれの要素は以下(左側)のように呼ばれる[2]。含まれる文字から構成される文字列が与えられたとする。