Compiler construction 在LL（k）和强LL（k）中有一个公式可以得到k-前瞻吗？

我正在学习LL（k）和strong LL（k），但我不知道如何找到k-lookahead

当k为1时，我首先环取sum，然后再进行查找，但我想知道当k超过2时是否有一个公式可以找到

例如，当有一个创建规则，如

S->bRS | RcSa | e（e:epsilon）
R->acR | b

2-LOOKAHEAD（S->e）={$，a，aa}

---

结果是2-LOOKAHEAD（S->e）={$，a，aa}，但我不知道它经历了什么过程。那么集合中的$意味着什么呢？

如果你在一个允许MathJax（比如）的网站上问这个问题，那么回答这个问题就不会那么令人沮丧了。当然，你需要遵守职权范围。（通常希望您先做一些研究。）并且您应该学习如何使用MathJax设置问题的格式。