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

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

Bibliographic Details
Main Author: Закревский, Аркадий Дмитриевич 1928-2014
Format: eBook
Language:Russian
Published: М. Наука. Физматлит 1971
Series:Теоретические основы технической кибернетики
Subjects:
дискретные автоматы.
автоматизация программирования.
алгоритмические языки.
ЛЯПАС, язык программирования логический
методика программирования.
синтез дискретных автоматов.
системы логических уравнений.
минимизация булевых функций.
булевы матрицы.
булевы векторы.
операнды ЛЯПАС.
линейные программы.
циклические программы.
синтаксис ЛЯПАС.
абстрактная модель вычислительной машины.
программирование иерархическое.
операции над булевыми алгебрами.
операции над троичными матрицами.
канонизация булевых матриц.
троичные матрицы.
троичные матрицы вырожденные.
булевы функции.
Квайна матрица простая.
дизъюнктивные нормальные формы.
метод конкурирующих интервалов.
эффективность программ минимизации.
задачи теории графов.
функциональные модели автоматов.
структурные модели автоматов.
синтез комбинационных автоматов.
синтез асинхронных автоматов.
автоматическое программирование логических задач.
Online Access:https://www.lib.tsu.ru/limit/2022/000070257/000070257.pdf
Перейти в каталог НБ ТГУ
Description
Physical Description:511 с. ил.
Bibliography:Библиогр.: с. 502-504
Предм. указ.: с. 505-511

Similar Items