Кафедра радіосистем Санкт-Петербурзького електротехнічного університету;
Доктор технічних наук, завідувач кафедри інформатики
Російського державного педагогічного університету
ім. А. І. Герцена А. В. Копильців
Затверджено редакційно-видавничим радою університету як навчальний посібник
Ерош І.Л. Михайлов В.В.
1.1. Поняття про дискретних автоматах 5
1.2. Способи завдання автоматів 7
1.3. Мінімізація числа станів абстрактного автомата 10
1.4. Приклад абстрактного синтезу автомата, заданого у вигляді оператора відповідності [5] 23
1.5. Структурний синтез кінцевого автомата 33
1.6. Забезпечення стійкості станів автомата і усунення критичних змагань (гонок) 41
2. Синтез мікропрограмних автоматів 47
2.1. Граф-схеми алгоритмів 47
2.2. Матричні схеми алгоритму 53
2.3. Об'єднання матричних схем алгоритмів 57
2.4. Побудова комбінаційної схеми автомата 63
2.4.1. Дешифрация сигналів зворотного зв'язку 64
2.4.2. Доопределение функцій збудження 66
2.4.3. Декомпозиція рівняння комбінаційної схеми автомата 67
2.5. Приклад 1. Синтез мікропрограмного автомата пристрою ділення 68
2.6. Приклад 2. Синтезу мікропрограмного автомата управління ділянкою гарту деталей 77
3. Розширення канонічної моделі цифрового автомата 81
3.1. Діаграми станів і стейтчарти 81
3.2. Гібридні автомати 85
Цифрові пристрої для контролю і управління різноманітним обладнанням використовуються дуже широко. Це можуть бути вузли і блоки універсальних або спеціалізованих обчислювальних машин, обладнання й системи управління промисловим обладнанням і комплексами обладнання. В останні роки методи синтезу цифрових автоматів застосовуються в логістиці. Формалізм дискретного автомата і його розширення лежать в основі сучасних мов уявлення і моделювання складних динамічних систем.
У посібнику наведено основні положення класичного методу синтезу автоматів (абстрактний і структурний синтез), а також дані загальні прийоми проектування т.зв. мікропрограмних автоматів, що дозволяє ієрархічно будувати пристрої необмеженої складності.
Завдання на проектування цифрового автомата можна сформулювати по-різному. Так, для простих пристроїв в завданні перераховуються всі вхідні і відповідні їм вихідні послідовності. Такий спосіб завдання називається завданням автомата у вигляді оператора відповідності. Для більш складних цифрових автоматів завдання може містити опис алгоритму операції або список алгоритмів операцій, які повинен виконувати над вихідними цифровими даними проектований автомат.