098 099

Rys. 3.40. Tablica przejść i za^:

kodowany graf do przykładu 3*^3

Rys. 3.41. Graf układu z rys. 3.39 zakodowany tak, aby nie występowały wyścigi

Prztkład 3.16

Zakodować układ asynchroniczny dany grafem przedstawionym na rys. 3.42.

Łatwo można sprawdzić, że kodując układ liczbami dwubitowyai nie da się uniknąć wyścigów krytycznych, gdyż stan jł ma trzech sąsiadów, a w zbiorze liczb dwubltowych nie ma liczby sąsiedniej w sensie Hamminga do trzech pozostałych. Zwiększając ilość bitów do trzech, można łatwo zakodować układ tak, aby nie występowały wyścigi, np. Cu,-110,    p-111,    j-101, <5-011.

Przykład 3.17

Zakodować układ asynchroniczny dany grafem przedstawionym na rys. 3-^3a-Przedstawionego grafu nie da się zakodować bez wyścigów krytycznych, nawet zwiększając dowolnie ilość bitów opisujących stan. Jedynym rozwiązaniem będzie wprowadzenie dodatkowego stanu niestabilnego, który wyeliminuje wyścigi. Jedno z możliwych rozwiązań pokazano na rys. 3>43b. Gdy układ ten znajduje się w stanie 11, tę pod wpływem sygnału wejściowego 11 przechodzi do niestabilnego stanu 10, a następnie do stanu stabilnego 00 bez wyścigów.    **