Мелихов А.Н. Ориентированные графы и конечные автоматы

Монография. — М.: Наука, 1971. — 415 с.: ил. — (Теоретические основы технической кибернетики).В монографии рассматриваются вопросы преобразования ориентированных графов и излагается систематический подход к логическому проектированию автоматов методами теории графов. Описываются свойства теоретико-множественных и алгебраических операций над графами и решаются задачи разложения сложных графов на более простые по различным операциям. Определяются основные понятия теории автоматов и формулируются алгоритмы абстрактного анализа и синтеза автоматов. Изучается алгебра абстрактных автоматов и рассматривается проблема декомпозиции автоматов.Книга рассчитана, на специалистов в области теоретической кибернетики и вычислительной техники, а также студентов и аспирантов соответствующих специальностей.Предисловие (8).
Некоторые понятия теории графов (11).
Теоретико-множественные свойства графов (34).
Алгебраические свойства графов (64).
Разложение графов по алгебраическим и теоретико-множественным операциям (99).
Основные понятия теории автоматов (154).
Абстрактный анализ и синтез автоматов (196).
Алгебра абстрактных автоматов (227).
Декомпозиция абстрактных автоматов (273).
Структурный синтез автоматов (335).
Библиография (381).
Предметный указатель (414).