Некоторые аспекты преобразования алгоритмов на основе формализации информационных связей

Abstract

У рамках алгебраїчного апарату здійснено формалізацію інформаційних зв’язків між операторами, що входять в регулярні схеми, за допомогою яких описуються алгоритми. На основі проведеної формалізації показано можливість специфікації таких зв’язків і доведено можливість перетворення регулярних схем з метою зменшення довжини зв’язків між операторами.Algebraic tools are used to formalize information connections between operators that appear in regular circuits and describe algorithms. Based on the formalization, it is shown that such connections can be specified and regular circuits can be transformed to reduce the length of connections between operators.