Page 36 - 4128

вхідного алфавіту Z, і двома виходами, на яких з'являються
сигнали з алфавітів W і U. Відмінність С - автомата від
моделей Мілі і Мура полягає у тому, що він одночасно
реалізує дві функції виходів  1 і  2, кожна з яких характерна
для цих моделей окремо. Закон функціонування С- автомата
можна описати наступними рівняннями:

а(t + 1)= (а(t), z(t)); w(t)=  1(а (t), z(t ); u( t )=  2(а(t));
t = 0, 1, 2, ...

Вихідний сигнал U h= 2( a m ) видається весь час, поки
автомат знаходиться в стані a m. Вихідний сигнал W g= 1( am, zf
) видається під час дії вхідного сигналу Z f при знаходженні
автомата в стані a m.
Розглянуті вище абстрактні автомати можна розділити
на:
1) повністю визначені і часткові;
2) детерміновані і ймовірні;
3) синхронні і асинхронні;
Повністю визначеним називається абстрактний
цифровий автомат, у якого функція переходів і функція
виходів визначені для всіх пар ( a i, z j ).
Частковим називається абстрактний автомат, у якого
функція переходів або функція виходів, або обидві ці функції
визначені не для всіх пар( a i, z j ).
До детермінованих відносяться автомати, у яких
виконано умову однозначності переходів: автомат, що
знаходиться в деякому стані a i, під дією будь-якого вхідного
сигналу z j не може перейти більш, ніж в один стан.
Інакше це буде автомат ймовірності, в якому при
заданому стані a i і заданому вхідному сигналі z j можливий
перехід із заданою вірогідністю в різні стани.
Для визначення синхронних і асинхронних автоматів
вводиться поняття стійкого стану. Стан a s автомата
називається стійким, якщо для будь-якого стану a i і вхідного
сигналу z j таких, що ( a i, z j) = a s має місце ( a s, z j) = a s, тобто
стан стійкий, якщо потрапивши в цей стан під дією деякого
сигналу z j, автомат вийде з нього тільки під дією іншого
сигналу z k, відмінного від z j.
Автомат, у якого всі стани стійкі - асинхронний.
35