lign="justify">
2. Синтез абстрактного автомата .1 Розробка асинхронного автомата
Автоматом називається дискретне пристрій, здатний приймати різні стани, під впливом вхідних сигналів переходити з одного стану в інший і виробляти вихідні сигнали.
Математичної моделлю дискретного пристрою, що володіє пам'яттю, є абстрактний автомат, який задається сукупністю п'яти кінцевих множин:
S = {A, Z, W, d, x} ,
де А = {а 0 , а 1 ... а М } - безліч стані автомата, причому
а 0 - початковий стан;
Z = { Z 1 , Z 2. .. Z f } - безліч вхідних сигналів; p>
W = { W 1 , W 2 ... W З } - безліч вихідних сигналів; p>
d - функція переходів, що забезпечує вироблення подальшого стану a S автомата в залежності від існуючого стану а M і вхідного впливу Z f ;
x - функція виходів, що забезпечує вироблення вихідного сигналу автомата в залежності від його стану і вхідного сигналу Z f .
Абстрактний автомат має один вхідний і один вихідний канали, і кожній букві вхідного алфавіту Z ставить у відповідність букву або слово вихідного алфавіту W . Найбільшого поширення набули автомати Мілі та Мура. Закон функціонування автомата Милі:
a (t + 1) = d (a (t);