GATE CS 2019 Set 1 — Question 46

Go beyond PYQs with Success TrackerAI-powered personalised practice and doubt support. Unlimited practice on eligible plans; AI usage limits apply.
MCQ+2 / -0.67MediumAttribute GrammarsSemantic AnalysisCompiler DesignSyntax-Directed Translation

Compiler Design → Semantic Analysis → Attribute Grammars

Last updated

Question

Consider the following grammar and the semantic actions to support the inherited type declaration attributes. Let X1,X2,X3,X4,X5X_1, X_2, X_3, X_4, X_5, and X6X_6 be the placeholders for the non-terminals D, T, L or L1L_1 in the following table:
Production ruleSemantic action
DT LD \rightarrow T \ LX1.type=X2.typeX_1.type = X_2.type
TintT \rightarrow \text{int}T.type=intT.type = \text{int}
TfloatT \rightarrow \text{float}T.type=floatT.type = \text{float}
LL1,idL \rightarrow L_1, \text{id}X3.type=X4.typeX_3.type = X_4.type
addType(id.entry, X5.typeX_5.type)
LidL \rightarrow \text{id}addType(id.entry, X6.typeX_6.type)
Which one of the following are the appropriate choices for X1,X2,X3X_1, X_2, X_3 and X4X_4?
Your answer

Choose one option, then check your answer.

The solution stays hidden until you check.

Continue learning with Success Tracker

A step still unclear? Work through it with support

Use Success Tracker to ask about the reasoning, then try another GATE CS question to check your understanding.

AI-powered practice· Unlimited practice on eligible plans
PYQs with solutions
Attempt available previous-year questions, then compare your reasoning with the worked solution. Coverage varies by stream.
Practice that adapts
Choose a topic, work on weaker areas and bookmark questions to revisit. Your attempts feed your progress tracking.
AI doubt support
Ask follow-up questions about a step or concept while practising, instead of stopping at the final answer.

Unlimited practice is available on eligible plans. Free practice and AI usage have limits; check the current plan allowances before choosing.

This page stays readable without an account. AI responses can be wrong; check them against the solution and source material.

More questions on Semantic Analysis