順序回路
順序回路の形式的な表現方法として、入出力や状態、遷移関数を以下のように表現する。
X : 入力集合 (input set)
Q : 状態集合 (state set)
Z : 出力集合 (output set)
δ : X × Q → Q 状態遷移関数 (state transition function)
ω : 出力関数 (output function)
としたとき、順序回路は(X,Q,Z,δ,ω)の組として定義される。
ここで、出力関数ωをどのような形にするかで2つの形式に分かれる。
ミーリ型(Mealy type) : ω : X × Q → Z
ムーア型(Moore type) : ω : Q → Z
ムーア型では内部状態のみが出力に依存する関数となるが、ミーリ型とムーア型の本質的な違いはなく相互に変換可能である。
これらの組で表される順序回路の動作は状態遷移表や状態遷移図として表すことができる。