Problem 2: Consider the following grammar (yes, it is ambiguous but that is unimportant). The subscripts are used to distinguish otherwise identical non-terminals for the purpose of the questions below Kstmt2 type2> Kinteger> int double - a legal name in the language a base 10 Yepres entation of an integer a base 10 YepYes entation of a floating point numbeY Suppose our static semantic description has five attributes { integer, double ) { type typetable (, { integer, double |) true, typebinding initialized ( . type := integer declare 1 > . initialized (, false) ( Here I am using := to create a mapping so you can use = to mean only mathematical equality ) Problem 2: Consider the following grammar (yes, it is ambiguous but that is unimportant). The subscripts are used to distinguish otherwise identical non-terminals for the purpose of the questions below Kstmt2 type2> Kinteger> int double - a legal name in the language a base 10 Yepres entation of an integer a base 10 YepYes entation of a floating point numbeY Suppose our static semantic description has five attributes { integer, double ) { type typetable (, { integer, double |) true, typebinding initialized ( . type := integer declare 1 > . initialized (, false) ( Here I am using := to create a mapping so you can use = to mean only mathematical equality )