1310109433

Technika cyfrowa

Formalna definicja FSMD rozszerza definicję FSM przez wprowadzenie zbioru zmiennych, wejść oraz wyjść ścieżki danych, uzupełniając tym samym zbiory stanów, wejść i wyjść FSM.

Dla FSM mamy piątkę:

<S, I, O, f, h>

S - zbiór stanów,

I - zbiór wejść,

O - zbiór wyjść,

f - funkcje definiujące stan następny (przejść), h - funkcje definiujące stan wyjść.

f. 5x J-S h: 5x O

Każdy symbol stanu, wejścia oraz wyjścia jest zdefiniowany jako iloczyn wektorowy zmiennych boolowskich.

I = A_X x A₂ x ... x A_k S = Qy x Q2 x — x Q_m O = Y_x x Y₂ x ... x Y„

gdzie A_k: l<r<k, jest sygnałem wejściowym, Q_m: l<r<m, jest wyjściem przerzutnika, a Y„: l</</7, jest sygnałem wyjściowym.    22