> -- Alexey Veselovsky писал(а):
> Я правильно понимаю, что это описание синтаксиса не запрещает например такой исходник:Да. Правильно.

То что ident'ы должны быть одинаковыми - это семантическое правило, а РБНФ описывает только синтаксис.

При разборе в текст обычно вставляются семантические процедуры, которые контролируют выполнение семантических правил.

Считается, что семантика, в отличие от синтаксиса, слабо формализуется. Поэтому аналогичных "семантических форм" не существует.