也可以由关系图法求文法符号的FIRST集，可作为一种验证。其方法为： 　　(a) 每个文法符号对应图中一个结点，对应终结符的结点时用符号本身标记，对应非终结符的结点用FIRST(A)标记。这里A表示非终结符。 　　(b) 如果文法中有产生式A→αXβ，且αε,则从对应A的结点到对应X的结点连一条箭弧。 　　(c) 凡是从FIRST(A)结点有路径可到达的终结符结点所标记的终结符都为FIRST(A)的成员。 　　(d) 由判别步骤1确定ε是否为某非终结符FIRST集的成员，若是则将ε加入该非终结符的FIRST集中。