Синтез асинхронных конечных автоматов, страница 2

Таблица №3

5.       Решениезадачипокрытий:

Q = (AvB)*G*H*(AvDvG)*(AvBvCvDvE)*C*(BvCvEvF)*F*(DvEvF)

W = F*C*G*H*A=(1,4,5,) (3) (2,4) (5,6,7) (7,8,9)

W' = (1,4,5)((2)(3)(6,7)(8,9)

6.  Объединение строк  ТП.

Таблица №4

7.       Минимизированная таблица переходов.

Таблица №5

8.       Граф переходов.

Синтез асинхронного автомата.

Рассмотрим универсальный метод синтеза АКА с помощью кодирования состояний по столбцам ТП. За основу возьмем таблицу 5.

Таблица №6        

1.       Нахождение -классов и определение числа разделяющих переменных.        

₁={1,4,5}     ₂={2,3}  

₃={1,2,4}       ₄={3,5}   

₅={1,2}          ₆={3,4}       ₇={5}       

₈={1,2,3,5}    ₉={4}

Y₁Y₂                                  Y₃ Y₄                                        Y₅