ダウンロード

有限オートマトンの形式的定義 M = (Q, Σ, δ, s, F) ここに、 • Q : 有限集合