Question

Consider the following grammar:
$S\to FR$
$R\to {}^{\ast }S|\epsilon$
$F\to id$

In the predictive parser table, M, of the grammar the entries M[S, id] and M[R, $] respectively

• A. $\{S\to FR\}\text{and}\{R\to \epsilon \}$
• B. $\{S\to FR\}\text{and}\left\{\right\}$
• C. $\{F\to id\}\text{and}\{R\to \epsilon \}$
• D. $\{S\to FR\}\text{and}\{R\to {}^{\ast }S\}$

Answer 1

The correct option is A $\{S\to FR\}\text{and}\{R\to \epsilon \}$

Construct Predictive parser table as follows:

Non-terminal	id	*	$
S	$S\to FR$
R		$R{\to }^{\ast }S$	$R\to \epsilon$
F	$F\to id$

So $M[S,id]]=\{S\to FR\}$
and $M[R,\$]=\{R\to \epsilon \}$