Розширення алгебри алгоритмів аксіомами операцій циклів
У розширення класичної алгебри алгоритмів, отримане введенням операції багатозначного елімінування, впроваджено нове розширення. На рівні алфавіту нововведеннями є впровадження в алфавіт спеціальних унітермів, якими є унітерм ознаки повернення у цикл та умовний унітерм циклу. На рівні означень операцій нововведеннями є аксіома введення і виносу унітерма в область дії операції циклічного секвентування, аксіома введення і винесення унітерма у та за область дії операції циклічного елімінування, аксіома введення і винесення унітерма у та за область дії операції циклічного паралелення.