Короткий опис (реферат):
Наведено формальний апарат  алгебру алгоритмів, що базується на даних та орієнтована на опис алгоритмів у вигляді регулярних і композиційних схем. Показано можливість специфікації оброблюваних даних у рамках композиційної схеми й отримано властивості цих даних.