米利型有限狀態機

Mealy machine的名字來自這個概念的提出者，在1951年寫了A Method for Synthesizing Sequential Circuits的狀態機的先驅G. H. Mealy。 ^[1] 

Mealy機提供了密碼機的一個根本的數學模型。例如考慮拉丁字母表的輸入和輸出，一個Mealy機可以被設計用來把給定字母的字符串（一序列輸入）處理成密碼字符串（一序列輸出）。但是，儘管你可能使用Mealy模型來描述恩尼格瑪密碼機，狀態圖對於提供設計複雜密碼機的靈活方式而言太複雜了。

Mealy狀態機與Moore有限狀態機不同，Mealy有限狀態機的輸出不單與當前狀態有關，而且與輸入信號的當前值有關。Mealy有限狀態機的輸出直接受輸入信號的當前值影響，而輸入信號可能在一個時鐘週期內任意時刻變化，這使得Mealy有限狀態機對輸入的響應發生在當前時鐘週期，比Moore有限狀態機對輸入信號的響應要早一個週期。因此，輸入信號的噪聲可能影響在輸出的信號。

Mealy機是6-元組，構成自：

狀態的有限集合

開始狀態（也叫做初始狀態）

，它是

的元素

叫做輸入字母表的有限集合

叫做輸出字母表的有限集合

轉移函數

輸出函數

在某些公式中，轉換和輸出函數合併為單個函數

。

1.Mealy機器的規定往往較少：

弧（n2）而不是狀態（n）的不同輸出。

2.摩爾機器使用更安全：

輸出在時鐘邊沿變化（總是在一個週期後）。

在Mealy機器中，輸入更改可能會在邏輯完成後立即導致輸出更改 - 當兩台機器互連時出現大問題 - 如果不小心，可能會發生異步反饋。

3.Mealy機器對輸入的反應更快：

在相同的週期內反應 - 不需要等待時鐘。

在Moore機器中，可能需要更多邏輯來將狀態解碼為輸出 - 在時鐘邊沿之後更多的門延遲。

並非所有時序電路都可以使用Mealy模型實現。 一些時序電路只能作為摩爾機器實現。

Mealy機器的狀態圖將輸出值與每個轉換邊緣相關聯（與Moore機器的狀態圖相反，Moore機器將輸出值與每個狀態相關聯）。

當輸入和輸出字母表都是Σ時，還可以將Mealy Automata與Helix有向圖

相關聯。該圖具有狀態和字母對的頂點，每個節點都是一度的，而

的後繼是自動機的下一個狀態和自動機輸出時的字母x和 它讀取字母i。 如果自動機是雙向的，則該圖是不相交週期的並集。 ^[2] 

一台簡單的Mealy機器有一個輸入和一個輸出。每個過渡邊緣都標有輸入值（以紅色顯示）和輸出值（以藍色顯示）。機器以Si狀態啓動。（在此示例中，輸出是兩個最新輸入值的異或;因此，機器實現邊緣檢測器，每次輸入翻轉時輸出一個，否則輸出零。）

更復雜的Mealy機器可以有多個輸入和多個輸出。

Mealy機器為密碼機提供了基本的數學模型。例如，考慮到拉丁字母表的輸入和輸出字母表，可以設計一個Mealy機器，給定一串字母（一系列輸入）可以將其處理成加密的字符串（一系列輸出）。然而，儘管可以使用Mealy模型來描述Enigma，但狀態圖太複雜，無法提供設計複雜加密機器的可行方法。

Moore / Mealy機器，也是時鐘任意滴答輸出的DFA。現代CPU，計算機，手機，數字時鐘和基本電子設備/機器都有某種有限狀態機來控制它。

簡單的軟件系統，特別是可以使用正則表達式表示的系統，可以建模為有限狀態機。有許多這樣的簡單系統，例如自動售貨機或基本電子設備。

通過找到兩個有限狀態機的交集，可以以非常簡單的方式設計例如交換消息的併發系統。例如，交通信號燈是由多個子系統組成的系統，例如同時工作的不同交通信號燈。

一些應用示例：