Лазарев В.Г., Пийль Е.И. Синтез управляющих автоматов

3-е изд., перераб. и доп. – М.: Энергоатомиздат, 1989. – 328 с.Изложены методы синтеза дискретных автоматов и систем на основе наиболее распространенных формализованных языков. Особое внимание уделено процессам управления как исходных условий для задания алгоритмов функционирования управляющих автоматов. Рассмотрены разновидности процессов управления и принципы их реализации на основе различных моделей автоматов и сетей. По сравнению с изданием 1978 г. материал обновлен за счет результатов, полученных на основе сетей Петри, Е-сетей, секвенций и др.Процессы управления.
Задание условий работы автомата в виде процесса управ.
Описание и преобразование управляющих процессов.
Управляющие алгоритмы и языки их описания.
Реализация управляющего алгоритма.
Методы синтеза управляющих автоматов.
Модели управляющих автоматов и языки их описания.
Минимизация числа внутренних состояний конечных автоматов.
Кодирование автомата и его канонические уравнения.
Упрощение логической схемы автомата на этапе кодирования.
Синтез микропрограммного автомата.
Блочный синтез управляющих автоматов.