ему алгоритму (мікропрограмі), функціональнімі операторами Якої є символ у 1 , .. ., у m , Які ототожнюються з мікроопераціямі, в якості логічніх умів (предікатів) Використовують булеві змінні х < span align = "justify"> 1 , ..., х l . Кожна з ціх формул візначає обчислювальний процес в послідовному аспекті - встановлює порядок перевіркі логічніх умів х 1 , ..., х l і порядок Виконання мікрооперацій у 1 , ..., у m . [3]
У залежності від способу визначення віхідного сигналом в керуючих автоматах розрізняють три типи абстрактними автоматів: автомат Мілі, автомат Мура, С-автомат. У абстрактному автоматі Мілі функція віходів l задає відображення (XxS) В® < span align = "justify"> Y. У абстрактному автоматі Мура функція віходів l задає відображення S В® Y. У абстрактного С-автоматі вводяться Дві Функції віходів l 1 и l 2 , что задають відображення (XxS) В® Y 1 і S В® Y 2 відповідно. При цьом алфавіт віходів С-автомата, Y = Y 1 = Y 2 або Y = Y 1 Г€ Y 2 .
Довільній абстрактний атомат Мілі або Мура має один вхідній и один вихідний каналізац. Довільній абстрактний С-автомат має один вхідній и два вихідних каналізац [ 2 ] .
Наш алгоритм будемо реалізовуваті для автомата Мілі.
2.2 Керуючий автомат
Як видно з ріс.3.4.1 автомат винен мати 7 станів (а 0 ...
