|
-
Ключові слова:
конструювання програм, конструирование програм ; мережі Петрі, сети Петри
-
Анотація:
Введено поняття дерева з відношенням еквівалентності вершин, яка задається рівністю шляхів в комутативній півгрупі. Запропоновано алгоритм обходу такого дерева, який має поліноміальну часову характеристику.
-
Є складовою частиною документа:
-
Теми документа
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
|
