Структура, поведінка та властивості ациклічних програм досліджуються методами композиційного програмування. Встановлюються зв"язки ациклічних програм з послідовно-паралельними та ланцюговими програмами. Зокрема показано, що ациклічну програму можливо перетворити на еквівалентну послідовно-паралельну програму, яка може містити більшу кількість входжень базисних підпрограм, але не містить додаткових імен; ациклічну програму можна перетворити на еквівалентну ланцюгову за рахунок введення додаткових імен, але без додаткових входжень базисних підпрограм. Показано, що послідовна та паралельна композиції ациклічних програм також є ациклічними програмами.
Ключові слова: композиційне програмування, ациклічна програма, послідовно-паралельна програма, ланцюговапрограма.
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 add&itional 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.
