文件名称:cfg-checker:在上下文无关的语法中搜索歧义
文件大小:7KB
文件格式:ZIP
更新时间:2024-06-08 10:57:24
C++
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
【文件预览】:
cfg-checker-main
----example.cfg(56B)
----main.cpp(15KB)
----README.md(3KB)
----Makefile(344B)
----.gitignore(12B)