词条 | Follow集合 |
释义 | § 定义 Follow 集合的定义:给出一个非终结符A ,那么集合 Follow (A)则是由终结符组成,此外可能还有$。集合 Follow (A) 的定义如下: (1)若 A 是开始符号,则$就在 Follow (A) 中。 (2)若存在产生式B →aAg ,则First (g) - { }在 Follow (A) 中。 (3)若存在产生式B →aAg ,且{ }在 First (g) 中,则 Follow (A)包括 Follow (B)。 § 说明 首先检查这个定义的内容,之后为由此引出的 Follow 集合的计算写出算法。读者首先应注意到用作标记输入结束的“ $”,它就像是 Foll ow 集合计算中的一个记号。若没有它,那么在整个被匹配的串之后就没有符号了。由于这样的串是由文法的开始符号生成的,所以$必须总是要增加到开始符号的 Follow 集合中。 |
随便看 |
百科全书收录594082条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。