укв вводиться будь розділяє їх буква, що не несе інформації.
Найбільш поширеним способом завдання автомата є таблиця переходів і таблиця виходів. На перетині i-го рядка і j-го стовпчика таблиці переходів вказується те внутрішньо стан, в який автомат перейде з внутрішнього стану Si (i-й рядок) під дією вхідних сигналів, відповідних стану входу Xj (j-й стовпець).
Синтез абстрактного автомата полягає в отриманні таблиці переходів і таблиці виходів або графа. Далі здійснюється структурний синтез, мета якого полягає в побудові схеми, реалізує автомат із заданих логічних елементів.
Автомат, запропонований для синтезу, заданий таблицею переходів (табл. 2.1) і таблицею виходів (табл. 2.2).
Визначимо кількість елементів пам'яті, необхідний для реалізації заданого автомата. Т. к. автомат повинен мати 5 станів, то кількість тригерів визначимо з виразу:
Таблиця 2.1 - Таблиця переходів Таблиця 2.2 - Таблиця виходів
Отже, нам необхідно мати три елементи пам'яті. Тепер можна закодувати стану автомата (табл. 2.3) і відповідно до отриманої кодуванням перезапишіть таблицю переходів (табл. 2.4) та таблицю виходів (табл. 2.5). Кодування станів полягає в зіставленні кожному внутрішньому стану автомата однією з довічних комбінацій. Наприклад, станом S0 поставимо у відповідність двійкову комбінацію 000. Потім складається кодованих таблиця переходів, що утворюється з вихідної шляхом заміни символів, що описують стану, їх двійковими комбінаціями.
Таблиця 2.3 Таблиця 2.4 Таблиця 2.5
Кодована таблиця переходів дає можливість визначити поведінку асинхронного кінцевого автомата при зміні вхідних сигналів і переході його з одного стану в інший. Стан автомата повинно зберігатися в елементах пам'яті, і, як уже зазначалося, в даному випадку автомат повинен мати мінімум три елементи пам'яті. Якщо уважно подивитися на кодовану таблицю переходів, то можна помітити, що при деяких переходах з одного стану в інший змінюється кілька розрядів кодової комбінації, яка визначає стан автомата.
Явище, при якому виникають умови для зміни стану одночасно більше, ніж одного елемента пам'яті, називається змаганням елементів пам'яті. Якщо в результаті змагання не відбувається порушення роботи схеми, то таке змагання називають некритичним. Якщо ж змагання призводять до порушень роботи схеми, то вони називаються критичними. Для того, щоб асинхронний кінцевий автомат правильно функціонував, в ньому повинні бути вилучені критичні змагання.
Виділимо в таблиці переходів клітини з критичними змаганнями елементів пам'яті символом «*», а в клітинах, відповідних стійким станам проставимо дужки. Як тепер видно з таблиці переходів при даному кодуванні в схемі може виникнути одне критичне змагання. Правильна робота автомата гарантується тільки в тому випадку, коли в його роботі виключені небезпечні відмови. Для їх виключення скористаємося методом заміни однотактного переходу багатотактних. Перехід 011 ® 110 можна замінити двотактним переходом 011 ® 111 ® 110. Для реалізації такого переходу необхідно ввести неосновне стан 111. Таким чином, ми отримали таблицю переходів автомата без критичних змагань (табл. 2.6).
Таблиця 2.6
Для синтезу асинхронного автомата будемо використовувати D - тригери (таблиця станів див. табл. 1.8).
Складемо узагальнену таблицю (табл. 2.7), що описує роботу авт...
