Question

Consider the following context-free grammar where the set of terminals is {a, b, c, d, f}

$S\to daT|Rf$
$T\to aS|baT|ϵ$
$R\to caTR|ϵ$

The following is a partially-filled LL(1) parsing table.

Which one of the following choices represents the correct combination for the numbered cells in parsing table ("blank" denotes that the corresponding cell is empty)?

• A.
• B.
• C.
• D.

Answer 1

The correct option is A

$S\to daT|Rf$
$T\to aS|baT|ϵ$
$R\to caTR|ϵ$

First (S) = {d, c, f}
Follow (S) = {c, f, $}
First (T) = {a, b, $ϵ$}
Follow (T) = {c, f, $}
First (R) = {c, $ϵ$}
Follow (R) = {f}
Hence option (d) is answer.