Существует ли такая вещь? Если да, не могли бы вы привести пример? Спасибо.
A -> a B -> a
может анализировать строку a как A или B, и поэтому является неоднозначным.
a
A
B