Методичні вказівки до лабораторних занять з дисципліни «прикладна теорія цифрових автоматів», страница 32

3. Якщо вхід вершини відмічається, то тільки одним символом.

4. Входи різних вершин, за винятком кінцевої, відмічаються різними символами.

Внутрішні стани на граф-схемі алгоритму для автомата Мура відмічають за окремими правилами:

1. Символом а₁ відмічаються початкова та кінцева вершини.

2. Різними символами а₂,  а₃,  а₄ … відмічаються різні операторні вершини.

3. Всі операторні вершини повинні бути відмічені.

Контрольний приклад

Приклад відмітки станів ГСА для автомата Мілі наведений на рис. 5.2.

Приклад відмітки станів ГСА для автомата Мура наведений на рис. 5.3.

Необхідна тривалість керуючих сигналів визначається за допомогою тимчасової діаграми, побудованої з урахуванням затримок сигналів в елементах операційного приладу. Період T тактуючих сигналів звичайно вибирається або рівним максимальної тривалості керуючих сигналів, або мінімальної. У цьому разі тривалість T має бути не менше часу переключення автомата з одного стану в інший.

Рисунок 5.2 – Відмітка станів ГСА для автомата Мілі

Рисунок 5.3 – Відмітка станів ГСА для автомата Мура

Після виконання відмітки станів можна приступати до побудови прямої та зворотної структурних таблиць автоматів Мілі та Мура. Структурні таблиці (пряма та зворотна) складаються з восьми стовпців (табл.5.1; табл.5.2), де

h – номер переходу;

а_m – вхідний стан;

К(а_m) – код вхідного стану;

а_s – стан переходу;

К(а_s) – код стану переходу;

Х(а_m, а_s) – логічна умова переходу зі стану а_m у стан а_s для рядка h;

Y(а_m, а_s) – мікрокоманда, що видається на переході з а_m до а_s;