Page 110 - 4128

1. Отримання відміченої ГСА.
2. Побудова графа автомата або таблиць переходів і
виходів.
Синтез автомата Мілі

На етапі отримання відміченої ГСА входи вершин,
наступних за операторними, відзначають символами a1, a2,.. за
наступними правилами:
1 символом а1 відзначають вхід вершини, наступної за
початковою, а також вхід кінцевої вершини;
2 входи всіх вершин наступних за операторними, повинні
бути відмічені;
3 входи різних вершин, за винятком кінцевої,
наголошуються різними символами;
4 якщо вхід вершини наголошується, то тільки одним
символом.
Ясно, що для проведення відміток потрібно кінцеве число
символів а1,...,a m. Результатом першого етапу є відмічена ГСА,
яка служить основою для другого етапу - переходу до графа або
таблиць переходів-виходів. Приклад ГСА, відміченої для
автомата Мілі, представлений на рис. 6.1.

109