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


Answer: (B)

Explanation: Rule 2 and 3 are used for entry into the symbol table. Rule 4 is used for type checking of the integer expression.

Quiz of this Question

My Personal Notes arrow_drop_up

Save