非決定性有限オートマトン 状態の有限集合 入力記号の有限集合 注意 動作関数 初期状態 受理状態の有限集合
非決定性有限オートマトン
場合１ 場合２ ２通りの可能性がある。
場合１ 場合１－１ 場合１－２ ここでまた２通りの可能性がある。
場合１－１
場合１－２
場合２
よって，入力語 baa に対して３つの遷移の可能性があるが，
入力語を読み終えたとき受理状態に到達する遷移が可能なので，入力語 baa は受理される。
場合１ 場合２ ２通りの可能性がある。
場合１ 場合１－１ 場合１－２ ここでまた２通りの可能性がある。
場合１－１
場合１－２ これ以上，遷移できない。
場合２
これ以上，遷移できない。
よって，入力語 aab に対して３つの遷移の可能性があるが，
第１の可能性は，
入力語を読み終えたとき受理状態に到達しない。
第２の可能性は，
これ以上遷移できない。
第３の可能性は，
これ以上遷移できない。
よって， いずれも，入力語を読み終えたとき受理状態に到達しないか，入力語を読み終えることができないので，入力語 aab は拒否される。
なお， である。