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

V₀ = {<единица-трансляции>}

V₁ = V₀ È {<объявление-верхнего-уровня> | <единица-трансляции> → <объявление-верхнего-уровня> Î P, <единица-трансляции> Î V₀} = {<единица-трансляции>, <объявление-верхнего-уровня>}

V₂ = V₁ È { <объявление> | <объявление-верхнего-уровня> → <объявление> Î P, <объявление-верхнего-уровня> Î V₁} = { …, <объявление-верхнего-уровня>, <объявление> }

V₃ = V₂ È {<спецификатор-типа>, <инициализированный-список-описателей>, ‘;’ | <объявление> → <спецификатор-типа> <инициализированный-список-описателей> ; Î P, <объявление> Î V₂} = {…, <объявление>, <спецификаторы-типа>, <инициализированный-список-описателей>, ‘;’ }

V₄ = V₃ È { <инициализированный-описатель> | <инициализированный-список-описателей> → <инициализированный-описатель> Î P, <инициализированный-список-описателей> Î V₃} = { …, <инициализированный-список-описателей>, ; , <инициализированный-описатель>}

V₅ = V₄ È { <описатель>, ‘=’, <инициализатор> | <инициализированный-описатель> → <описатель> = <инициализатор> Î P, <инициализированный-описатель> Î V₄} = { …, <инициализированный-описатель>, <описатель>, ‘=’, <инициализатор>}

V₆ = V₅ È { <выражение-присваивания> | <инициализатор> → <выражение-присваивания> Î P, <инициализатор> Î V₅} = {…, <инициализатор>, <выражение-присваивания>}

V₇ = V₆ È { <логическое-выражение-ИЛИ> | <выражение-присваивания> → <логическое-выражение-ИЛИ> Î P,  <выражение-присваивания> Î V₆} = {…, <выражение-присваивания>, <логическое-выражение-ИЛИ>}

V₈ = V₇ È { ‘||’, <логическое-выражение-И> | <логическое-выражение-ИЛИ> → <логическое-выражение-ИЛИ> || <логическое-выражение-И> Î P, <логическое-выражение-ИЛИ> Î V₇} = {…, <логическое-выражение-ИЛИ>, ‘||’, <логическое-выражение-И> }

V₉ = V₈ È { ‘&&’, <выражение-равенства> | <логическое-выражение-И> → <логическое-выражение-И> && <выражение-равенства>Î P, <логическое-выражение-И> Î V₈} = {…,  <логическое-выражение-И>, ‘&&’, <выражение-равенства>}

V₁₀ = V₉ È { <знак равенства>, <выражение-отношения> | <выражение-равенства> → <выражение-равенства> <знак равенства> <выражение-отношения> Î P, <выражение-равенства> Î V₉} = {…,  <выражение-равенства>, <знак равенства>, <выражение-отношения>}

V₁₁ = V₁₀ È { ‘==’ | <знак-равенства> → == Î P, <знак-равенства> Î V₁₀} = {…, <знак-равенства>, ‘==’}

V₁₂ = V₁₁ È { ‘!=’ | <знак-равенства> → != Î P, <знак-равенства> Î V₁₁} = {…, <знак-равенства>, ‘==’, ‘!=’ }

V₁₃ = V₁₂ È { <знак-отношения>, <аддитивное-выражение> | <выражение-отношения> → <выражение-отношения> <знак-отношения> <аддитивное-выражение> Î P, <выражение-отношения> Î V₁₂} = {…,  <выражение-отношения>, <знак-отношения>, <аддитивное-выражение>}

V₁₄ = V₁₃ È { ‘<’ | <знак-отношения> → < Î P, <знак-отношения> Î V₁₃} = {…,  <знак-отношения>, ‘<’}

V₁₅ = V₁₄ È { ‘>’ | <знак-отношения> → > Î P, <знак-отношения> Î V₁₄} = {…,  <знак-отношения>, ‘>’}

V₁₆ = V₁₅ È { ‘<=’ | <знак-отношения> → <= Î P, <знак-отношения> Î V₁₅} = {…,  <знак-отношения>, ‘<=’}

V₁₇ = V₁₆ È { ‘>=’ | <знак-отношения> → >= Î P, <знак-отношения> Î V₁₆} = {…,  <знак-отношения>, ‘>=’}

V₁₈ = V₁₇ È { <аддитивный-знак>, <мультипликативное-выражение> | <аддитивное-выражение> → <аддитивное-выражение> <аддитивный-знак> <мультипликативное-выражение> Î P, <аддитивное-выражение> Î V₁₇} = {…, <аддитивное-выражение>, <аддитивный-знак>, <мультипликативное-выражение> }

V₁₉ = V₁₈ È { ‘+’ | <аддитивный-знак>→ +  Î P, <аддитивный-знак> Î V₁₈} = {…,  <аддитивный-знак>, ‘+’ }

V₂₀ = V₁₉ È { ‘-’ | <аддитивный-знак>→ -  Î P, <аддитивный-знак> Î V₁₉} = {…,  <аддитивный-знак>, ‘-’ }

V₂₁ = V₂₀ È {<знак-умножения>, <унарное-выражение> | <мультипликативное-выражение> → <мультипликативное-выражение> <знак-умножения> <унарное-выражение> Î P, <мультипликативное-выражение> Î V₂₀} = {…, <мультипликативное-выражение>, <знак-умножения>, <унарное-выражение> }

V₂₂ = V₂₁ È { ‘*’ | <знак-умножения> → *  Î P, <знак-умножения> Î V₂₁} = {…, <знак-умножения>, ‘*’ }

V₂₃ = V₂₂ È { ‘/’ | <знак-умножения> → /  Î P, <знак-умножения> Î V₂₂} = {…, <знак-умножения>, ‘/’ }

V₂₄ = V₂₃ È { ‘%’ | <знак-умножения> → %  Î P, <знак-умножения> Î V₂₃} = {…, <знак-умножения>, ‘%’ }