Обложка Закревский А.Д. Алгоритмы синтеза дискретных автоматов
Id: 271265

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

URSS. 2021. 512 с.

Аннотация

Настоящая книга посвящена проблеме автоматизации синтеза дискретных автоматов, решаемой на базе системы автоматического программирования, в основу которой положен алгоритмический язык ЛЯПАС (логический язык представления алгоритмов синтеза).

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

Книга рекомендуется специалистам в области вычислительной техники и дискретной математики, студентам и аспирантам соответствующих специальностей вузов, а также читателям, интересующимся использованием компьютеров для решения логических задач.


Об авторе
Закревский Аркадий Дмитриевич
Известный ученый, специалист в области технической кибернетики и информатики. Член-корреспондент Национальной академии наук Беларуси с 1972 г., доктор технических наук (1967), профессор (1969). Окончил Томский государственный университет (1956). С 1959 по 1971 гг. работал в этом университете; был заведующим кафедрой математической логики и программирования. В 1971–1994 гг. заведующий лабораторией логического проектирования. С 1994 г. главный научный сотрудник Института технической кибернетики Национальной академии наук Беларуси, одновременно профессор Белорусского государственного университета информатики и радиоэлектроники. Последнее место работы: Объединенный институт проблем информатики НАН Беларуси (главный научный сотрудник).

Автор работ по теории автоматов, системному программированию, логико-комбинаторным методам в технике и информатике. Предложил язык программирования логических задач ЛЯПАС, на базе которого была создана серия систем автоматизированного проектирования дискретных устройств. Разработал серию практически эффективных алгоритмов минимизации булевых функций и систем, решения больших систем логических уравнений и переопределенных систем линейных логических уравнений с приложениями в логическом синтезе и защите информации. Автор более 400 научных работ, в том числе 11 монографий.