Вказано на відомі методи інтуїтивного опису алгоритмів, якими є віртуальні машини Т'юрінга, Поста, Колмогорова, Шонгаге, Ахо - Ульмана - Хопкрофта, а також алгоритми Маркова і Крініцкого та рекурсивні функції, засобами яких алгоритми описуються не формалізовано. Дефініцію розширеної алгебри алгоритмів надано за допомогою аксіоматичного методу. Алгебра базується на операціях секвентування, багатозначного елімінування, паралелення та реверсування, а також циклічного секвентування, циклічного елімінування та циклічного паралелення, які виконуються над унітермами. Розширення стосується введення операції багатозначного елімінування. Проілюстровано ефективність розширеної алгебри алгоритмів.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"