Page 129 -

CH-CPLD 補充教材

第陸章 CPLD 範例程式(序向邏輯電路)

一、序向邏輯分類

1. 密理網路(Mealy network)
具有下列模式的系統稱為密理網路或機件(machine)
M=(Σ，Q，Z，δ，λ)
其中
Σ=輸入符號， x1， x2 ，…， xn 有限非空集合
Q=狀態， q1 ， q2 ，…， qk 有限非空集合

Z=輸出符號， z1 ， z2 ，…， zm 有限非空集合

δ=下一狀態函數，映射 Q*Σ→Q
λ=輸出函數，映射 Q*Σ→Z

Q+ = q(t + 1) = δ (x(t), q(t))
z(t) = λ(x(t), q(t))

即

127