Suppose that we have a production A -> BCD. Each of the four nonterminals A, B, C, and D have two attributes: s is a synthesized attribute, and i is an inherited attribute. For each of the sets of...

Suppose that we have a production A -> BCD. Each of the four nonterminals A, B, C, and D have two attributes: s is a synthesized attribute, and i is an inherited attribute. For each of the sets of rules below, tell whether (i) the rules are consistent with an S-attributed definition (ii) the rules are consistent with an L-attributed definition, and (in) whether the rules are consistent with any evaluation order at all?


a) A.s - B.i + C.s.

b) A.s = B.i + C.s and D.i = A.i + B.s.

c) A.s - B.s + D.s.

! d) A.s = D.i, B.i = A.s + C.s, C.i = B.s, and D.i = B.i + C.i.