如何找到LR0项目的FOLLOW集合?

我正在尝试使用下面的帮助实现LR1解析器 wikipedia article 。我已经为LR0项目制作了一个闭包函数,当试图为LR1项目制作闭包时(关于向LR0项目添加lookaheads的部分),我需要计算FIRST和FOLLOW集,但维基引用了 2 FOLLOW sets ,一个接受LR0项,另一个只接受项集和非终结符。第二个很容易理解:

pub fn lr0_follow_in_item_set(
    rules: &[Rule],
    item_set: &[LR0Item],
    nt: &NonTerminal,
) -> BTreeSet<Terminal> {
    let mut res = BTreeSet::new();
    for item in item_set { // 
        if Some(TerminalOrNonTerminal::NonTerminal(*nt)) == item.next_symbol(rules) { // item in item set where dot is before the desired non terminal
            res.extend(lr0_follow(rules, item)); // union of the follow sets
        }
    }
    res
}

但是,我找不到LR0项目的FOLLOW实现( lr0_follow(rules, item) ),它是否与FOLLOW(非终结符)相同,其中非终结符是项目点后的非终结符(如果有,则返回空集)?

注意:我的LR1解析器不使用epsilons。

我不知道该尝试什么,因为我找不到这个特定关注集的任何资源。