编译原理：LR(1)文法中向前搜索符的确定

LR(1)文法中向前搜索符的确定

生成搜索符的两种方式：
1.项目[S’-> . S,$]，自动生成搜索符$
2.从项目[A->α.Bβ,?]生成项目[B->…,first(β)]，
自动生成搜索符first(β)
搜索符的两种传播方式：
1.项目[A->α.Bβ,a]，当β能导出空串时，该项目的
搜索符a传播到项目[B->…,a]，称为纵向传播
2.项目[A->α.B β,a]，搜索符a传播到项目[A->αB .β,a]
称为横向传播
例题：