When performing the translation of Fig. 6.47 using the scheme of Fig. 6.46, we create lists S.next for each statement, starting with the assignment-statements Si, S 2 , and S3 , and proceeding to...

When performing the translation of Fig. 6.47 using the scheme of Fig. 6.46, we create lists S.next for each statement, starting with the assignment-statements Si, S 2 , and S3 , and proceeding to progressively larger ifstatements, if-else-statements, while-statements, and statement blocks. There are five constructed statements of this type in Fig. 6.47:

S 4 : whil e (E3) Si.


S 5 : if (JS4 ) S2 –

S&: The block consisting of S5 and S3 .

S 7 : The statement if S4 els e Se

S$: The entire program.

For each of these constructed statements, there is a rule tha t allows us to construct Si.next in terms of other Sj.next lists, and the lists E^.true and Ek-false for the expressions in the program. Give the rules for

(a) S^-next    (b) Si.next    (c) Si.next    (d) Si.next    (e) Si.next

Fig. 6.47

Fig. 6.46