COMS W4115
Programming Languages and Translators
Lecture 10: Constructing Predictive Parsers
February 25, 2008

Lecture Outline

1. Review
2. FIRST
3. FOLLOW
4. Constructing a predictive parsing table
5. LL(1) grammars
6. Reading

1. Review

• Context-free grammars
• Top-down parsing
• Nonrecursive predictive parser
• Transformations on grammars

2. FIRST

• FIRST(α) is the set of terminals that begin the strings derivable from α.
  If α can derive ε, then ε is also in FIRST(α).
• Algorithm to compute FIRST(X):
1. If X is a terminal, then FIRST(X) = { X }.
2. If X → ε is a production, then add ε to FIRST(X).
3. If X → Y₁ Y₂ ... Y_k is a production for k ≥ 1, and
      for some i ≤ k, Y₁Y₂ ... Y_i-1 derives the empty string, and a is in FIRST(Y_i), then add a to FIRST(X).
   If Y₁Y₂ ... Y_k derives the empty string, then add ε to FIRST(X).
• Example. Consider the grammar G:

S → ( S ) S | ε
For G, FIRST(S) = {(, ε}.

3. FOLLOW

• FOLLOW(A) is the set of terminals that can appear immediately to the right of A in some sentential form.
  If A can be the rightmost symbol in some sentential form, then add $ to FOLLOW(A).
• Algorithm to compute FOLLOW(A) for all nonterminals A of a grammar:
1. Place $ in FOLLOW(S) where S is the start symbol of the grammar.
2. If A → αBβ is a production, then add every terminal in FIRST(β) (except for ε if it is there) to FOLLOW(B).
3. If there is a production A → αB, or a production A → αBβ, where FIRST(β) contains ε,
   then put everything in FOLLOW(A) into FOLLOW(B)
• Example. For G above, FOLLOW(S) = {), $}.

4. Constructing a Predictive Parsing Table

• Input: Grammar G.
• Output: Predictive parsing table M.
• Method:

  for (each production A → α in G) {
     for (each terminal a in FIRST(α))
        add A → α to M[A, a];
     if (ε is in FIRST(α))
        for (each symbol b in FOLLOW(A))
           add A → α to M[A, b];
  }
  make each undefined entry of M be error;
  

• Example 1. Predictive parsing table for the grammar:

S → ( S ) S | ε

                        Input Symbol
   Nonterminal      (         )        $

       S        S → (S)S    S → ε    S → ε
   

• Example 2. Predictive parsing table for the grammar:

S → S ( S ) | ε
FIRST(S) = {(, ε}
FOLLOW(S) = {(, ), $}

                        Input Symbol
   Nonterminal      (         )        $

       S        S → (S)S    S → ε    S → ε
                S → ε
   

5. LL(1) Grammars

• A grammar is LL(1) iff whenever A → α | β are two distinct productions, the following three conditions hold:
1. For no terminal a do both α and β derive strings beginning with a.
2. At most one of α and β can derive the empty string.
3. If β derives the empty string, then α does not derive any string beginning with a terminal in FOLLOW(A).
   Likewise, if α derives the empty string, then β does not derive any string beginning with a terminal in FOLLOW(A).
• We can use the algorithm above to construct a predictive parsing table with uniquely defined entries for any LL(1) grammar.
• The first "L" in LL(1) means scanning the input from left to right, the second "L" for producing a leftmost derivation, and the "1" for using one symbol of lookahead to make each parsing action decision.

6. Reading

• ALSU, Section 4.4