> -- Alexey Veselovsky писал(а):
> Есть вроде как более мощные нотации которые позволяют описывать многое. Например грамматика ван Вейнгаардена.

Конечно, есть - и каждый сам её может придумать
Нагрузите БНФ-правила дополнительными проверяющими функциями - и делов-то.
Как это делается в любом компиляторе компиляторов.

Илья Ермаков: по техническим причинам повреждено сообщение. Текст про проверяющие функции принадлежит мне, Алексей в этом сообщении сказал то, что стоит в цитате.