freepascal.ru

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

Чтото меня ставят в ступор блочки "буква", "цифры" и "знак подчёркивания".

Из "буквы" должно идти две стрелки.
Из "цифры" три стрелки.
Из "знака подчёркивания" две.

Идентификатор = Буква { Буква | Цифра | Подчеркивание }

ps. Это РБНФ, от БНФ несколько отличается.

bormant, собственно, схема на рисунке несколько отличается от вашей записи. (точнее схема не совсем правильно нарисована)