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