Методика доопределение последовательного алгоритма

Аннотация

Поляков С.В., Авдеюк О. А. , Павлова Е.С., Лемешкина И.Г., Приходькова И.В., Никулин Р.Н.

Дата поступления статьи: 22.01.2020

в статье описан вариант задания последовательных алгоритмов в виде двудольных графов путём их доопределения, что дает возможность в дальнейшем работать с алгоритмами методами теории графов. Рассмотрены две формы задания: модульная и функционально-предикативная. Показана возможность задания алгоритма в таблично-предикатном виде. Сделан вывод о том, что кроме общепринятых способов задания алгоритма, он может быть задан в матрично-предикатном или таблично-предикатном виде, что позволяет при работе с алгоритмами использовать также методы теории матриц и методы теории предикатов; задание алгоритма в матрично-предикатном виде позволяет избежать изоморфизма при проведении алгебраических и теоретико-множественных операций над ним.; задание алгоритмов в матрично-предикатном виде позволяет проводить практически любые операции над ними

Ключевые слова: граф-схема алгоритма, последовательный алгоритм, предикативный блок, функциональный блок, дооопределение, двудольный граф, таблично-предикативная форма, теория графов, изоморфизм

05.13.18 - Математическое моделирование, численные методы и комплексы программ

`