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

Материал из WEGA

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

Литература

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

Источник — http://pco.iis.nsk.su/wega/index.php?title=Функциональная_вершина&oldid=5157