Программный комплекс для преобразования алгоритмов вычисления дискретных функций в выражения исчисления высказываний

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