$1)$ $FT(S)=\left \{ a,b,\epsilon \right \}$
$FL(S)=${ a,b,$}
NonTerminal |
|
|
|
|
a |
b |
$ |
S |
$S->aSbS$. , $S->\epsilon $ |
$S->bSaS$. , $S->\epsilon $ |
$S->\epsilon $ |
yes it is not $LL(1).$
$2)$ $FT(S)=\left \{ a \right \}$
$FT(A)=\left \{ c,\epsilon \right \}$
$FT(B)=\left \{ d,\epsilon \right \}$
$FL(S)=${$}
$FL(A)=${d,b}
$FL(B)=${b}
NonTerminal |
|
|
|
|
|
|
a |
b |
c |
d |
$ |
$S$ |
$S->aABb$ |
|
|
|
|
$A$ |
|
$A\rightarrow \epsilon$ |
$A\rightarrow c$ |
$A\rightarrow \epsilon$ |
|
$B$ |
|
$B\rightarrow \epsilon$ |
|
$B->d$ |
|
It is $LL(1).$