有限狀態(tài)機由組合邏輯和寄存器邏輯組成。
1、寄存器邏輯的功能:用來存儲有限狀態(tài)機的內(nèi)部狀態(tài)。
2、組合邏輯又可以分為次態(tài)邏輯和輸出邏輯兩個部分。其中次態(tài)邏輯的功能是用來確定有限狀態(tài)機的下一個狀態(tài);而輸出邏輯就是用來確定有限狀態(tài)機的輸出。
在實際的應用中,根據(jù)有限狀態(tài)機是否使用輸入信號,設(shè)計人員經(jīng)常將其分為Moore型有限狀態(tài)機和Mealy型有限狀態(tài)機兩種類型。
1、Moore型有限狀態(tài)機:是指那些輸出信號僅與當前狀態(tài)有關(guān)的有限狀態(tài)機,即可以把Moore型有限狀態(tài)機的輸出看成是當前狀態(tài)的函數(shù)。
2、Mealy型有限狀態(tài)機:是指那些輸出信號不僅與當前狀態(tài)有關(guān),而且還與所有的輸入信號有關(guān)的有限狀態(tài)機,即可以把Mealy有限狀態(tài)機的輸出看成是當前狀態(tài)和所有輸入信號的函數(shù)?梢,Mealy有限狀態(tài)機要比Moore型有限狀態(tài)機復雜一些。
Moore型和Mealy型有限狀態(tài)機的區(qū)別:Moore型有限狀態(tài)機僅與當前狀態(tài)有關(guān),而與輸入信號無關(guān);Mealy型有限狀態(tài)機不但與當前狀態(tài)有關(guān),而且還與狀態(tài)機的輸入信號有關(guān)。
有限狀態(tài)機的描述規(guī)則: