please try and solve 5 or 6.

For these exercises, we will expand the grammar and operational semantics for expressions given in the slides to include subtraction and integer division as follows: [2] - [3] [ .place f newTemp) .code + [2] .code || [3]. 11 .place - [2] .place - [3] .place code [2] / [3] { .place + newTemp) .code + [2] .code || || .place - 5. The programming language Pascal has a repeat...until construct for a logical post-test loop. The syntax is given by the following BNF (with the relevant production underlined): | | | // Syntax and semantics for , , and are as given in // slides (using an attribute grammar). repeat until (id 1) relop id[2]). The loop executes the statement(s) between the repeat and the until, tests the logical condition following the until keyword, and repeats the loop body if the condition is false. If exits the loop when the condition is true. Note that it always executes the loop body at least once. Extend the attribute grammar from the slides to include operational semantics for repeat...until loops. 6. Use the operational semantics for repeat...until loops from exercise 5 to produce a decorated parse tree and intermediate code for the following loop: repeat alpha = alpha + 2beta until (alpha > gamma) For these exercises, we will expand the grammar and operational semantics for expressions given in the slides to include subtraction and integer division as follows: [2] - [3] [ .place f newTemp) .code + [2] .code || [3]. 11 .place - [2] .place - [3] .place code [2] / [3] { .place + newTemp) .code + [2] .code || || .place - 5. The programming language Pascal has a repeat...until construct for a logical post-test loop. The syntax is given by the following BNF (with the relevant production underlined): | | | // Syntax and semantics for , , and are as given in // slides (using an attribute grammar). repeat until (id 1) relop id[2]). The loop executes the statement(s) between the repeat and the until, tests the logical condition following the until keyword, and repeats the loop body if the condition is false. If exits the loop when the condition is true. Note that it always executes the loop body at least once. Extend the attribute grammar from the slides to include operational semantics for repeat...until loops. 6. Use the operational semantics for repeat...until loops from exercise 5 to produce a decorated parse tree and intermediate code for the following loop: repeat alpha = alpha + 2beta until (alpha > gamma)