Page 35 - 4128

час як дійсну змінну і виразити вихідний сигнал як функцію
стану і входу в даний момент часу.
На практиці найбільше поширення набули два класи
автоматів - автомати Мілі (Mealy) і Мура (Moore).
Закон функціонування автомата Мілі задається
рівняннями:
а(t+1)= (а(t), z(t)); w(t)= (а(t), z(t)), t = 0,1,2,...

Закон функціонування автомата Мура задається
рівняннями:
а(t+1)=(а(t), z(t)); w(t)= (а(t)), t = 0,1,2,...
З порівняння законів функціонування видно, що, на
відміну від автомата Мілі, вихідний сигнал в автоматі Мура
залежить тільки від поточного стану автомата і в явному
вигляді не залежить від вхідного сигналу. Для повного
задання автомата Мілі або Мура додатково до законів
функціонування, необхідно вказати початковий стан і
визначити внутрішній, вхідний і вихідний алфавіти.
Окрім автоматів Мілі і Мура іноді виявляється зручним
користуватися суміщеною моделлю автомата, так званим С-
автоматом.
Під абстрактним С- автоматом розуміється
математична модель дискретного пристрою, що визначається
восьмикомпонентним вектором S=( А, Z, W, U, ,  1,  2, а1 ), у
якого:
1. A={a 1, a 2, ...,a m} - безліч станів;
2. Z={z 1, z 2, ...,z f} - вхідний алфавіт;
3. W={w 1, w 2, ..., w g} - вихідний алфавіт типу 1;
4. U={u 1, u 2,...,u h} - вихідний алфавіт типу 2;
5.  : А  Z  А - функція переходів, яка реалізує
відображення D  АZ в А;
6.  1 : А  Z  W - функція виходів, яка реалізує
відображення D 1 АZ в W;
7.  2 : А  U - функція виходів, яка реалізує відображення D 2
 А в U;
8. а 1  А - початковий стан автомата.

Абстрактний С- автомат можна представити у вигляді
пристрою з одним входом, на який надходять сигнали з
34