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

Нет, это синтаксическое правило. Просто синтаксис оберона, да и большинства языков,  не описать КС-грамматикой.