书中一些话,不知是翻译的原因。还是我个人理解的原因感觉不是非常好理解。个人重新整理了一下。
不过相对于消除左递归和提取左公因,FIRST集和FOLLOW集的算法相对来说比较简单。
书中的重点给出:
FIRST:
一个文法符号的FIRST集就是这个符号能推导出的第一个终结符号的集合, 包括空串。例: A -> abc | def | ε 那么FIRST(A) 等于 { a, d, ε }。
FOLLOW:
蓝线画的部分很重要。
特别是这句话: 请注意,在这个推导的某个阶段,A和a之间可能存在一些文法符号。单如果这样,这些符号会推导得到 ε并消失。
这句话的意思就是好比说:
</