Структура, поведінка та властивості ациклічних програм досліджуються методами композиційного програмування. Встановлюються зв"язки ациклічних програм з послідовно-паралельними та ланцюговими програмами. Зокрема показано, що ациклічну програму можливо перетворити на еквівалентну послідовно-паралельну програму, яка може містити більшу кількість входжень базисних підпрограм, але не містить додаткових імен; ациклічну програму можна перетворити на еквівалентну ланцюгову за рахунок введення додаткових імен, але без додаткових входжень базисних підпрограм. Показано, що послідовна та паралельна композиції ациклічних програм також є ациклічними програмами.
Ключові слова: композиційне програмування, ациклічна програма, послідовно-паралельна програма, ланцюговапрограма.
Structure, behaviour and properties of acyclic programs are investigated by means of compositional programming methodology. Relations of acyclic programs to sequential-parallel and chain programs are revealed. In particular, it is shown that any acyclic program can be transformed into an equivalent sequential-parallel program that can have more usages of basic subroutines but does not have extra names; any acyclic program can be transformed into an equivalent chain program introducing additional names but without extra usages of basic subroutines. It is shown that sequential and parallel compositions of acyclic programs yield to programs that are acyclic too.
Key Words: compositional programming, acyclic program, sequential-parallel program, chain program.
