Зазначений граф автомата МУРА (Частина 2)
Якщо в ГСА зустрічається чекає вершина, як це показано на малюнку 21, то дузі зворотного зв'язку необхідно поставити порожній оператор і відзначити його стан (мал.22).
Це означає, що автомат знаходиться в режимі очікування і при Х = 0 буде знаходитися в стані а без вироблення керуючих сигналів (Y = 0).
На малюнку 21 вершина "begin" з'єднана з чекає вершиною Х0. Однак тут немає необхідності вводити порожній оператор, так як він вже є і знаходиться в вершині "begin". Цей зв'язок можна було б відобразити в ГСА так як це показано на малюнку 23.
Однак цей зв'язок збережемо як на малюнку 21, як прийнято на практиці, але тільки для вершини "begin" (за замовчуванням).
Всі переходи автомата з одного стану в інший можна відобразити в графі автомата (мал.24), де в вершинах графа відзначаються стану автомата (а0, а1, а2, ...), а дуги, що з'єднують ці вершини, показують напрямок переходу. На дузі зазначаються умови, при яких здійснюється цей перехід. Якщо перехід здійснюється завжди (без умов), як наприклад зі стану а2 в а3, то на його дузі записується одиниця.
Малюнок 24
Перехід зі стану а0 в а0 виконується якщо х0 = 0, тобто при , а перехід з а0 в а1 - при х0 = 1, тобто при х0.
Перехід з а3 в а2 буде здійснюватися, якщо х1 = 1 і х2 = 0. На дузі відзначається х1 .
Всі інші переходи можна проаналізувати самостійно.
|
