First集和Follow集
求First集:对每个非终结符,找出分别从它们开始能推出的所有的第一个终结符组成的集合
求Follow集:对每个非终结符,找出分别紧跟它们的所有第一个终结符或$
组成的集合,例如 F --> ( E ) | id
,E
后面紧跟了 )
,所以它的Follow集里面一定有 )
,Follow集最后一定要加上 $
例如下面的文法
E --> T E'
E' --> + T E' | ε
T --> F T'
T' --> * F T' | ε
F --> ( E ) | id
First 集:
First(E) = { (, id }
First(E') = { +, ε }
First(T) = { (, id }
First(T') = { *, ε }
First(F) = { (, id }
Follow 集:
Follow(E) = { ), $ }
Follow(E') = { ), $ }
Follow(T) = { +, ), $ }
Follow(T') = { +, ), $ }
Follow(F) = { +, *, ), $ }
预测分析表
行头是非终结符(E E’ T T’ F),列头(id + * ( ) $)是该非终结符推导出终结符,如果从该非终结符开始不能推导出这个终结符,那么就为空白,表示错误推导;如果推下去能够推导出终结符,就填写当前走哪条道,可以把每个|
的分隔看成一条道
id | + | * | ( | ) | $ | |
---|---|---|---|---|---|---|
E | E --> T E’ | E --> T E’ | ||||
E’ | E’ --> + T E’ | E’ --> ε | E’ --> ε | |||
T | T --> F T’ | T --> F T’ | ||||
T’ | T’ --> ε | T’ --> * F T’ | T’ --> ε | T’ --> ε | ||
F | F --> id | F --> (E) |