这是语法LL（1）

Question

我被要求转换：

S → Sa | bSb | bc 

到目前为止，我有LL（1）：

S → bY
Y → SbF | cF
F → aF | ε

这是LL（1）吗？ 如果不是，则为LL（1）：

S → bY
Y → bYbF | cF
F → aF | ε

如果这些都不能有人给我正确的答案，为什么要提前感谢！

Answer 1

这就是我要做的：

S → Sa | bSb | bc 

1. 删除左递归：

    F -> aF | EPSILON``` 

2. 现在剩下的因素：

    F -> aF | EPSILON X -> SbF | cF``` 

3. 首先检查并遵循：

    S: b X: b, c F: a, EPSILON``` ```Follows(): S: $, b X: $, b F: $, b``` Everything checks out so it is LL(1) parsable.