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
