Scribd
Upload
39 views

Compiler Lecture 5

This document discusses syntax directed translation in compiler design. It introduces syntax directed definitions and translation schemes. Syntax directed definitions attach semantic rules to productions in a grammar to evaluate attributes. An annotated parse tree shows the attributes computed at each node. Synthesized attributes are determined from child nodes, while inherited attributes depend on parent and sibling nodes. Syntax directed translation schemes also attach semantic actions to grammar rules to explicitly show the order of evaluation. Class exercises provide practice applying these concepts to example expressions.

Uploaded by

ShahRiaz Polok
Copyright
© © All Rights Reserved
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
39 views

Compiler Lecture 5

This document discusses syntax directed translation in compiler design. It introduces syntax directed definitions and translation schemes. Syntax directed definitions attach semantic rules to productions in a grammar to evaluate attributes. An annotated parse tree shows the attributes computed at each node. Synthesized attributes are determined from child nodes, while inherited attributes depend on parent and sibling nodes. Syntax directed translation schemes also attach semantic actions to grammar rules to explicitly show the order of evaluation. Class exercises provide practice applying these concepts to example expressions.

Uploaded by

ShahRiaz Polok
Copyright
© © All Rights Reserved
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
You are on page 1/ 19

Syntax Directed Translation

Course Code: CSC3220 Course Title: Compiler Design

Dept. of Computer Science


Faculty of Science and Technology

Lecturer No: 5 Week No: 5 Semester: Summer


Lecturer: Md Masum Billah, [email protected]
Masum-billah.net
Lecture Outline

1. Syntax Directed Translation


2. Syntax Directed Definition
3. Synthesized Attribute
4. Inherited Attribute
5. Syntax Directed Translation Scheme
6. Class Exercises
Objectives and Outcomes

Objectives:
 Understand the Semantics of the language.
 Understand the evaluation process of input by the compiler.

Outcomes:
 Students should be able to understand the annotated parse tree .
 Students will analyze how to construct the input from infix to postfix
by the compiler.
Syntax Directed Translation

Syntax-directed translation is done by attaching rules or program fragments to


productions in a grammar. For example, consider an expression expr generated
by the production
expr -» expr + term

Here, expr is the sum of the two subexpressions expr and term. (The subscript
in expr is used only to distinguish the instance of expr in the production body
from the head of the production). We can translate expr by exploiting its
structure, as in the following pseudo-code:
translate expr;
translate term;
handle +;
Syntax Directed Translation

There are two notations for attaching semantic rules:

 Syntax Directed Definitions


 Syntax Directed Translation Schemes
Syntax Directed Definitions
Syntax Directed Definitions are a generalization of context-free grammars in
which:

 Grammar symbols have an associated set of Attributes;

 Productions are associated with Semantic Rules for computing the


values of attributes.

Important Note: Such formalism generates Annotated Parse Tree where each
node of the tree is a record with a field for each attribute( e.g expr.t indicates
the attribute t of the grammar symbol expr)
Syntax Directed Definitions

Here Semantic Rule is applied for one production of a context free grammar.

Production Semantic Rule


expr  expr + term expr.t := expr.t || term.t || ‘+’

This production derives an expression containing a plus operator. The left


operand of the plus operator is given by expr and the right operand by term.
The semantic rule associated with this production constructs the value of
attribute expr.t by concatenating the postfix forms expr.t and term.t of the left
and right operands, respectively, and then appending the plus sign. This rule is
a formalization of the definition of "postfix expression“. The symbol || in the
semantic rule is the operator for string concatenation.
Syntax Directed Definitions

Example:

Production Semantic Rule


expr  expr + term expr.t := expr.t || term.t || ‘+’
expr  expr – term expr.t := expr.t || term.t || ’-’
expr  term expr.t := term.t
term  0 term.t := ‘0’
term  1 term.t := ‘1’
…. ….
term  9 term.t := ‘9’
Syntax Directed Definitions
We applied semantic rules for each production of a context-free grammar. Now
we will see how semantic rules are embedded in parse tree.

expr.t =95-2+

expr.t =95- term.t =2

expr.t =9 term.t =5

term.t =9

9 - 5 + 2

Fig: Annotated Parse Tree


Syntax Directed Definitions

 It starts at the root and recursively visits the children of each node in left-
to-right order.

 The semantic rules at a given node are evaluated once all descendants of
that node have been visited.

 A parse tree showing all the attribute values at each node is called
annotated parse tree.
Syntax Directed Definitions
Attribute Grammars: Each grammar symbol has an associated set of
attributes. An attribute can represent anything we choose:

 The value of an expression when literal constants are used

 The data type of a constant, variable, or expression

 The location (or offset) of a variable in memory

 The translated code of an expression, statement, or function

We distinguish between two kinds of attributes:

I. Synthesized Attributes.
II. Inherited Attributes.
Syntax Directed Definitions
Synthesized Attributes: An attribute is synthesized if the attribute value of
parent is determined from attribute values of children in the parse tree.

Example:

Production Semantic Rule


expr  expr + term expr.t := expr.t || term.t || ‘+’
expr  expr – term expr.t := expr.t || term.t || ’-’
expr  term expr.t := term.t
term  0 term.t := ‘0’
term  1 term.t := ‘1’
…. ….
term  9 term.t := ‘9’
Syntax Directed Definitions

expr.t =95-2+

expr.t =95- term.t =2

expr.t =9 term.t =5

term.t =9

9 - 5 + 2

Fig: Annotated Parse Tree


Syntax Directed Definitions
Inherited Attributes: An attribute is inherited if the attribute value of a
parse-tree node is determined from attribute values of its parent and siblings.

Example:
Syntax Directed Translation Schemes

Syntax Directed Translation Schemes: A translation scheme is a context


free grammar in which

 Attributes are associated with grammar symbols

 Semantic actions are enclosed between braces {} and are inserted


within the right-hand side of productions.

Production Semantic Action


expr  expr + term {print(‘+’)}
expr  expr – term {print(‘ - ’)}
expr  term {print( )}
term  0 {print(‘0’)}
term  1 {print(‘1’)}
…. ….
term  9 {print(‘9’)}
Syntax Directed Translation Schemes
A translation scheme is like
a syntax-directed definition
except the order of
evaluation of the semantic
rules is explicitly shown.
expr
{print(‘+’)}
+
expr term

- {print(‘-’)} 2 {print(‘2’)}
expr term
5 {print(‘5’)}
term
9 {print(‘9’)}
Class Exercises

1. Show the annotated parse tree for the following expressions.


I. 2*3+4
II. 2+3-4/5
Lecture References

A. Aho, R. Sethi and J. Ullman, Compilers: Principles, Techniques and Tools


(The Dragon Book), [ Second Edition]
References

1. A. Aho, R. Sethi and J. Ullman, Compilers: Principles, Techniques and


Tools(The Dragon Book), [ Second Edition]

2. Principles of Compiler Design (2nd Revised Edition 2009) A. A.


Puntambekar

3. Basics of Compiler Design Torben Mogensen

You might also like