What are FIRST and FOLLOW and how they are computed?

FIRST and FOLLOW are two functions associated with grammar that help us fill in the entries of an M-table.

FIRST ()− It is a function that gives the set of terminals that begin the strings derived from the production rule.

A symbol c is in FIRST (α) if and only if α ⇒ cβ for some sequence β of grammar symbols.

A terminal symbol a is in FOLLOW (N) if and only if there is a derivation from the start symbol S of the grammar such that S ⇒ αNαβ, where α and β are a (possible empty) sequence of grammar symbols. In other words, a terminal c is in FOLLOW (N) if c can follow N at some point in a derivation.

Benefit of FIRST ( ) and FOLLOW ( )

• It can be used to prove the LL (K) characteristic of grammar.

• It can be used to promote in the construction of predictive parsing tables.

• It provides selection information for recursive descent parsers.

Computation of FIRST

FIRST (α) is defined as the collection of terminal symbols which are the first letters of strings derived from α.

FIRST (α) = {α |α →∗ αβ for some string β }

If X is Grammar Symbol, then First (X) will be −

• If X is a terminal symbol, then FIRST(X) = {X}
• If X → ε, then FIRST(X) = {ε}
• If X is non-terminal & X → a α, then FIRST (X) = {a}
• If X → Y₁, Y₂, Y₃, then FIRST (X) will be

(a) If Y is terminal, then

      FIRST (X) = FIRST (Y₁, Y₂, Y₃) = {Y₁}

(b) If Y₁ is Non-terminal and

      If Y₁ does not derive to an empty string i.e., If FIRST (Y₁) does not contain ε then, FIRST (X) = FIRST (Y₁, Y₂, Y₃) = FIRST(Y₁)

(c) If FIRST (Y₁) contains ε, then.

     FIRST (X) = FIRST (Y₁, Y₂, Y₃) = FIRST(Y₁) − {ε} ∪ FIRST(Y₂, Y₃)

Similarly, FIRST (Y₂, Y₃) = {Y₂}, If Y₂ is terminal otherwise if Y₂ is Non-terminal then

• FIRST (Y₂, Y₃) = FIRST (Y₂), if FIRST (Y₂) does not contain ε.

• If FIRST (Y₂) contain ε, then

• FIRST (Y₂, Y₃) = FIRST (Y₂) − {ε} ∪ FIRST (Y₃)

Similarly, this method will be repeated for further Grammar symbols, i.e., for Y₄, Y₅, Y₆ … . Y_K.

Computation of FOLLOW

Follow (A) is defined as the collection of terminal symbols that occur directly to the right of A.

FOLLOW(A) = {a|S ⇒* αAaβ where α, β can be any strings}

Rules to find FOLLOW

• If S is the start symbol, FOLLOW (S) ={$}

• If production is of form A → α B β, β ≠ ε.

(a) If FIRST (β) does not contain ε then, FOLLOW (B) = {FIRST (β)}

Or

(b) If FIRST (β) contains ε (i. e. , β ⇒* ε), then

        FOLLOW (B) = FIRST (β) − {ε} ∪ FOLLOW (A)

∵ when β derives ε, then terminal after A will follow B.

• If production is of form A → αB, then Follow (B) ={FOLLOW (A)}.

Ginni

Published on 01-Nov-2021 11:29:30

• Related Questions & Answers
• What are contra entries and how are they recorded?
• What are A-shares and how are they traded?
• What are assertions in Python and how are they carried out?
• What Are Krugerrands and What Do They Mean?
• What are Digital Signatures and how do they work?
• How are iOS and Android similar? How are they different?
• What are native methods in Java and where are they used?
• What are Microwaves? What are they used for?
• How are the exception values computed?
• What are Pagoda’s and why they were built?
• How are measures computed in data mining?
• What are Protein mats? How are they helpful to the environment?
• What is a plateau? How are they formed?
• What are Google Algorithms and what importance do they have in digital marketing?
• Why are there two Irelands? What are they called independently?