Закревский А.Д. - Алгоритмы синтеза дискретных автоматов

Автор(ы)

Теоретические основы технической кибернетики

Год

1971

Язык

rus

Теги

Программирование

Аннотация

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