an>
) u = 7
7 = 7 6
8 = {6} D = {1101,1110} K (7) = 1101
) u = 8 = 7 8
9 = {7,9} (7) = {1001,0101,1111} (9) = {1010} = {1001,0101,1111,1010} K (8) = 1010
Таблиця 5. Пряма структурна таблиця переходів і виходів автомата Милі при кодуванні на RS-тригерах
Вихідний стан amКод amСостояніе переходу asКод asВходной сігналВиходной сігналФункціі возбужденіяa00000a0 a10000 0001 ~ x1 x1-у0, y1-S4a10001a2 a2 a90011 0011 0010 ~ x2x1x3 ~ x2x1 ~ x3 x2y2, y3 - S3 S3 S3, R4a20011a3 a30110 0110x4 ~ x4y1, y4, y5, y6 y1, y6R4, S2 R4, S2a30110a4 a4 a90100 0100 0010 ~ x2x5 ~ x2 ~ x5 x2y2, y3 - R3 R3 R2a40100a5 a51000 1000x4 ~ x4y4, y5, y6, y7 y6, y7R2, S1 R2, S1a51000a0 a6 a60000 1100 1100x6 ~ x6x7 ~ x6 ~ x7y10 y3-R1 S2 S2a61100a711011y8S4a71101a6 a6 a8 a81100 1100 1010 1010 ~ x8x7 ~ x8 ~ x7 x8x9 x8 ~ x9y3 - y9R4 R4 R2, S3, R4 R2, S3, R4a81010a9 a90010 0010x10 ~ x10y5, y6, y11-R1 R1a90010a0 a90000 0010x11 ~ x11y12-R3 -
Логічні вирази для кожної функції збудження RS-тригера отримують за таблицею як кон'юнкції відповідних вихідних станів am і вхідних сигналів, які об'єднані знаками диз'юнкції для всіх рядків, що містять дану функцію збудження.
S1 = a4 = a2 v a5 ~ x6 = a1 v a7x8 = a0x1 v a6 = a5x6 v a8 = a3x2 v a4 v a7x8 = a3 ~ x2 v a9x114 = a1x2 v a2 v a7
Аналогічно складаються логічні вирази для функцій виходів.
y0 = a0x1 = a0x1 v a2 = a1 ~ x2x1x3 v a3 ~ x2x5 = a1 ~ x2x1x3 v a3 ~ x2x5 v a5 ~ x6x7 v a7 ~ x8x7 = a2x4 v a4x4 = a2x4 v a4x4 v a8x10 = a2 v a4 v a8x10 = a4 = a6 = a7x8 ~ x9 = a5x6 = a8x1012 = a9x11
a8x9x12
Після виділення загальних частин в логічних виразах і деякого їх спрощення отримуємо логічні рівняння для побудови функціональної схеми керуючого автомата.
S1 = a4 = a2 vh = a1 vg = y0 v a6 = y10 v a8 = a3x2 v a4 vg = tv y12 = a1x2 v a2 v a7
Аналогічно складаються логічні вирази для функцій виходів.
y0 = a0x1 = y0 v a2 = a1 ~ x2x1x3 v tx5 = y2 v x7 (hv a7 ~ x8) = a2x4 v a4x4 = y4 v y11 = a2 v y5 = a4 = a6 = g ~ x9 = a5x6 = a8x10 = a9x11 = a5 ~ x6 = a7x8 = a3 ~ x2
Ціна комбінаційної схеми по Квайну для автомата Мілі на 4 RS-тригерах С = 71.
.3 Кодування станів моделі МИЛІ на лічильнику
Вихідний стан amКод amСостояніе переходу asКод asВходной сігналВиходной сігналФункціі возбужденіяa00000a0 a10000 0001 ~ x1 x1-у0, y1-Inca10001a2 a2 a90010 0010 1001 ~ x2x1x3 ~ x2x1 ~ x3 x2y2, y3 - Inc Inc...