Зазначений граф автомата МІЛІ (Частина1)
Суть нанесення станів на ГСА для автомата МІЛІ випливає з структурної моделі автомата (мал.25) і закону його функціонування для вихідних сигналів:
yt = l (at, ХT).
Малюнок 25
Тут вихідні сигнали yt залежать не тільки від станів автоматів в даний момент часу аt (в даному такті), але і від того які значення мають осведомітельних сигналів xt. Це означає, що в одному і тому ж стані аt автомат може виробляти різні керуючі сигнали у залежно від того, які значення отримують осведомітельних сигналів, аналізовані в даному стані.
Нехай у стані аt автомат аналізує сигнал х3. Якщо х3 = 0, то автомат вироблятиме керуючий сигнал у2, а якщо х3 = 1, то - керуючі сигнали У5 і У6 (малюнок 26).
Малюнок 26
Це відповідає ділянці ДСА, який представлений на малюнку 27.
Таким чином стан автомата аt повинно бути зазначено перед умовної вершиною х3. Цей стан відзначається зірочкою (*) на ГСА (малюнок 27).
Малюнок 27
|
