Аскеров Ч.И., Гамидов В.В. Эквивалентные представления дискретных устройств

М.: Энергия, 1978. — 120 с.: ил. — (Библиотека по автоматике. Выпуск 580).В книге излагаются принципы синтеза и анализа дискретных управляющих устройств и схем управления цифровыми ЭВМ, основанные на преобразовании графа перехода конечного автомата с соответствующими равносильными представлениями его функциональной структуры.
Книга предназначена для инженеров, занимающихся разработкой и проектированием дискретных управляющих устройств и вычислительных машин, а также для научных работников, аспирантов и студентов старших курсов соответствующих специальностей.Графы и алгоритмы преобразования.
Основные понятия и определения.
Оптимальное двудольное разложение графа.
Методы приближенного решения задачи разложения.
К задаче раскраски вершин графа.
Максимальные подграфы гиперкуба.
Квазиэквивалентные преобразования автомата.
Модель конечного автомата.
Некоторые способы задания автомата.
Эквивалентность и квазиэквивалентность.
Основные конструктивные приемы преобразований.
Модель автомата с комбинированной памятью.
Методы квазиэквивалентных представлений автоматов.
Преобразование режимов работы автомата.
Автоматы с двухтактной синхронизацией.
Автоматы с многотактной синхронизацией.
Устранение критических состязаний элементов памяти автомата.
Некоторые разновидности представлений автоматов.
К вопросу реализации автомата на сдвиговых регистрах.
Список литературы.