オートマトン/第一類/ミーリー型順序機械のソースを表示

ミーリー型順序機械 (Mealy machine) は機械の出力が状態と入力の組み合わせによって決まる順序機械である。
ミーリー型順序機械は、次に示す 3 つの有限集合 <math>Q, \mathit{\Sigma}, \mathit{\Delta}</math> と，これらの関係を定める二つの関数 <math>\delta, \lambda</math> および特定の状態 <math>q_0</math> を指定することにより定まる．

* 状態の有限集合 <math>Q</math>
* 入力記号の有限集合 <math>\mathit{\Sigma}</math>
* 出力記号の有限集合 <math>\mathit{\Delta}</math>
* 状態推移関数 (state transition function) <math>\delta</math>：機械の現在の状態 <math>p \in Q</math> とそれへの入力 <math>a \in \mathit{\Sigma}</math> のすべての組み合わせに対して，次の時点の状態 <math>q \in Q</math> を <math>\delta(p, a) = q</math> により一意に定める関数．
* 初期状態 <math>q_0 \in Q</math>

以上により定まった順序機械 <math>M</math> について，これらをこの順に並べて

:<math>M = (Q, \mathit{\Sigma}, \mathit{\Delta}, \delta, \lambda, q_0)</math>

と形式的に表す．

（例）
ミーリー型順序機械 <math>M_1 = (Q_1, \mathit{\Sigma}_1, \mathit{\Delta}_1, \delta_1, \lambda_1, q_{01})</math>，
ただし <math>Q_1 = \{ p, q \},\ \mathit{\Sigma}_1 = \{0, 1\},\ \mathit{\Delta}_1 = \{0, 1\},\ \delta_1(p, 0) = p,\ \delta_1(p, 1) = q,\ \delta_1(q, 0) = p,</math>
<math>\delta_1(q, 1) = q,\ \lambda_1(p, 0) = 0,\ \lambda_1(p, 1) = 0,\ \lambda_1(q, 0) = 0,\ \lambda_1(q, 1) = 1,\ q_{01} = p</math>．


===状態推移表 (state transision table) ===

ミーリー型順序機械の内容を見やすく表現するための表で，前述の順序機械 <math>M_1</math> に対しては次のようになる．

{| class="wikitable" style="text-align:center"
!colspan ="2" rowspan="3"|現在の状態 !! colspan="2" | 次の状態 !! colspan="2" | 出力 
|-
!colspan="2"|入力!!colspan="2"|入力
|-
! 0 !! 1 !! 0 !! 1
|-
!⇒ !! p 
| p || q || 0 || 0
|-
!   !! q 
| p || q || 0 || 1
|}

ここで初期状態は「現在の状態」の欄の中で矢印「⇒」で指し示して明示し，通常は「現在の状態」の最初の行に置く．
<math>\delta(p, a) = q, \ \lambda(p, a) = b</math>(例では <math>a = 0, 1, b = 0, 1</math>） であるとき，現在の状態が <math>p</math> である行と入力 <math>a</math> の交点の「次の状態」欄には状態 <math>q</math> を置き，「出力欄」には <math>b</math> を記入する．


===状態推移図 (state transition diagram) ===
順序機械の動作を図式的に表現することによって，見やすくかつ把握しやすくしたのが状態推移図である。先の順序機械 <math>M_1</math> に対しては 図3 のようになる。
[[ファイル:図3.png|frame|center|200px|図3]]
状態遷移図において、各々の状態は状態を示す記号を丸で囲ったもので表し，特に初期状態には矢印をつけて明示する。
また <math>\delta(p, a) = q, \lambda(p, a) = b</math> であるとき，状態 p から状態 q へ向かう推移を示す矢印を引き，それぞれの矢印には入出力を表すラベル <math>a/b</math> をつける．


===プログラミング演習問題(1)===
ミーリー型順序機械を定義する記述法①を各自考案し、①と入力記号列②を与えたときの順序機械の出力を出力するプログラムを作成せよ。

[[カテゴリ:オートマトン]]