ミーリ・マシン
ミーリ・マシンは (S, Σ, Λ, T, G, s) の6要素から成り、以下の性質を持つ。
状態の有限集合 (S)
入力文字列の有限集合 (Σ)
出力文字列の有限集合 (Λ)
遷移関数 (T : S × Σ → S).
出力関数 (G : S × Σ → Λ).
開始状態 (s ∈ S)