ミーリーマシン は、計算理論において、出力値が現在の状態と現在の入力の両方によって決定されるマシンとして定義されます。このマシンでは、最大 1 つのトランジションが可能です。
6 つのタプルがあります: (Q、q0、∑、▲、δ、λ’)

1. Q は状態の有限集合です
2. q0は初期状態です
3. ∑は入力アルファベットです
4. ▲は出力されたアルファベットです
5. δ は Q×∑ → Q をマッピングする遷移関数です
6. 「λ」は Q×∑→▲をマッピングする出力関数です

前提条件 – ミーリー・アンド・ムーア・マシン

回路図は以下の通りです：

ムーアマシン:

ムーアのマシンは、計算理論において、出力値が現在の状態によってのみ決定されるマシンとして定義されます。タプルも6つあります

(Q, q0, ∑, ▲, δ, λ)>

1. Q は状態の有限集合です
2. q0は初期状態です
3. ∑は入力アルファベットです
4. ▲は出力されたアルファベットです
5. δ は Q×∑ → Q をマッピングする遷移関数です
6. λ は Q → ▲ をマッピングする出力関数です

図:

Mealy マシンと Moore マシンの違いは次のとおりです。