Алгоритмы синтеза дискретных автоматов
Год издания: 1971
Автор: Закревский А.Д.
Издательство: Наука
Серия: Теоретические основы технической кибернетики
Язык: Русский
Формат: DjVu
Качество: Отсканированные страницы
Количество страниц: 512
Описание: Книга посвящена проблеме автоматизации синтеза дискретных автоматов, решаемой на базе системы автоматического программирования, в основу которой положен алгоритмический язык ЛЯПАС (логический язык представления алгоритмов синтеза).
Книга содержит детальное и достаточно популярное описание языка ЛЯПАС. Налагается методика программирования в языке ЛЯПАС, а также вопросы отладки составленных программ и экспериментально-статистического определения их эффективности, благодаря чему данная книга может служить первым учебным пособием по программированию в языке ЛЯПАС. Основная по объему часть книги занята изложением алгоритмов решения некоторых типичных для теории синтеза задач: решение систем логических уравнений, минимизация булевых функций, нахождение кратчайших покрытий булевых матриц и др.
Оглавление
КРАТКОЕ ОГЛАВЛЕНИЕ:
Предисловие (9).
Глава 1. Язык ЛЯПАС (19).
Глава 2. Операции над булевыми и троичными матрицами (144).
Глава 3. Булевы функции, логические уравнения, графы (269).
Глава 4. Синтез дискретных автоматов (388).
Приложение. Список подпрограмм (498).
Литература (502).
Предметный указатель (505).
Доп. информация: Скан: AAW, обработка, формат Djv: pohorsky, 2018
