Convert each of your SDD's from Exercise 5.4.4 to an SDT in the manner of Example 5.19. Exercise 5.4.4 Write L-attributed SDD's analogous to that of Example 5.19 for the following productions, each of...

Convert each of your SDD's from Exercise 5.4.4 to an SDT in the manner of Example 5.19.

Exercise 5.4.4

Write L-attributed SDD's analogous to that of Example 5.19 for the following productions, each of which represents a familiar flow-of-control construct, as in the programming language C. You may need to generate a threeaddress statement to jump to a particular label L, in which case you should generate got o L.

a) S -)• if ( C ) Si else S2

b) S do Si whil e ( C )


c) S -4'{' L '}'; L L S \ e


Note tha t any statement in the list can have a jump from its middle to the next Statement, so it is not sufficient simply to generate code for each statement in order.

Example 5.19

Example 5.19