Унификация алгебраических выражений

Алгоритм унификации выполняет обход дерева выражения, начиная с корня дерева.Таким образом, выполнение унификации предполагает построение дерева выражения.Для задания продукций (подстановок) , используемых для унификации выражений, применяется класс.Таким образом, процесс унификации выражения складывается из трех последовательно выполняемых этапов.Унификация выражения в префиксной форме.В наибольшей степени заданию выражения в форме дерева соответствует префиксная форма записи.Это преобразование является частным случаем задачи трансляции выражений.Строка с выражением сканируется слева направо.Если очередной элемент выражения открывающая скобка, то она безусловно заносится в стек операций.На вершине стека операндов будет находиться ссылка на выражение в префиксной форме.