Коротко: грамматика неоднозначна. Приведу пример и простой способ устранить неоднозначность.
Грамматика:
$S\to SS\mid aSb\mid \epsilon$.
Строка $ab$ имеет два различных левых вывода:
1) Первый левый вывод:
$$S\Rightarrow aSb\Rightarrow a\epsilon b\Rightarrow ab.$$
2) Второй левый вывод:
$$S\Rightarrow SS\Rightarrow aSbS\Rightarrow a\epsilon bS\Rightarrow abS\Rightarrow ab\epsilon \Rightarrow ab.$$
Отсюда грамматика неоднозначна.
Способ разрешить неоднозначность (стандартное преобразование для языка правильно вложенных пар): заменить правило разбиения на конкатенацию на правило, которое однозначно выделяет первую пару и затем продолжение. Например неявно эквивалентная, но однозначная грамматика
$$S\to aSbS\mid \epsilon$$ каждую непустую строку расписывает как «первая открыт. пара $a$ — соответствующая ей $b$ и затем остаток», что даёт уникальное разложение и убирает описанную неоднозначность. Для задач парсинга это даёт каноническую структуру (подходит для детерминированного разбора, например LL-подходов). Альтернатива для практики парсинга — использовать GLR/Chart-парсер, которые специально обрабатывают неоднозначные грамматики, но проще и эффективнее — переписать грамматику в однозначную форму, как показано.