follow集计算

来源:互联网 发布:安卓优化软件 编辑:程序博客网 时间:2024/06/16 06:04


计算所有非终结符号A的follow(A)集合时,不断应用下面的规则,直到再没有新的终结符号可以被加入到任意的follow集合中为止。

(1)将$放到follow(S)中,其中S是开始符号,而$是输入右端的结束标记。

(2)如果存在一个产生式A→αBβ,那么first(β)中除ε之外的所有符号都在follow(B)中。

(3)如果存在一个产生式A→αB,或存在产生式A→αBβ且first(β)包含ε,那么follow(A)中的所有符号都在follow(B)中。


下面举个例子来说明下,假设有如下文法:

①E→TE'

②E'→+TE' | ε

③T→FT'

④T'→*FT' | ε

⑤F→(E)|  id

对于每个非终结符号,我们都可以求出其follow集:

根据(1),首先将$加入到follow(E)中,即follow(E)={$},由⑤可知,)也应该在follow(E)中,即follow(E)={$,)};

对于E',根据规则(3)以及产生式①,应该将follow(E)加入到follow(E‘)中,即follow(E')={$,)};

对于T,根据规则(2)以及产生式①,应该将first(E')加入到follow(T)中,即follow(T)={+},根据规则(3),由于first(E')包含ε,所以应该将follow(E')加入到follow(T)中,即follow(T)={+,$,)};

对于T',根据规则(3)以及产生式③,应该将follow(T)加入到follow(T‘)中,即follow(T')={+,$,)};

对于F,根据规则(2)以及产生式③,应该将first(T')加入到follow(F)中,即follow(F)={*},根据规则(3),由于first(T')包含ε,所以应该将follow(T')加入到follow(F)中,即follow(F)={*,+,$,)};

1 0
原创粉丝点击