Разработка транслятора с языка PROST на язык С++. Часть 2., страница 3

V₇ = V₆ U { op_outputs | operator → op_outputs є P; OPERATOR є V₆} = { code OPERATORS, operator, end, op_assignment, op_while, op_input, op_outputn, op_outputs }

V₈ = V₇ U { op_GOTO | operator → op_GOTO є P; OPERATOR є V₇} = { code OPERATORS, operator, end, op_assignment, op_while, op_input, op_outputn, op_outputs }

V₉ = V₈ U { OP_LABEL | operator → OP_LABEL є P; OPERATOR є V₈} = { code OPERATORS, operator, end, op_assignment, op_while, op_input, op_outputn, op_outputs, OP_LABEL }

V₁₀ = V₉ U { OP_IF  | operator → OP_IF є P; OPERATOR є V₉} = { code OPERATORS, operator, end, op_assignment, op_while, op_input, op_outputn, op_outputs, OP_LABEL, OP_IF }

V₁₁ = V₁₀ U {<identifer> | op_assignment → <identifer> := expression ; є P; op_assignment є V₁₀} = { code OPERATORS, operator, end, op_assignment, op_while, op_input, op_outputn, op_outputs, OP_LABEL, OP_IF, <identifer>}

V₁₂ = V₁₁ U { := | op_assignment → <identifer> := expression ; є P;  op_assignment є V₁₁} = { code OPERATORS, operator, end, op_assignment, op_while, op_input, op_outputn, op_outputs, OP_LABEL, OP_IF, <identifer>,:= }

V₁₃ = V₁₂ U { expression | op_assignment → <identifer> := expression ; є P;  op_assignment є V₁₂} = { code OPERATORS, operator, end, op_assignment, op_while, op_input, op_outputn, op_outputs, OP_LABEL, OP_IF, <identifer>,:=, expression }

V₁₄ = V₁₃ U { ; | op_assignment → <identifer> := expression ; є P;  op_assignment є V₁₃} = { code OPERATORS, operator, end, op_assignment, op_while, op_input, op_outputn, op_outputs, OP_LABEL, OP_IF, <identifer>,:=, expression, ; }

V₁₅ = V₁₄ U { while | op_while → while ( expression condition expression ) do operators є P; op_while є V₁₄} = { code OPERATORS, operator, end, op_assignment, op_while, op_input, op_outputn, op_outputs, OP_LABEL, OP_IF, <identifer>,:=, expression, ; , while }

V₁₆ = V₁₅ U { condition | op_while → while ( expression condition expression ) do operators є P; op_while є V₁₅} = { code OPERATORS, operator, end, op_assignment, op_while, op_input, op_outputn, op_outputs, OP_LABEL, OP_IF, <identifer>,:=, expression, ; , while, condition }

V₁₇ = V₁₆ U { do | op_while → while ( expression condition expression ) do operators є P; op_while є V₁₆} = { code OPERATORS, operator, end, op_assignment, op_while, op_input, op_outputn, op_outputs, OP_LABEL, OP_IF, <identifer>,:=, expression, ; , while, condition, do }

V₁₈ = V₁₇ U { input | op_input → input <identifer> ; є P ;op_input є V₁₇} = { code OPERATORS, operator, end, op_assignment, op_while, op_input, op_outputn, op_outputs, OP_LABEL, OP_IF, <identifer>,:=, expression, ; , while, condition, do, input }

V₁₉ = V₁₈ U { outputn | op_outputn → outputn expression ; є P ; op_outputn є V₁₈} = { code OPERATORS, operator, end, op_assignment, op_while, op_input, op_outputn, op_outputs, OP_LABEL, OP_IF, <identifer>,:=, expression, ; , while, condition, do, input, outputn }

V₂₀ = V₁₉ U { outputs | op_outputs → outputs <strc> ; є P ; op_outputs є V₁₉} = { code OPERATORS, operator, end, op_assignment, op_while, op_input, op_outputn, op_outputs, OP_LABEL, OP_IF, <identifer>,:=, expression, ; , while, condition, do, input, outputn, outputs }

V₂₁ = V₂₀ U { <strc> | op_outputs → outputs <strc> ; є P ; op_outputs є V₂₀} = { code OPERATORS, operator, end, op_assignment, op_while, op_input, op_outputn, op_outputs, OP_LABEL, OP_IF, <identifer>,:=, expression, ; , while, condition, do, input, outputn, outputs, <strc> }

V₂₂ = V₂₁ U { goto | op_goto → goto <identifer> ; є P; op_goto є V₂₁} = { code OPERATORS, operator, end, op_assignment, op_while, op_input, op_outputn, op_outputs, OP_LABEL, OP_IF, <identifer>,:=, expression, ; , while, condition, do, input, outputn, outputs, <strc>,  goto }