|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Синтез бинарных программ с преобладанием команд переадресующего типастатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКСтатья опубликована в журнале из списка Web of Science и/или Scopus
- Автор: Жуков В.В.
- Журнал: Ученые записки Казанского университета. Серия Физико-математические науки
- Том: 163
- Номер: 3
- Год издания: 2021
- Издательство: Федеральное государственное автономное образовательное учреждение высшего образования "Казанский (Приволжский) федеральный университет"
- Местоположение издательства: Казань
- Первая страница: 276
- Последняя страница: 290
- DOI: 10.26907/2541-7746.2021.3-4.276-290
- Аннотация: В работе рассмотрена модель бинарных программ, реализующих функции алгебры логики (булевы функции), состоящих из одного или нескольких модулей, которые содержат команды трех типов: вычислительные, переадресующие и команды вызова процедур. В данной модели также допускается рекурсивный вызов процедур, то есть в процессе выполнения бинарной программы процедуры могут непосредственно или через другие процедуры вызывать сами себя. Введено понятие произвольного базиса для команд переадресующего типа в качестве обобщения известных моделей. Представлены методы получения нижних и верхних оценок функции Шеннона для сложности реализации булевых функций в классе бинарных программ. Предложенные методы позволили установить асимптотику функции Шеннона в случае, когда удельный вес переадресующих команд меньше удельного веса команд вычислительного типа.
- Добавил в систему: Жуков Владимир Владимирович
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | Zhukov.pdf | 797,1 КБ | 26 октября 2022 [zhukov] |