Формальное описание структуры спецификационного файла.

файл_спецификаций:

секция_деклараций '%''%'

'\n' секция_правил '%''%'

'\n' секция_программ

| секция_деклараций '%''%'

'\n' секция_правил;

секция_деклараций:

| секция_деклараций дир_или_описание

'\n';

дир_или_описание:

'%''{''\n'ВНЕШНИЕ_ОПИСАНИЯ

'\n''%''}'

| '%''s''t''a''r''t' ИДЕНТИФИКАТОР

| '%''t''o''k''e''n'список_им_лексем

| ассоциативность список_лексем;

ассоциативность:

'%''l''e''f''t'

| '%'''r''i''g''h''t'

| '%''n''o''n''a''s''s''o''c';

список_им_лексем:

| декл_имени_лексемы

| список_им_лексем

Декл_имени_лексемы;

список_лексем:

Декл_лексемы

| список_лексем декл_лексемы;

декл_имени_лексемы:

ИДЕНТИФИКАТОР

| ИДЕНТИФИКАТОР ЦЕЛОЕ_БЕЗ_ЗНАКА;

декл_лексемы:

Декл_лексемы

| декл_литерала;

декл_литерала:

ЛИТЕРАЛ

| ЛИТЕРАЛ ЦЕЛОЕ_БЕЗ_ЗНАКА;

секция_правил:

Набор_правил

| '%''{''\n'СИ_ОПЕРАТОРЫ'\n''%''}'

'\n' набор_правил '\n';

набор_правил:

Правило

| набор_правил ';' правило;

правило:

левая_часть ':' альтернатива

| правило '|' альтернатива;

левая_часть: ИДЕНТИФИКАТОР;

альтернатива:

- 40 -

Правая_часть

| правая_часть изм_приор

| правая_часть изм_приор действие

| правая_часть действие;

правая_часть:

| правая_часть лит_или_идент

| правая_часть действие лит_или_идент;

изм_приор:

секция_программ:

ПРОГРАММНЫЕ_КОМПОНЕНТЫ;

При описании структуры спецификационного файла не рас-

Шифровывались некоторые исходные конструкции, совпадающие с

аналогичными конструкциями Си: идентификатор, литерал, целое

Без знака. Не описаны также и более сложные конструкции,

Не нашли, что искали? Воспользуйтесь поиском: