Consider the following grammar (that admits a series of declarations, followed by expressions) and the associated syntax directed translation (SDT) actions, given as pseudo-code: P → D* E* D → int ID {record that ID.lexeme is of type int} D → bool ID { record that ID.lexeme is of type bool} E → E1 + E2 {check that E1.type = E2.type = int; set E.type := int} E → !E1 {check that E1.type = bool; set E.type := bool} E → ID {set E.type := int} With respect to the above grammar; which one of the following choices is correct? Correct Answer The actions can be used to type-check syntactically correct integer variable declarations and integer expressions. Answer: Option 4 Explanation: Option 1:The actions will lead to an infinite loop. This statement is not correct. Option 2:The actions can be used to correctly type-check any syntactically correct program. This statement is not correct. Because These SDT actions can not type-check boolean expressions or float expressions. for example : float a=3.46; bool b = 0,c; c = a+b; Option 3:The actions can be used to type-check syntactically correct boolean variable declarations and boolean expressions. This statement is not correct. Because the SDT actions can not be used to correctly type check boolean expressions. for example : bool a = 0; bool b = 1; bool c = a+b; Option 4:The actions can be used to type-check syntactically correct integer variable declarations and integer expressions. This statement is Correct. Because These SDT actions can be used to correctly type check both integer variables and integer expressions as well.