A13. Грамматика

Ниже приведены грамматические правила, которые мы уже рассматривали в данном приложении. Они имеют то же содержание, но даны в ином порядке.

Здесь не приводятся определения следующих символов-терминов: целая-константа, символьная-константа, константа-с-плавающей-точкой, идентификатор, строка и константа-перечисление. Слова, набранные обычным латинским шрифтом (не курсивом), и знаки рассматриваются как символы-термины и используются точно в том виде, как записаны. Данную грамматику можно механически трансформировать в текст, понятный системе автоматической генерации грамматического распознавателя. Для этого помимо добавления некоторых синтаксических пометок, предназначенных для указания альтернативных продукций, потребуется расшифровка конструкции со словами «один из» и дублирование каждой продукции, использующей символ с индексом необ., причем один вариант продукции должен быть написан с этим символом, а другой — без него. С одним изменением, а именно — удалением продукции typedef-имя:идентификатор и объявлением typedef-имени символом-термином, данная грамматика будет понятна генератору грамматического распознавателя YACC. Ей присуще лишь одно противоречие, вызываемое неоднозначностью конструкции if-else.

единица–трансляции:
    внешнее-объявление
    единица-трансляции внешнее-объявление

внешнее-объявление:
    определение-функции
    объявление

определение функции:
    спецификаторы-объявлениянеоб объявитель
    список-объявленийнеоб составная-инструкция

объявление:
    спецификаторы-объявления список-инициализаторов-объявителейнеоб

список-объявлений:
    объявление
    список-объявлений объявление

спецификаторы-объявления:
    спецификатор-класса-памяти спецификаторы-объявлениянеоб
    спецификатор-типа спецификаторы-объявлениянеоб
    квалификатор-типа спецификаторы-объявлениянеоб

спецификатор-класса-памяти: один из
    auto   register   static   extern   typedef

спецификатор-типа: один из
    void  char  short  int  long  float  double  signed  unsigned
    спецификатор-структуры-или-объединения
    спецификатор-перечисления
    typedef-имя

квалификатор-типа: один из
    const    volatile

спецификатор-структуры-или-объединения:
    структуры-или-объединения-идентификаторнеоб { список-объявлений-структуры }
    структуры-или-объединения идентификатор

структура-или-объединение: одно из
    struct    union

список-объявлений-структуры:
    объявление-структуры
    список-объявлений-структуры объявление-структуры

список-объявителей-ииициализаторов:
    объявитель-инициализатор
    список-объявителей-инициализаторов , объявитель-инициализатор

объявитель-инициализатор:
    объявитель
    объявитель = инициализатор

объявление-структуры:
    список-спецификаторов-квалификаторов список-объявителей-структуры

список-спецификаторов-квалификаторов:
    спецификатор-типа список-спецификаторов-квалификаторовнеоб
    квалификатор-типа список-спецификаторов-квалификаторовнеоб

список-структуры-объявителей:
    структуры–объявитель
    список-структуры-объявителей , структуры-объявитель

структуры-объявитель:
    объявитель
    объявительнеоб : константное-выражение

спецификатор-перечисления:
    enum идентификаторнеоб { список-перечислителей }
    enum идентификатор

список-перечислителей:
    перечислитель
    список-перечислителей перечислитель

перечислитель:
    идентификатор
    указательнеоб собственно-объявитель

собственно-объявитель:
    идентификатор
    ( объявитель )
    собственно-объявитель [ константное-выражениенеоб ]
    собственно-объявитель ( список-типов-параметров )
    собственно-объявитель ( список-идентификаторовнеоб )

указатель:
    * список-квалификаторов-типанеоб
    * список-квалификаторов-типанеоб указатель

список-квалификаторов-типа:
    квалификатор-типа
    список-квалификаторов-типа квалификатор-типа

список-типов-параметров:
    список-параметров
    список-параметров , ...

список-параметров:
    объявление-параметра
    список-параметров , объявление-параметра

объявление-параметра:
    спецификаторы-объявления объявитель
    спецификаторы-объявления абстрактный-объявительнеоб

список-идентификаторов:
    идентификатор
    список-идентификаторов , идентификатор

инициализатор:
    выражение-присваивания
    { список-инициализаторов }
    { список-инициализаторов, }

список-инициализаторов:
    инициализатор
    список-инициализаторов , инициализатор

имя-типа:
    список-спецификаторов-квалификаторов абстрактный-объявительнеоб

абстрактный-объявитель:
    указатель
    указательнеоб собственно-абстрактный-объявитель

собственно-абстрактный-объявитель:
    ( абстрактный-объявитель )
    собственно-абстрактный-объявительнеоб [константное-выражениенеоб]
    собственно-абстрактный-объявительнеоб (список-типов-параметровнеоб)

typedef-имя:
    идентификатор

инструкция:
    помеченная-инструкция
    инструкция–выражение
    составная-инструкция
    инструкция-выбора
    циклическая-инструкция
    инструкция-перехода

помеченная-инструкция:
    идентификатор : инструкция
    case константное-выражение : инструкция
    default : инструкция

инструкция-выражение:
    выражениенеоб;

составная-инструкция:
    ( список-объявленийнеоб список-инструкцийнеоб)

список-инструкций:
    инструкция
    список-инструкций инструкция

инструкция-выбора:
    if ( выражение ) инструкция
    if ( выражение ) инструкция else инструкция
    switch ( выражение ) инструкция

циклическая-инструкция:
    while ( выражение ) инструкция
    do инструкция while ( выражение )
    return выражениенеоб;

выражение:
    выражение-присваивания
    выражение , выражение-присваивания

выражение-присваивания:
    условное-выражение
    унарное-выражение оператор-присваивания выражение-присваивания

оператор-присваивания: один из
    =   *=   /=   %=   +=   -=   <<=   >>=   &=   ^=   |=

условное-выражение:
    логическое-ИЛИ-выражение
    логическое-ИЛИ-выражение ? выражение : условное-выражение

константное-выражение:
    условное-выражение

логическое-ИЛИ-выражение:
    логическое-И-выражение
    логическое-ИЛИ-выражение || логическое-И-выражение

логическое-И-выражение:
    ИЛИ-выражение
    логическое-И-выражение && ИЛИ-выражение

ИЛИ-выражение:
    исключающее-ИЛИ-выражение
    ИЛИ-выражение | исключающее-ИЛИ-выражение

исключающее-ИЛИ-выражение:
    И-выражение
    исключающее-ИЛИ-выражение ^ И-выражение

И-выражение:
    выражение-равенства
    И-выражение & выражение-равенства

выражение-равенства:
    выражение-отношения
    выражение-равенства == выражение-отношения
    выражение-равенства != выражение-отношения

выражение-отношения:
    сдвиговое-выражение
    выражение-отношения < сдвиговое-выражение
    выражение-отношения > сдвиговое-выражение
    выражение-отношения <= сдвиговое-выражение
    выражение-отношения >= сдвиговое-выражение

сдвиговое-выражение:
    аддитивное-выражение
    сдвиговое-выражение >> аддитивное-выражение
    сдвиговое-выражение << аддитивное-выражение

аддитивное-выражение:
    мультипликативное-выражение
    аддитивное-выражение + мультипликативное-выражение
    аддитивное-выражение - мультипликативное-выражение

мультипликативное-выражение:
    выражение-приведенное-к-типу
    мультипликативное-выражение * выражение-приведенное-к-типу
    мультипликативное-выражение / выражение-приведенное-к-типу
    мультипликативное-выражение % выражение-приведенное-к-типу

выражение-приведенное-к-типу:
    унарное-выражение
    ( имя-типа ) выражение-приведенное-к-типу

унарное-выражение:
    постфиксное –выражение
    ++ унарное-выражение
    -- унарное-выражение
    унарный-оператор выражение-приведенное-к-типу
    sizeof унарное-выражение
    sizeof( имя-типа )

унарный-оператор: один из
    &   *   +   -   ~   !

постфиксное-выражение:
    первичное-выражение
    постфиксное-выражение [ выражение ]
    постфиксное-выражение ( список-аргументов-выраженийнеоб )
    постфиксное-выражение . идентификатор
    постфиксное-выражение -> идентификатор
    постфиксное-выражение ++ 
    постфиксное-выражение –-

первичное -выражение:
    идентификатор
    константа
    строка
    ( выражение )

список-аргументов-выражений:
    выражение-присваивания
    список-аргументов-выражений , выражение-присваивания

константа:
    целая-константа
    символьная-константа
    константа-с-плавающей-точкой
    константа-перечисление

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

управляющая-строка:
    #define идентификатор последовательность-лексем
    #define идентификатор ( идентификатор, ..., идентификатор) последовательность-лексем 
    #undef идентификатор
    #include <имя-файла>
    #include "имя-файла"
    #include последовательность-лексем
    #line константа "идентификатор"
    #line константа
    #error последовательность-лексемнеоб
    #pragma последовательность-лексемнеоб
    #
    условная-конструкция-препроцессора

условная-конструкция-препроцессора:
    if-строка текст elif-части else-частьнеоб #endif

if-строка:
    #if константное-выражение
    #ifdef идентификатор
    #ifndef идентификатор

elif-части:
    elif-строка текст
    elif-частинеоб

elif-строка:
    #elif константное-выражение

else-часть:
    else-строка текст

else-строка:
    #else