Бизон — генератор парсеров

парсинга без лексера не получится

Не справится - эти фазы нужно реализовывать как отдельные модули. Ну точнее если использовать его как одну из компонент может и можно.

я имел ввиду флекс естественно, бизон работает с ним в связке и я думаю с этим глупо спорить

Я конечно не шарю, но если антлр не позволяет написать лексер отдельно — это мне кажется проблема антлр

А вот кстати, почему часто юзают флекс, какие у него преимущества по сравнению с ANTLR лексером? Я смотрю вон и в Котлине тоже флекс для лексера используется.

Я таки проверил стандарт (современный черновик) и там действительно препроцессор в C и C++ считается частью лексического анализа.
Я посчитал описанную в том же драгонбуке ситуацию отдельности препроцессора от фаз анализа компилятора за общее правило и ошибся.

Это как раз позволяет.

Вопрос стоял в ключе "взять грамматику плюсов и распарсить плюсы". А теперь оказывается что нужен будет очень сложный лексер чтобы это заработало

Кстати, парсер тоже можно сделать независимым от лексера, но это обычно не нужно.

Лингвистический и логико-сложностный вариант PLT

Вопрос был "взять грамматику C++ и сгенерировать программы". Но кто ж тут вопросы читает? 😉

Например, берём грамматику C++ и определяем строго по грамматике, какого рода конечные математические объекты она способна выразить и какой класс сложности мы будем иметь. Синтаксис, увы, не построен (я имею в виду логический синтаксис), но вот для Simple C построен (CompCert), и мы могли бы уточнить результаты с данными синтаксиса — т.е. не только выразить, но и построить и с какой сложностью к каким группам объектов.

Кажется что я действительно плохо читал)

Не, я про такое ничего не знаю!.. 😅

Я лично просто не очень знаю, что гуглить

Кажется, такого рода исследования должны быть очень важными

Вместо того, чтобы спекулятивно рассуждать, что могут языки программирования, а что не могут (сами по себе, вне вопросов известных компиляторов / интерпретаторов и экосистемы) — было бы математическое исследование, что могут, а что не могут.

И вопрос во многом бы решился именно этим