Единица трансляции. Объявление верхнего уровня., страница 5

V₈₁ = V₈₀ È {  |  Î P,  Î V₈₀} = {…,  }

V₈₂ = V₈₁ È { ‘int’ | <спецификатор-знакового-типа> → int Î P, <спецификатор-знакового-типа> Î V₈₁} = {…, <спецификатор-знакового-типа>, ‘int’ }

V₈₃ = V₈₂ È { <спецификатор-символьного-типа> | <спецификатор-целого-типа> → <спецификатор-символьного-типа> Î P, <спецификатор-целого-типа> Î V₈₂} = {…,  <спецификатор-целого-типа>, <спецификатор-символьного-типа>}

V₈₄ = V₈₃ È { ‘char’ | <спецификатор-символьного-типа> → char Î P, <спецификатор-символьного-типа> Î V₈₃} = {…,  <спецификатор-символьного-типа>, ‘char’}

V₈₅ = V₈₄ È { <спецификатор-типа-структура> | <спецификатор-типа> → <спецификатор-типа-структура> Î P, <спецификатор-типа> Î V₈₄} = {…, <спецификатор-типа>, <спецификатор-типа-структура> }

V₈₆ = V₈₅ È { <определение-структурного-типа> | <спецификатор-типа-структура> → <определение-структурного-типа> Î P, <спецификатор-типа-структура> Î V₈₅} = {…,  <спецификатор-типа-структура>, <определение-структурного-типа>}     

V₈₇ = V₈₆ È { ‘struct’, <список-полей> | <определение-структурного-типа> → struct <идентификатор> {<список-полей>} Î P, <определение-структурного-типа> Î V₈₆} = {…,  <определение-структурного-типа>, ‘struct’, <список-полей>}

V₈₈ = V₈₇ È { <объявление-компонента> | <список-полей> → <объявление-компонента> Î P, <список-полей> Î V₈₇} = {…, <список-полей>, <объявление-компонента> }

V₈₉ = V₈₈ È { <список-описателей-компонентов> | <объявление-компонента> → <спецификатор-типа> <список-описателей-компонентов> ; <объявление-компонента> Î P,  Î V₈₈} = {…,  <объявление-компонента>, <список-описателей-компонентов>}

V₉₀ = V₈₉ È { <ссылка-на-структурный-тип> | <спецификатор-типа-структура> → <ссылка-на-структурный-тип> Î P,  <спецификатор-типа-структура> Î V₈₉} = {…,  <спецификатор-типа-структура>, <ссылка-на-структурный-тип>}

V₉₁ = V₉₀ È { <спецификатор-типа-void> | <спецификатор-типа> → <спецификатор-типа-void> Î P, <спецификатор-типа> Î V₉₀} = {…,  <спецификатор-типа>, <спецификатор-типа-void>}

V₉₂ = V₉₁ È { ‘void’ | <спецификатор-типа-void> → void Î P, <спецификатор-типа-void> Î V₉₁} = {…, <спецификатор-типа-void>, ‘void’ }

V₉₃ = V₉₂ È { <определение-функции> | <объявление-верхнего-уровня> → <определение-функции> Î P, <объявление-верхнего-уровня> Î V₉₂} = {…, <объявление-верхнего-уровня>, <определение-функции> }

V₉₄ = V₉₃ È { <спецификатор-определения-функции>, <составной-оператор> | <определение-функции> → <спецификатор-определения-функции> <составной-оператор> Î P, <определение-функции> Î V₉₃} = {…,  <определение-функции>, <спецификатор-определения-функции>, <составной-оператор>}

V₉₅ = V₉₄ È { <список-объявления-или-оператора> | <составной-оператор> → { <список-объявления-или-оператора> } Î P, <составной-оператор> Î V₉₄} = {…,  <составной-оператор>, <список-объявления-или-оператора>}

V₉₆ = V₉₅ È { <объявление-или-оператор> Î P, <список-объявления-или-оператора> | <список-объявления-или-оператора> → <объявление-или-оператор> Î P, <список-объявления-или-оператора> Î V₉₅} = {…,  <список-объявления-или-оператора>, <объявление-или-оператор>}

V₉₇ = V₉₆ È { <оператор> | <объявление-или-оператор> → <оператор> Î P, <объявление-или-оператор> Î V₉₆} = {…, <объявление-или-оператор>, <оператор>}

V₉₈ = V₉₇ È { <операторное-выражение> | <оператор> → <операторное-выражение> Î P, <оператор> Î V₉₇} = {…, <оператор>, <операторное-выражение> }