Язык программирования Си

       

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


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

Здесь не приводятся определения следующих символов-терминов: целая-константа, символьная-константа, константа-с-плавающей-точкой, идентификатор, строка и константа-перечисление. Слова, набранные обычным латинским шрифтом (не курсивом), и знаки рассматриваются как символы-термины и используются точно в том виде, как записаны. Данную грамматику можно механически трансформировать в текст, понятный системе автоматической генерации грамматического распознавателя. Для этого помимо добавления некоторых синтаксических пометок, предназначенных для указания альтернативных продукций, потребуется расшифровка конструкции со словами "один из" и дублирование каждой продукции, использующей символ с индексом необ., причем один вариант продукции должен быть написан с этим символом, а другой - без него. С одним изменением, а именно - удалением продукции 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


Содержание раздела