Add rules to the syntax-directed definition of Fig. 6.36 for the following control-flow constructs:  a) A repeat-statment repeat S whil e B. ifFals e a d goto Li t = tru e got o L2 Li: t = fals e L2...

Add rules to the syntax-directed definition of Fig. 6.36 for the following control-flow constructs:

a) A repeat-statment repeat S whil e


B. ifFals e a <> d goto Li t = tru e got o L2 Li: t = fals e L2 : x = t

! b) A for-loop for (Si; B; S2) S₃
.

Fig. 6.36