рактної таблиці переходів. p align="justify"> В абстрактній таблиці переходів п'ять стовпців: номер рядка N, поточне аn і майбутнє аn +1 стану, вхідні {Z} і вихідні {Y} сигнали. Кожен рядок таблиці відповідає одному шляху переходу автомата. Якщо необхідно зберегти деякий стан МПА незмінним, то аn і аn +1 приймаються рівними. br/>
Таблиця. 2.1. p align="justify"> Nanan +1 {Z} {Y} 1a0a0 y02a0a1z0y3 (t3) 3a1a21y1 (t1) 4a2a31y6 (t6) 5a3a41y4 (t4, z4) 6a4a4z4y4 (t4, z4) 7a4a5 y118a5a31y6 (t6)
Структурний синтез МПА
1. Раціональне кодування станів автомата. p align="justify"> Максимальний індекс аi дорівнює 5, отже, необхідно не менше трьох двійкових розрядів (Q4, Q2, Q1) для кодування всіх аi.
Правило кодування станів аi з метою мінімізації величини ? К: чим частіше зустрічається ai у стовпці аn +1 абстрактної таблиці переходів, тим з меншим числом одиниць повинна використовуватися комбінація для кодування цього стану.
Таблиця. 2.2. p align="justify"> Стан aiЧісло повторенійK (an +1) Q4Q2Q1a01011a11001a21010a32000a42100a51101
. Побудова структурної таблиці переходів (табл. 2.3.). p align="justify"> Порівнюючи поточне значення Qi в кодової комбінації k (an) з майбутнім значенням Qi в комбінації k (an +1), знаходимо сигнали переходів ?.
Таблиця. 2.3. p align="justify"> Nanan +1 {Z} {Y} K (an) K (an +1) ? Q4Q2Q1Q4Q2Q1Q4Q2Q11a0a0 y00110110112a0a1z0y3 (t3) 0110010-13a1a21y1 (t1) 0010100 +-4a2a31y6 (t6) 0100000-05a3a41y4 (t4, z4) 000100 +006 a4a4z4y4 (t4, z4) 1001001007a4a5 < span align = "justify"> y1110010110 +8 a5a31y6 (t6) 101000-0 -
. Висновок логічних виразів для функцій виходів і переходів. p align="justify"> Для знаходження перелічених функцій доцільно скласти проміжні контерми КN, де індекс N відповідає номеру рядка. Контерми складаються за абстрактною і структурної таблицями переходів таким чином: для N-го рядка утворюється кон'юнкція з сигналів Qi (у поточний момент часу) і вхідних сигналів zi, взятих зі знаками інверсії або без них. p align="justify"> Функції збудження будемо шукати для D - тригерів, об'єднуючи контерми, для яких оператори ? позначені знаками В«1В» і В«+В».
Таблиця. 2.4. p> KnКонтермиФункціі виходовK1y0 = K1; y1 = K3; y3 = K2; = K5 v K6; y6 = K4 v K8;
y11 = K7; K2K3K4K5Функціі возбужденіяK6D4 = K5 v K6 v K7;
D2 = K1 v K3;
D1 = K1 v K2 v K7; K7 K8
Схемна реалізація МПА
...
