Методы синтеза и оценки сложности программ с некоторыми структурными ограничениями
Аннотация:
Работа посвящена исследованию различных классов схем программного типа, реализующих булевы функции, и установлению асимптотических оценок функций Шеннона для сложности реализации булевых функций в данных классах схем. Вводятся и исследуются модели рефлексивно-рекурсивных схем из функциональных элементов и программ, в которых допустим рекурсивный вызов процедур. Исследуется влияние глубины рекурсии на сложность реализации функций алгебры логики. Для рассматриваемых моделей предложены методы синтеза схем и программ, реализующих произвольные булевы функции, а также методы получения нижних оценок функции Шеннона для сложности реализации булевых функций, с помощью которых при определенных ограничениях было установлено асимптотическое поведение соответствующих функций Шеннона.
