GATE | GATE CS 2021 | Set 1 | Question 36
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
With respect to the above grammar, which one of the following choices is correct?
(A) The actions can be used to correctly type-check any syntactically correct program
(B) The actions can be used to type-check syntactically correct integer variable declarations and integer expressions
(C) The actions can be used to type-check syntactically correct boolean variable declarations and boolean expressions.
(D) The actions will lead to an infinite loop
Explanation: Rule 2 and 3 are used for entry into the symbol table. Rule 4 is used for type checking of the integer expression.