Описание идентификатора с использованием БНФ

Date: 2015-10-07; view: 433.

Бэкуса-Наура формы (БНФ).

Описание идентификатора на метаязыке Хомского-Щутценберже

1. A₁=A+B+C+D+…+Y+Z+a+b+c+d+…+x+y+z

2. A₂=0+1+2+4+5+6+7+8+9

3. A₃=A₁+A₃A₁+A₃A₂

Метаязыки Хомского и Хомского-Щутценберже использовались при описании простых абстрактных языков. Метаязык, предложенный Бэкусом и Науром, впервые использовался для описания синтаксиса реального языка программирования – Алгол 60.

Наряду с новыми обозначениями метасимволов, в нем использовались содержательные обозначения нетерминалов, что сделало описание языка нагляднее и позволило в дальнейшем использовать данную нотацию для описания реальных языков программирования. Были использованы следующие обозначения:

· символ ::= отделяет левую часть правила от правой;

· нетерминалы обозначаются произвольной символьной строкой, заключенной в угловые скобки < и >;

· терминалы – это символы, используемые в описываемом языке;

· каждое правило определяет порождение нескольких альтернативных цепочек, отделяемых друг от друга символом вертикальной черты |.

1. <буква> ::= А|В|С|D|E|…|W|X|Y|Z|a|b|c|d|e|…|w|x|y|z

2. <цифра> ::= 0|1|2|3|4|5|6|7|8|9

3. <идентификатор>::=<буква>|<идентификатор><буква>|<идентификатор><цифра>

Правила можно задавать раздельно:

1. <идентификатор> ::= <буква>

2. <идентификатор> ::= <идентификатор> <буква>

3. <идентификатор> ::= <идентификатор> <цифра>