Функциональная вершина

Материал из WikiGrapp
Перейти к навигации Перейти к поиску

Функциональная вершина (Functional vertex) - та вершина помеченного ациклического графа, представляющего некоторый терм, которая помечена символом функции.

Литература

[Евстигнеев-Касьянов/94]