Exercise 2.

We consider the following translation scheme.

S	$\longmapsto$	A {C.i := A.s} C
S	$\longmapsto$	AB {C.i := A.s} C
A	$\longmapsto$	int {A.s := int.val}
B	$\longmapsto$	id {}
C	$\longmapsto$	int {C.s := C.i + int.val}

where S, A, B, C are non-terminals, int and id are terminals, C.i is an inherited attribute, A.s and int.val are synthesized attributes. Write a YACC program for this translation scheme.

Answer 2