Алгоритмы синтеза дискретных автоматов

Алгоритмы синтеза дискретных автоматов — Книга посвящена проблеме автоматизации синтеза дискретных автоматов, решаемой на базе системы автоматического программирования, в основу которой положен алгоритмический язык ЛЯПАС (логический язык представления алгоритмов синтеза). Книга содержит детальное и достаточно популярное описание языка ЛЯПАС. Излагается методика программирования в языке ЛЯПАС, а также вопросы отладки составленных программ и экспериментально-статистического определения их эффективности, благодаря чему данная книга может служить первым учебным пособием по программированию в языке ЛЯПАС. Основная по объему часть книги занята изложением алгоритмов решения некоторых типичных для теории синтеза задач: решение систем логических уравнений, минимизация булевых функций, нахождение кратчайших покрытий булевых матриц и др.

Название: Алгоритмы синтеза дискретных автоматов
Автор: Закревский А. Д.
Издательство: Наука
Год: 1971
Страниц: 512
Формат: DJVU, PDF
Размер: 34,95 МБ
Качество: отличное