(Язык программирования) Как судить, является ли эта грамматика неоднозначной

Question

S -> () | (S), | SS

Эта грамматика неоднозначна? и как я могу судить, является ли эта грамматика неоднозначной? Я научился рисовать дерево разбора. Но я не знаю, как это нарисовать.

Answer 1

Вы можете сделать следующее: написать грамматику в формате для yacc (или любого другого знакомого вам генератора синтаксических анализаторов). Вот так

%%
s: '(' ')' | '(' s ')' | s s;

Запустите это через yacc и найдите ошибки смещения / уменьшения или уменьшения / уменьшения.