Синтез абстрактного автомата Милли на элементах памяти D или T-триггерах, страница 5

Получилось, что автомат разбился на два подавтомата:

А₁= {Z8, Z9, Z10, Z11, Z12, Z13, Z14}.

А₂= {Z1, Z2, Z3, Z4, Z5, Z6, Z7, Z15,}.

Структура автомата:   А₁ ß А₂

Выбор эффективного кода для подавтоматов.

D-триггера

1)  Для подавтомата  А₁= {Z8, Z9, Z10, Z11, Z12, Z13, Z14}.

Закодируем вершины, используя правило Баранова. Для этого под-        считаем количество переходов к каждому состоянию.

N_Z8=3,  N_Z9=3,  N_Z10=3,  N_Z11=5,  N_Z12=4,  N_Z13=2,  N_Z14=1.

Отсортируем вектор Z_i  по убыванию N_Zi  и закодируем вершины:    

2)  Для подавтомата  А₂= {Z1, Z2, Z3, Z4, Z5, Z6, Z7, Z15,} также воспользуемся правилом   Баранова:   N_Z4=3, N_Z5=3, N_Z6=4, N_Z7=1, N_Z15=3, N_Z1=3, N_Z2=3, N_Z3=3

Синтез автомата для  заданного элемента  памяти

(D-триггер).

1)  Синтез подавтомата А₁= {Z8, Z9, Z10, Z11, Z12, Z13, Z14}. Закодируем входные и выходные сигналы, а также перепишем таблицу переходов и выходов заданного подавтомата в закодированном виде:

d₃                                                                                                         d₂

Cd_{3 ДНФ}= (4+4+4+4+3)+5=24.                                        C d_{2   ДНФ}= (3+3+4+4)+4=17.                                    

Cd_{3 кнф}= (2+2+3+3+3+3+3)+7=26.                                    C d_{2 кнф}= (2+2+2+3+4)+5=18.