对(b)中βε时，则把FOLLOW(A)也加入FOLLOW(B)中的解释： 　　因为当有形如： 　　D→α1Aβ1 　　A→αBβ 　　的产生式时，A，B，D∈VN，α1,β1,α,β∈V*，在推导过程中可能出现句型序列如：S …α1Aβ1… …α1αBββ1……α1αBβ1… ；（因有βε）由定义5.2可知FIRST(β1) ∈FOLLOW(A)和FIRST(β1)∈FOLLOW(B)，所以也就有FOLLOW(A)FOLLOW(B)。 　　用关系图法求非终结符的FOLLOW集。 　　(a) 文法G中的每个符号和"#"对应图中的一个结点，对应终结符和"#"的结点用符号本身标记。对应非终结符的结点(如A∈VN)则用FOLLOW(A)或FIRST(A)标记。 　　(b) 从开始符号S的FOLLOW(S)结点到"#"号的结点连一条箭弧。 　　(c) 如果文法中有产生式A→αBβX, 且βε,则从FOLLOW(B)结点到FIRST(X)结点连一条弧，当X∈VT时，则与X相连。 　　(d) 如果文法中有产生式A→αBβ, 且βε，则从FOLLOW(B)结点到FOLLOW(A)结点连一条箭弧。 　　(e) 对每一FIRST(A)结点如果有产生式A→αXβ, 且αε, 则从FIRST(A)到FIRST(X)连一条箭弧。