米利型有限狀態機

在計算理論中 ， 米利型有限狀態機 （ Mealy machine ） 是基於它的當前狀態和輸入生成輸出的有限狀態自動機 （ 更精確的叫有限狀態變換器 ） 。 這意味着它的狀態圖將爲每個轉移邊包括輸入和輸出二者 。 與輸出只依賴於機器當前狀態的摩爾有限狀態機不同 ， 它的輸出與當前狀態和輸入都有關 。 但是對於每個Mealy機都有一個等價的Moore機 ， 該等價的Moore機的狀態數量上限是所對應Mealy機狀態數量和輸出數量的乘積加1 （ | S' | = | S | * | Λ | +1 ） 。