>
Найбільшого поширення набули два види автоматів:
автомат Мілі.
автомат Мура.
Різниця між цими автоматами полягає в тому, що вихідний сигнал в автоматі Мілі залежить як від попереднього стану, так і від вхідного впливу. У той час як в автоматі Мура вихідний сигнал залежить тільки від стану в даний момент часу. p align="justify"> Для аналізу і синтезу автоматів використовуються найчастіше таблиці переходів і таблиці виходів, так як за формулами важко скласти алгебру роботи, тобто чітке вхідний вплив і відповідний вихідний сигнал. Це свого роду таблиці істинності, але кілька своєрідної форми подання. p align="justify"> У синхронному автоматі здійснюється синхронізація зовнішніх і внутрішніх сигналів.
Синтез абстрактного автомата полягає в отриманні таблиці переходів і таблиці виходів або графа. Далі здійснюється структурний синтез, мета якого полягає в побудові схеми, реалізує автомат. У структурній теорії автомат представляється як сукупність двох частин: пам'яті і комбінаційної схеми [3]. p align="justify"> За завданням необхідно розробити синхронний кінцевий автомат, заданий таблицею переходів (таблиця 5) і таблицею виходів (таблиця 6).
Для синтезу схеми застосовуються D-тригери і логічні елементи базису І-АБО-НЕ. Синтез проводиться графічним методом. p align="justify"> Таблиця 5
a1a2S0S1S0S1S2S1S2S0S3S3S3S4S4S4S2a1a2S011S111S200S300S400
Виходячи з таблиці переходів, в автомат надходить два вхідних сигналу (а1 і а1). Зашифруємо вхідні сигнали за допомогою змінної X, яка може приймати два значення: 1 - відповідає вхідному сигналу а1, 0 - відповідає вхідному сигналу а2. p> Виходячи з таблиць переходів і виходів, автомат має 5 внутрішніх станів (S0, S1, S2, S3 і S4). Зашифруємо ці стани за допомогою змінних b1, b2 і b3, які можуть приймати значення 1 або 0. Позначимо S0 як 000, це означає, що і так далі. Відповідність між внутрішніми станами і змінними b1, b2, b3 наведено в таблиці 7. p> Виходячи з таблиці виходів, автомат має два вихідних стану (1 і 0).
Зашифруємо вихідні сигнали за допомогою змінної Y, яка може приймати два значення: 1 - відповідає вихідного станом 1, 0 - відповідає вихідного стану 0. Так як в якості пам'яті використовуються D-тригери, то при переході з одного внутрішнього стану в інший при зміні змінної bi з 0 на 1 або з 1 на 1 на i-ий вхід D-тригера повинна подаватися одиниця. Дане положення відбивається на графі автомата. p> Таблиця 7
b1b2b3S0000S1001S2010S3011S4100
Уявімо автомат у вигляді графа (малюнок 10). Цифри в гуртках позначають внутрішні стану. br/>
Рис. 10. Граф автомата
В результаті проведен...
