Admin在計算理論中,Moore 機是輸出只由當前狀態自己(不直接依賴於輸入)確定的有限狀態自動機。Moore 的狀態圖對每個狀態包含一個輸出信號。相對於 Mealy機,它映射機器中的「轉移」到輸出。
Moore 機的名字來自它的提出者,寫了《Gedanken-experiments on Sequential Machines》的狀態機先驅 Edward F. Moore。[1]
多數數字電子系統被設計為時序系統。時序系統是受限制形式的 Moore 機,它的狀態只在全局時鐘信號改變的時候改變。當前狀態典型的存儲在觸發器中,而全局時鐘信號連接到觸發器的「時鐘」輸入上。時序系統是解決亞穩定性問題的一種方法。典型的電子 Moore 機器包括組合邏輯鏈來把當前狀態解碼為輸出 (lambda)。當前狀態一旦改變,這種改變通過這些鏈傳播,幾乎立即導致輸出改變(或不改變)。有確保在這些變化在沿著鏈傳播這段短暫時期在輸出上不出現 glitch 的技術,但是設計出的大多數系統都忽略在短暫的轉移時間的 glitch。輸出接著停留同樣不確定(LED 保持點亮,電力保持連接到電機等等),直到 Moore 機再次改變狀態。
Moore 有限機的輸出只與有限狀態自動機的當前狀態有關,與輸入信號的當前值無關。 Moore有限狀態機在時鐘CLOCK脈衝的有效邊沿後的有限個門延後,輸出達到穩定值。即使在一個時鐘周期內輸入信號發生變化,輸出也會在一個完整的時鐘周期內保持穩定值而不變。輸入對輸出的影響要到下一個時鐘周期才能反映出來。Moore有限狀態機最重要的特點就是將輸入與輸出信號隔離開來。
[編輯] 形式定義
Moore 機形式定義為 6-元組 { S, S0, Σ, Λ, T, G },構成如下:
狀態的有限集合 ( S )
開始狀態(也叫做初始狀態) S0,它是 S 的元素
叫做輸入字母表的有限集合 ( Σ )
叫做輸出字母表的有限集合 ( Λ )
映射狀態和輸入到下一個狀態的轉移函數 (T : S × Σ → S)
輸出函數 (G : S → Λ) 映射每個狀態到輸出字母表
在 Moore 機中的狀態的數目大於等於在對應的 Mealy 機中狀態的數目。
免责声明：本站文字信息和图片素材来源于互联网，仅用于学习参考，如内容侵权与违规，请联系我们进行删除，我们将在三个工作日内处理。联系邮箱：chuangshanghai#qq.com（把#换成@）