Конструкция называется "Идентификатор"
Неформальное описание идентификатора следующее:
Последовательность латинских букв (включая знак подчёркивания) и арабских цифр, начинающихся с буквы.
Прошу описать конструкцию на метаязыке ФОРМЫ БЕКУСА-НАУРЫ (БНФ).
И проверить правильность описания на метаязыке ДИАГРМЫ ВИРТА (смотрите рисунок)