Ладно попробую, речь вот о чем есть некоторые функции разрешения неоднозначностей, который обычно представляют встроенными екшенами, такая функция может производить статический резолв, и динамический, второй может зависит или от уже разобранного потока или текушей позиции разбора (а больше то собственно ничего и нет)
И это уже получается не формальная грамматика, а что-то похожее на неё внешне!
Т.е. с этого момента "all bets are off", как говорится — невозможно установить, на самом ли деле она однозначна (и вообще, что она "разбирает"); или использовать для генерации языка; или перенести в другой parser generator; или доказать её асимптотику и т.п.
