Page 112 - 4128

На другому етапі, з відміченої ГСА, будують граф
автомата або таблиці переходів-виходів. Для цього вважають, що
в автоматі буде стільки станів скільки символів a i знадобилося
при відмітці ГСА.
На площині малюнка відзначаємо всі стани автомата ai.
Для кожного із станів ai визначаємо по відміченій ГСА всі
шляхи, що ведуть в інші стани і проходять обов'язково тільки
через одну операторну вершину. Наприклад, із стану а1 (рис.
6.1) є перехід в стан a2 (шлях проходить через операторну
вершину y1 y2) і в стан a4 (шлях проходить через вершину y3 y4).
Переходу з a1 в a3 немає, оскільки на цьому шляху немає жодної
операторної вершини. Вважатимемо, що автомат здійснює
перехід, наприклад, з a1 в a2 за умови x1 = 0 або x1 (см.ГСА,
рис.6.1 ) і виробляє на цьому переході вихідні сигнали у1 у2 (те,
що записане в прохідній операторній вершині ГСА, рис. 6.1.).
Значення умов х2, х3, х4 на цьому переході не робить впливу на
автомат.
Виключення складає тільки шлях, що веде в кінцеву
вершину, він може не містити жодної операторної вершини
(наприклад, перехід з а6 в а1), тобто не супроводжується
виробленням вихідних сигналів.
Відзначаємо на графі всі вказані шляхи для всіх станів у
вигляді дуг, яким приписуємо умови переходу і вихідний сигнал,
що виробляється на цьому переході. Одержимо граф автомата
(рис. 6.2 ).

111