Здравствуйте, andrey_egeg, Вы писали:

_>na : nb
_>   | na nb
_>   ;

Конечно, бизон мог бы и догадаться, что уравнение
na = na | na nb
na = (|na) nb
na = (nb*) nb
na = nb+

Но наивный парсер здесь получает зацикливание.
Скажем, у нас попытка сопоставить na = "x#"

na = "xxx" ?
  nb = "xxx" ?
    "a" ... = "xxx" - нет
    "c" ... = "xxx" - нет
    "d" ... = "xxx" - нет
    - нет
  na nb = "xxx" ?
    nb ... = "xxx" ?
      сказка про белого бычка