Семантическая теория проектирования автоматов

В книге изложена теория проектирования автоматов, основанная на семантике проводимых преобразований. Семантическая основа теории дает возможность интерпретировать исходную информацию в категориях решений, что позволяет вырабатывать оптимальные стратегии при проектировании автоматов большой размерности. Все вопросы, возникающие при проектировании автоматов, начиная от построения алгоритма управления и кончая его реализацией на заданных средствах, рассмотрены с единых структурно-семантических позиций. Теория иллюстрируется многочисленными практическими примерами. Книга предназначена для научных работников, инженеров, аспирантов и студентов, специализирующихся в области проектирования вычислительных, контрольных и управляющих цифровых комплексов.