Алгебраїчна характеристика класу графових перетворювачів, які зберігають денотати

Abstract

Розглянуто клас функцій, які зберігають денотати на множині графів. Визначено породжуючу множину алгебри функцій, які зберігають денотати на новому носії — графі, а також доведено її повноту.

Рассмотрен класс функций, сохраняющих денотаты на множестве графов. Определено порождающее множество алгебры функций, сохраняющих денотаты на новом носителе — графе, а также доказана его полнота.

The class of all saving denotations functions depending on finite graphs is considered. A generating set for the algebra of saving denotations graph functions is found, and it is also proved that this set is complete.