Answer to question 2, practice questions for final exam

S → repeat S₁ while B

L1      = newlabel()
L2      = newlabel()
B.true  = L1
B.false = S.next
S₁.next = L2
S.code  = label(L1) || S₁.code || label(L2) || B.code