Это какая-то разновидность нотации Бэкуса-Наура, по-моему. Запись вида
X:
A
B
C
Следует читать как "X - это А или B или C". Когда два определения идут подряд - это значит, что они следуют друг за другом. Те определения, которые определяются через другие - это нетерминалы, те, которые понятны сами по себе - терминалы. Всё это работает рекурсивно. Короче, примерно вам даст понять вот это
https://ru.m.wikipedia.org/wiki/Форма_Бэкуса_—_Наура
Ну и читать это так: идентификатор(identifier) - это последовательность символов, которая может быть не цифрой(identifier-nondigit) или начинаться с идентификатора(рекурсия) и продолжаться не цифрой, или начинаться с идентификатора и продолжаться цифрой(digit)
Дальше идёт углубление - что такое identifier-nondigit, что такое digit и тд.
