Использование канонического описания графа алгоритма для определения свойств программтезисы доклада