Page 46 - Г

δ : Q Y Q – функція переходів, яка встановлює
залежність внутрішнього стану автомату в наступний момент
часу від стану входу і внутрішнього стану в теперішній
момент часу;
λ : Q Y X – функція виходів, яка встановлює залежність
стану виходу автомата від стану входу і внутрішнього стану.
Наявність множини внутрішніх станів автомата
характерно тільки для автомата з пам’яттю, в якого вихід
залежить не тільки від стану входу в даний момент часу, але і
від сигналів, які поступали на вхід автомата раніше. Автомат
із кінцевою пам’яттю має кінцеву кількість внутрішніх станів.
В автомата без пам’яті вихід визначається тільки входом і не
залежить від внутрішнього стану. Такий автомат можна
розглядати як автомат, що визначається вектором S={Y,X,λ},
тобто має один внутрішній стан. Автомати без пам’яті часто
називають комбінаційними схемами. Кінцеві автомати можуть
бути синхронними і асинхронними в залежності від того, чим
визначається тривалість інтервалу часу при незмінному стані
входу автомата. В синхронному автоматі вхідні сигнали діють
на його вхід тільки моменти часу, що визначаються
генератором тактових (або синхронізуючих) сигналів. В
асинхронному автоматі тривалість незмінного стану входу є
змінною величиною, залежною тільки від зміни стану входу,
яка відбувається після того, як автомат перейшов у певний
внутрішній стан. В якості математичної моделі апаратних КА
може бути використаний асинхронний автомат із кінцевою
пам’яттю структурна схема якого наведена на рис.3.2.

Комбінаційна
частина

Пам’ять

Рисунок 3.2–Структурна схема асинхронного автомата
з кінцевою пам’яттю

Входи Виходи
1 2 3

4

Рисунок 3.3–Структурна схема керуючого програмно –
логічного пристрою