Formal Languages and Compilers Lecture V: Parse Trees and Ambiguous Gr

Size: px

Start display at page:

Download "Formal Languages and Compilers Lecture V: Parse Trees and Ambiguous Gr"

Kerry Holland
6 years ago
Views:

1 Formal Languages and Compilers Lecture V: Parse Trees and Ambiguous Grammars Free University of Bozen-Bolzano Faculty of Computer Science POS Building, Room: artale/ Formal Languages and Compilers BSc course 2017/18 First Semester

2 Summary of Lecture V Generating Languages from Grammars Ambiguous Grammars

3 Notion of Derivation To characterize a Language starting from a Grammar G = (V T,V N,S,P) we need to introduce the notion of Derivation. The notion of Derivation uses Productions P to generate a string starting from another string. Direct Derivation (in symbols ). If α β P and γ, δ V, then, γαδ γβδ. Derivation (in symbols ). If α 1 α 2, α 2 α 3,..., α n 1 α n, then, α 1 α n.

4 Generating Languages from Grammars Generative Definition of a Language. We say that a Language L is generated by the Grammar G= (V T,V N,S,P), in symbols L(G), if: L(G) = {w V T S w}. Example. Consider the following CF Grammar for arithmetic expressions: E E + E E E (E) E id The sequence of Tokens (id + id) is a well-formed sentence: E E (E) (E + E) (id + E) (id + id) Note: Token is a synonym of Terminal Symbol when talking of Grammars for programming languages.

5 Derivation Trees for Context-Free Grammars Derivation Trees, called also Parse Trees, are a visual method of describing any derivation in a context-free grammar. Let G= (V T,V N,S,P) be a CFG. A tree is a derivation tree for G if: 1 Every node has a label, which is a symbol of V; 2 The label of the root is S; 3 If a node, n, labeled with A has at least one descendant, then A must be in V N ; 4 If nodes n 1, n 2,..., n k are direct descendants of node n, with labels A 1, A 2,..., A k, respectively, then: A A 1, A 2,..., A k must be a production in P.

6 Choices in Derivations At each step in a Derivation there are two choices to be made: 1 Which non-terminal to replace; 2 Which Production to use for that non-terminal. W.r.t. point (1), we have two derivations for (id + id): 1. E E (E) (E + E) (id + E) (id + id) 2. E E (E) (E + E) (E + id) (id + id) A Parser will consider either Leftmost Derivations the leftmost non-terminal is chosen or Rightmost Derivations.

7 Parse-Trees and Derivations A Parse-Tree is a visualization of a Derivation that ignores variations in the order in which non-terminal are replaced point (1) above. The Parse-Tree associated to the two Derivations in the previous slide is E - E ( ) E E id + E id Every Parse-Tree is associated with a unique leftmost and a unique rightmost derivation, and viceversa. Problem of Ambiguity: A sentence can have more than one Parse-Tree. Related to point (2) above: Which Production to use for a given non-terminal

8 Summary of Lecture V Generating Languages from Grammars Ambiguous Grammars

9 Ambiguity A grammar is ambiguous if it has more than one Parse-Tree for some string. Equivalently, there is more than one right-most (or left-most) derivation for some string. Ambiguity is bad: Leaves meaning of some programs ill-defined since we cannot decide its syntactical structure uniquely. Ambiguity is a property of Grammars, not of Languages. Two alternative solutions: 1 Disambiguate the grammar 2 Use extra-grammatical mechanisms, like disambiguating rules, to discard alternative Parse-Trees.

10 Ambiguity: Arithmetic Expressions Consider the Grammar for arithmetic expressions: E E + E E E (E) E id The sequence of Tokens id + id id has two Parse-Trees E E E + E E * E id E * E E + E id id id id id The first Parse-Tree reflects the usual assumption that * takes precedence on +.

11 Eliminating Ambiguity by Disambiguating the Grammar Sometime it is possible to eliminate ambiguity by rewriting the Grammar. Example. Let us rewrite the Grammar for arithmetic expressions: E E+T T T T F F F (E) id Enforces precedence of * over +; Enforces left-associativity of + and *

12 Eliminating Ambiguity: Example E E+T T T T F F F (E) id The sequence of Tokens id + id id has now only one Parse-Tree E E + T T T * F F F id id id

13 Ambiguity: The Dangling Else Consider the Grammar for if-then-else statements: Stmt if Expr then Stmt if Expr then Stmt else Stmt other This Grammar is ambiguous. Example. Consider the statement: if E 1 then if E 2 then S 1 else S 2.

14 The Dangling Else: Example The statement: if E 1 then if E 2 then S 1 else S 2, has two Parse-Trees Stmt Stmt if E 1 then Stmt if E 1 then Stmt else S 2 if E 2 then S 1 else S 2 if E 2 then S 1 Typically, the first Parse-Tree is preferred. Disambiguating Rule: Match each else with the closest unmatched then.

15 Disambiguating Dangling Else Disambiguating Rule: Match each else with the closest unmatched then. The rule can be incorporated into the Grammar if we distinguish between matched and unmatched statements. A statement between a then-else must be matched. Stmt Matched stmt Unmatched stmt Matched stmt if Expr then Matched stmt else Matched stmt Other-Stmt Unmatched stmt if Expr then Stmt if Expr then Matched stmt else Unmatched stmt This Grammar generates the same set of strings as the previous one but gives just one Parse-Tree for if-then-else statements.

16 Disambiguating Rules: Precedence and Associativity Declarations Instead of rewriting the Grammar: 1 Use the more natural (ambiguous) Grammar; 2 Along with disambiguating declarations. Most tools (e.g. YACC) allow precedence and associativity declarations for terminals (e.g, * takes precedence over + ) to disambiguate grammars (see the Book, Sections , for more details).

17 Inherent Ambiguity It would be nice if for every ambiguous grammar, there were some way to fix the ambiguity. Unfortunately, certain CFLs are inherently ambiguous, meaning that every grammar for the language is ambiguous.

18 Example: Inherent Ambiguity The language {0 i 1 j 2 k i = j or j = k} is inherently ambiguous. Intuitively, at least some of the strings of the form 0 n 1 n 2 n must be generated by two different parse trees, one based on checking the 0 s and 1 s, the other based on checking the 1 s and 2 s.

19 One Possible Ambiguous Grammar S AB CD A 0A1 01 A generates equal 0 s and 1 s B 2B 2 B generates any sequence of 2 s C 0C 0 C generates any sequence of 0 s D 1D2 12 D generates equal 1 s and 2 s There are two derivations of every string with equal numbers of 0 s, 1 s, and 2 s. E.g.: S AB 01B 012 S CD 0D 012

20 Ambiguity: Concluding Remarks No general techniques for handling ambiguity. Impossible to convert automatically an ambiguous Grammar to an unambiguous one. Used with care, ambiguity can simplify the Grammar Sometimes ambiguous Grammars allow for more natural definitions But then we need extra-grammatical disambiguation mechanisms.

21 Summary of Lecture V Generating Languages from Grammars Ambiguous Grammars

Context-Free Grammars

CFG2: Ambiguity Context-Free Grammars CMPT 379: Compilers Instructor: Anoop Sarkar anoopsarkar.github.io/compilers-class Ambiguity - / - / ( ) - / / - 16-06-22 2 Ambiguity Grammar is ambiguous if more