bison & gcc

имхо потому, что любые compiler compilers генерят избыточный код

Да все отказались. Все-равно LALR(1) грамматикой не описывается очень много вещей, проще руками парсить.

Особенно для C++. Для С еще терпимо.

А разве PHP не на lemon?

При чем тут LALR(1), в .y это не заметно

Ну а по факиу генерится LALR(1) парсер, так как bison умеет LR(1), SLR(1) и LALR(1). Вам легче что-ли от того, что в .y можно писать все что угодно, а bison потом скажет, что не может по этой грамматике сделать парсер?

LR(1) не умеет скорее всего, это я гоню.