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 \rightarrow D^* E^*$$ $$D \rightarrow \text{int } \text{ID } \{\text{record that } \text{ID.lexeme} \text{ is of type int}\}$$ $$D \rightarrow \text{bool } \text{ID } \{\text{record that } \text{ID.lexeme} \text{ is of type bool}\}$$ $$E \rightarrow E_1 + E_2 \;\{\text{check that } E_1.\text{type} = E_2.\text{type} = \text{int}; \text{ set } E.\text{type} := \text{int}\}$$ $$E \rightarrow !E_1 \;\{\text{check that } E_1.\text{type} = \text{bool}; \text{ set } E.\text{type} := \text{bool}\}$$ $$E \rightarrow \text{ID } \{\text{set } E.\text{type} := \text{int}\}$$ With respect to the above grammar, which one of the following choices is correct?

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?

Topic-wise GATE CS PYQs with verified steps