2.2.2. Таблиця переходів автомата
Для кожного стану ai визначаю по ГСА всі шляхи, які ведуть в інші стани.
Я буду будувати зворотну таблицю переходів для автомата Мура, тому що я синтезую автомат на базі D-тригера.
Табл.3. Таблиця переходів D-тригера
Am as(Y) Kas Xamas D1 D2 D3 D4 D5 | a23 | a24 a1(-) 00010 1 | X2 D4 | D4 | U | a12 | a11 a2(Y1,Y2) | 00100 | 1 |
1 | D3 | D3 | a1 a3(Y1,Y4) 11000 1 D1 D2 | a2 a4(Y3) 00111 X4 D3 D4 D5 A | a3 a5(Y7) 01011 X3 D2 D4 D5 B | a2 a6(Y4,Y5) 10011 X4X2 D1 D4 D5 C | |||
a3 | a4 a7(Y2,Y6) | 01000 | X3 | 1 D2 | D2 | a2 | a5 | a6 | |
a7 a8(Y1,Y8) 00000 X4X2X1 | X1 | 1 | 1 | a2 | a5 a9(Y5,Y9) 10000 X4X2X1 | X1 D1 | D1 V | W | a8 a10(Y4) 01110 X4 D2 D3 D4 D |
a10 a11(Y4,Y5) 10110 1 D1 D3 D4 | a8 | a9 a12(Y3,Y10) 00011 X4X3 | X4X3 D4 | D4 D5 | D5 E | F | a8 | a9 | a9 a13(Y6) 00001 X4X3 |
X4X3 | X4X1 | D5 | D5 | D5 X | a9 | a13 a14(Y2,Y4) 00101 X4X1 | 1 D3 | D3 D5 | |
D5 G | a24 | a25 a15(Y3,Y6) 01001 X2 | 1 D2 | D2 D5 | D5 H | a14 | a15 a16(Y7) 10001 1 | X5 D1 | |
D1 D5 | D5 | I | a16 a17(Y1,Y9) 11100 X1 D1 D2 D3 J | a15 | a16 a18(Y8) 00100 X5X6 | X1 D3 | D3 D4 | D4 K | L |
a15 a19(Y3) 10101 X5X6 D1 D3 D5 M | a17 | a18 a20(Y2,Y4) 01010 1 | X2 D2 | D2 D4 | D4 | N | a18 | a19 a21(Y3,Y6) 10010 X2 | 1 D1 |
D1 D4 | D4 O | a20 | a21 a22(Y7) 01100 1 | X5 D2 | D2 D3 | D3 | P | a22 a23(Y1,Y9) 01101 X1 D2 D3 D5 Q | a21 |
a22 a24(Y8) 10100 X5X6 | X1D1 | D1 D3 | D3 R | S | a21 a25(Y3) 11001 X5X6 D1 D2 D5 T |
2.2.3. Кодування станів
Кодування станів буде проводитися за таким алгоритмом:
1. Кожному стану автомата аm (m = 1,2,...,M) ставиться у відповідність ціле число Nm, рівне числу переходів у стан аm (Nm дорівнює числу появ аm у поле таблиці ).
2. Числа N1, N2, ..., Nm упорядковуються по убуванні.
3. Стан аs з найбільшим Ns кодується кодом: , де R-кількість елементів пам'яті.
4. Наступні R станів згідно списку пункту 2 кодуються кодами, що містять тільки одну 1:00 ... 01, 00 ... 10, ... , 01 ... 00, 10 ... 00.
5. Для станів, що залишилися, знову в порядку списку п.2. використовують коди з двома одиницями, потім із трьома і так далі поки не будуть закодовані вес стани.
У результаті виходить таке кодування, при якому чим більше мається переходів у деякий стан, тим менше одиниць у його коді. Вираження для функцій збудження будуть простіше для D-тригерів, тому що функції порушення однозначно визначаються кодом стану переходу.
Результати кодування за цим алгоритмом заношу до таблиці 3.
... определенным называется абстрактный цифровой автомат, у которого функция переходов или функция выходов, или обе эти функции определены для всех пар переходов (xi,aj). Частичным называется абстрактный цифровой автомат, у которого функция переходов или функция выходов, или обе эти функции определены не для всех пар переходов (xi,aj). Абстрактный цифровой автомат называется инициальным, если на ...
... булевої алгебри. Аналітичний спосіб задання булевих функцій займає особливе місце в проектуванні цифрових машин. Фактично, всі перетворення над булевими ф-ціями, необхідні для побудови цифрових машин, ведуться на аналітичному рівні. Розглянемо області визначення булевоі ф-ції. Як уже відмічалось, між двійковими наборами і двійковими числами існує взаємнооднозначна відповідність. Отже, існує 2n рі ...
... y35 RS1:=Z1 y11 36 RS1 := RS2 + RS1 RS1 y26 RS2 y30 RS1+RS2 y40 RS1:=Z2 y10 Рис. 1.7 – Структурна граф-схема операційного автомата 2. СИНТЕЗ КЕРУЮЧИХ АВТОМАТІВ З ЖОРСТКОЮ ЛОГІКОЮ На практиці використовуються дві моделі МПА - автомат Милі й автомат Мура, розходження між якими полягає у функції ...
. 2002 Керівник: Ніколенко А.О. Прийняв до виконання: Ткаченко І.О. Зміст Завдання на розробку Зміст Синтез комбінаційної схеми Розрахування значень Мінімізація БФ Комбінаційна схема Проектування автоматів Вибір завдання Автомат Мура Автомат Мілі Заключення Перелік літератури 1 Синтез комбінаційної схеми 1.1 Визначення значень БФ Булева функція 5 змінних ...
0 комментариев