Здравствуйте, maggot, Вы писали:

M>Ещё такой вопрос.
M>Допустим, у меня математическое выражение представлено деревом (в узлах операторы(унарные и бинарные), в листьях переменные и константы). Получается так, что существует определенное множество различных возможных деревьев, которые будут обозначать одно и то же выражение.

Это происходит в случае неоднозначной (ambiguous) грамматики. Надо переписать ее так, чтобы она стала однозначной. Тогда дерево разбора будет уникальным. Правда для некоторых редко встречающихся языков это невозможно (но арифметические выражения к ним не относятся).