Question

Consider the grammar shown below:
$\begin{array}{c}S\to iEtSS\text{'}|\alpha \\ S\text{'}\to eS|\epsilon \\ E\to b\end{array}$
In the predictive parse table M, of this grammar, the entries M[S', e] and M[S', $] respectively are

• A. $\{S^{\prime }\to eS,S^{\prime }\to \epsilon \}\text{and}\{S^{\prime }\to \epsilon \}$
• B. $\{S^{\prime }\to \epsilon \}\text{and}\{S^{\prime }\to \epsilon \}$
• C. $\{S^{\prime }\to eS\}\text{and}\{S^{\prime }\to \epsilon \}$
• D. $\{S^{\prime }\to eS\}\text{and}\left\{\right\}$

Answer 1

The correct option is A $\{S^{\prime }\to eS,S^{\prime }\to \epsilon \}\text{and}\{S^{\prime }\to \epsilon \}$

The grammar is
$\begin{array}{c}S\to iEtSS\text{'}|\alpha \\ S\text{'}\to eS|\epsilon \\ E\to b\end{array}$
The predictive parser table M is


So $M[S\text{'}.e]=\{S\text{'}\to \epsilon ,S\text{'}\to \mathrm{eS}\}$
$M[S\text{'}.\$]=S\to \epsilon$