Брайан Керниган - Язык программирования Си. Издание 3-е, исправленное

единица–трансляции :

внешнее-объявление

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

внешнее-объявление :

определение-функции

объявление

определение функции :

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

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

объявление :

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

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

объявление

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

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

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

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

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

спецификатор-класса-памяти : один из

auto register static extern typedef

спецификатор-типа : один из

void char short int long float double signed unsigned

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

спецификатор-перечисления

typedef-имя

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

const volatile

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

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

структуры-или-объединения идентификатор

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

struct union

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

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

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

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

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

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

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

объявитель

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

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

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

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

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

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

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

структуры–объявитель

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

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

объявитель

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

спецификатор-перечисления :

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

enum идентификатор

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

перечислитель

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

перечислитель :

идентификатор

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

собственно-объявитель :

идентификатор

( объявитель )

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

собственно-объявитель ( список-типов-параметров )

собственно-объявитель ( список-идентификаторов необ )

указатель :

* список~квалификаторов-типа необ

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

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

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

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

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

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

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

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

объявление-параметра

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

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

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

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

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

идентификатор

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

инициализатор :

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

{ список-инициализаторов }

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

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

инициализатор

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

имя-типа :

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