ムーア・マシン
ムーア・マシンは { S, Σ, Λ, T, G, q 0 {\displaystyle q_{0}} , F } の7要素から構成され、以下の性質を持つ。
状態の有限集合 ( S )
入力文字の有限集合 ( Σ )
出力文字の有限集合 ( Λ )
遷移関数 (T : S × Σ → S) は状態と入力から次の状態を導く。
出力関数 (G : S → Λ) は状態から出力文字を導く。
開始状態 ( q 0 ) {\displaystyle (q_{0})}
完了状態の集合 F
ムーア・マシンの状態数は、同等機能のミーリ・マシンの状態数より多い(あるいは同数)。