|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Синтез бинарных программ с преобладанием команд переадресующего типа
В. В. Жуков Московский государственный университет имени М.В. Ломоносова, г. Москва, 119991, Россия
Аннотация:
В работе рассмотрена модель бинарных программ, реализующих функции алгебры логики (булевы функции), состоящих из одного или нескольких модулей, которые содержат команды трех типов: вычислительные, переадресующие и команды вызова процедур. В данной модели также допускается рекурсивный вызов процедур, то есть в процессе выполнения бинарной программы процедуры могут непосредственно или через другие процедуры вызывать сами себя. Введено понятие произвольного базиса для команд переадресующего типа в качестве обобщения известных моделей. Представлены методы получения нижних и верхних оценок функции Шеннона для сложности реализации булевых функций в классе бинарных программ. Предложенные методы позволили установить асимптотику функции Шеннона в случае, когда удельный вес переадресующих команд меньше удельного веса команд вычислительного типа.
Ключевые слова:
бинарные программы, функция Шеннона, асимптотические оценки.
Поступила в редакцию: 23.08.2021
Образец цитирования:
В. В. Жуков, “Синтез бинарных программ с преобладанием команд переадресующего типа”, Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки, 163, № 3-4, Изд-во Казанского ун-та, Казань, 2021, 276–290
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/uzku1596 https://www.mathnet.ru/rus/uzku/v163/i3/p276
|
|