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

Материал из WEGA

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

Литература

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