Функциональная вершина
Материал из WEGA
Функциональная вершина (Functional vertex) - та вершина помеченного ациклического графа, представляющего некоторый терм, которая помечена символом функции.
Литература
[Евстигнеев-Касьянов/94]
Функциональная вершина (Functional vertex) - та вершина помеченного ациклического графа, представляющего некоторый терм, которая помечена символом функции.
[Евстигнеев-Касьянов/94]