Вопрос ЛОИ. Однозначно ли можно восстановить дерево вывода по цепочке

Контрпример

Рассмотрим грамматику:

$$G=\{S\to S+S|S\cdot S|(S)|x\}$$

И цепочку, допускаемую этой грамматикой:

$x+x\cdot x$

Вопрос ЛОИ. Почему левое дерево правильное?

Ответ

нет, не однозначно