за початкова його стан може бути взято будь-яке з допустимих станів автомата
Розмітка ДСА за вказаними правилами показана на рисунку 5.
В результаті розмітки ДСА за вказаними правилами вдається визначити безліч внутрішніх станів УА (формула 1), що визначають потужність цієї множини
(1)
Так, для даної ДСА потужність дорівнює
В
Малюнок 5
2.2 Складання структурної таблиці переходів і виходів
Після розмітки ДСА виконується опис СУА за допомогою таблиць переходів і виходів. У процесі проектування використовують два типи таблиць - прямі і зворотні. Обидва типи таблиць містять однакові змінні [5]:
аm - стан УА, з якого здійснюється перехід за один такт автоматного часу;
аs - стан УА, в яке здійснюється перехід за один такт автоматного часу; (аm, аs) - логічне умова переходу з аm в аs; (аm, аs) - мікрокоманда (підмножина мікрооперацій), виконувана на переході з аm в аs (для автомата типу Мілі); (аm) - мікрокоманда (підмножина мікрооперацій), виконувана автоматом у стані аm (для автомата типу Мура).
Кожен рядок таблиці відповідає одному з шляхів переходу з одного стану в інший, наявному в ДСА.
Прямий таблицею переходів і виходів називають таблицю, у якій послідовно перераховуються всі переходи спочатку з першого стану в усі допустимі, потім з другого і т.д. до останнього стану.
У зворотних таблицях вказуються всі допустимі переходи з будь-яких станів спочатку в перший, потім в друге і т.д. до останнього стану.
Розгляду підлягають усі шляхи переходів від відміток аi до аj
Для автоматів допустимими є шляхи види:
ai X (аi, aj) Yk aj (2) Yk aj (3) X (ai, aj) aj (4)
Кожному шляху на ДСА виду (2) ставиться перехід УА зі стану аi в стан аj під дією комбінації вхідних сигналів X (ai, aj) з видачею вихідного сигналу Yk.
Для шляху переходу виду (3) вважають, що X (ai, aj) = 1, тобто реалізується безумовний перехід. На переході виду (4) вихідний сигнал вважається рівним Yo (порожній оператор). p align="justify"> Для заданого автомата по виконаної розмітці побудована пряма таблиця переходів і виходів (Таблиця 1).
Таблиця 1
аm, аsX (аm, аs) Y (аm, аs) аm, аsX (аm, аs) Y (аm, аs) а1a7 -a6a71Y3a2 Y2a7a11Y1a2a3 Y5a8a3 Y5a3 -a3 -a8 Y3a9 Y4a9 Y4a9 Y4а3a41Y6a9a9
