Consider SDD1 (grammar G1 with inherited attributes for type declarations) and SDD2 (grammar G2 with

Q: What is GATE-CS?

GATE-CS is a competitive examination conducted in India. This question is from the 2026 GATE-CS Compiler Design paper.

Q: How can I prepare for GATE-CS Compiler Design?

To prepare for GATE-CS Compiler Design, practice previous year questions (PYQs), understand concepts thoroughly, and solve mock tests regularly. This 2026 question covers Syntax-Directed Translation topic.

Q: What is the difficulty level of this question?

This GATE-CS 2026 Compiler Design question has a hard difficulty level and is marked as an important question.

Q: Where can I find more GATE-CS previous year questions?

You can find more GATE-CS previous year questions on AspirantMitraa. Browse by subject, topic, year, and difficulty level to practice effectively.

Question

Consider SDD1 (grammar G1 with inherited attributes for type declarations) and SDD2 (grammar G2 with synthesized attributes). Which of the following statements is/are true?(A) Languages P and Q (from G1 and G2) are the same.(B) SDD2 is S-attributed and contains only synthesized attributes.(C) SDD1 is L-attributed and contains only inherited attributes.(D) Both SDD1 and SDD2 add the same entries to the symbol table.

Accepted Answer

Correct Answer: (A), (B), (D)Concept -- Syntax-Directed Definitions: A (TRUE): Both grammars describe type declarations of the form 'type id id ... id', generating the same language (a list of identifiers preceded by a type). B (TRUE): SDD2 uses only synthesized attributes (the type attribute of a declaration is computed from its children). An SDD with only synthesized attributes is by definition S‑attributed. C (FALSE): SDD1 uses both inherited attributes (e.g., type information passed down to identifiers) and synthesized attributes (the overall declaration's type). It is L‑attributed because inherited attributes depend only on left siblings, but the statement says 'only inherited attributes', which is false. D (TRUE): Both SDDs are designed to insert type information for each identifier into the symbol table, and they add the same entries (type and identifier names). Hence A, B, D are true.

Master GATE-CS with Our Test Series

More Questions from Syntax-Directed Translation

Frequently Asked Questions

Master GATE-CS with Our Test Series

More Questions from Syntax-Directed Translation

Frequently Asked Questions