Как показать, что следующая грамматика неоднозначна?

У меня определена следующая грамматика:

S -> A|B, A -> aAb | ab, B -> aBb | epsilon;

Поработав некоторое время, я так и не смог найти строку для построения характерного дерева синтаксического анализа, чтобы показать, что эта грамматика неоднозначна. Например: аааббб, абаб и т. д. Казалось, что эта грамматика недвусмысленна. Любая помощь?


grammar context-free-grammar ambiguous-grammar context-free-language
person zihaow    schedule 11.03.2016    source источник

Ответы (1)


arrow_upward
0
arrow_downward

Эта грамматика неоднозначна. Строка aabb может быть получена двумя разными способами:

S => A => aAb => aabb
S => B => aBb => aaBbb => aabb
person MNos    schedule 11.03.2016