RSS订阅Mealy機
贡献者：gsfei2009 浏览：1449次 创建时间：2009-06-25
-
在計算理論中，Mealy 機是基於它的當前狀態和輸入生成輸出的有限狀態自動機（更精確的叫有限狀態變換器）。這意味著它的狀態圖將為每個轉移邊包括輸入和輸出二者。與輸出只依賴於機器當前狀態的Moore有限狀態機不同，它的輸出與當前狀態和輸入都有關。但是對於每個 Mealy 機都有一個等價的 Moore 機，該等價的 Moore 機的狀態數量上限是所對應 Mealy 機狀態數量和輸出數量的乘積加1（|S'|=|S|*|Λ|+1）。
Mealy 機的名字來自這個概念的提出者，在1951年寫了《A Method for Synthesizing Sequential Circuits》的狀態機的先驅 G. H. Mealy。[1]
Mealy 機提供了密碼機的一個根本的數學模型。例如考慮拉丁字母表的輸入和輸出，一個 Mealy 機可以被設計用來把給定字母的字元串（一序列輸入）處理成密碼字元串（一序列輸出）。但是，儘管你可能使用 Mealy 模型來描述恩尼格瑪密碼機，狀態圖對於提供設計複雜密碼機的靈活方式而言太複雜了。
Mealy 狀態機與Moore有限狀態機不同，Mealy有限狀態機的輸出不單與當前狀態有關，而且與輸入信號的當前值有關。Mealy有限狀態機的輸出直接受輸入信號的當前值影響，而輸入信號可能在一個時鐘周期內任意時刻變化，這使得Mealy有限狀態機對輸入的響應發生在當前時鐘周期，比Moore有限狀態機對輸入信號的響應要早一個周期。因此，輸入信號的噪聲可能影響在輸出的信號。
[編輯] 形式定義
Mealy 機是6-元組 (S, S0, Σ, Λ, T, G)，構成自：
狀態的有限集合 (S)
開始狀態（也叫做初始狀態）S0，它是 (S) 的元素
叫做輸入字母表的有限集合 (Σ)
叫做輸出字母表的有限集合 (Λ)
轉移函數 (T : S × Σ → S)
輸出函數 (G : S × Σ → Λ)
开放分类
参考资料
贡献者
本词条在以下词条中被提及：
关于本词条的评论共：（0条）
