cfg-checker:在上下文无关的语法中搜索歧义-源码

CFG检查器 CFG Checker在搜索歧义。 确定任意上下文无关的语法是否仅是半确定的。 我们能做的最好的事情是以广度优先的方式生成所有派生，并寻找两个产生相同句子形式的派生。 这就是CFG Checker所做的。 如果输入语法不明确，CFG Checker最终将找到最小的歧义形式。 如果语法是明确的，则CFG Checker会得出此结论或永远循环。 入门 这是它的工作方式。 您将语法指定为一系列生产规则： expression = number | sum sum = expression + expression 然后在其上运行CFG Checker： $ cfg-checker example.cfg .... Found a sentential form with two different derivations: expression + expression