Рассмотрение вопроса последовательного доопределения граф-схемы абстрактного алгоритма и представления его двудольным графом. Определение возможности задания алгоритмов в матрично-предикатном виде. Анализ особенностей доопределения оператора действия.
Аннотация к работе
Волгоградский государственный технический университет.