Виконано формалізацію алгоритму Флойда-Уоршала з використанням математичного апарату модифікованих систем алгоритмічних алгебр. Покроково створено низку схем, розглянуто їх особливості і можливі проблеми експериментальної реалізації. Створено узагальнену паралельну регулярну схему алгоритму, що враховує особливості як систем зі спільною пам’яттю, так із розподіленою.
Выполнена формализация алгоритма Флойда-Уоршалла с использованием математического аппарата модифицированных систем алгоритмических алгебр. Создан пошагово набор схем, рассмотрены их особенности и возможные проблемы экспериментальной реализации; а также обобщенная параллельная регулярная схема алгоритма, которая учитывает особенности как систем с разделяемой памятью, так и с распределенной.
Floyd-Warshall’s algorithm is formalized using the mathematical tool of modified algorithmic algebras systems. A set of schemes is created step-by-step, and their features and possible problems in using them are considered along with a generalized parallel regular algorithm scheme which takes into account the peculiarities of systems with shared and distributed memory.