从一组据信由通用语法生成的示例进行常规或上下文无关语法推理的最佳(或任何)开源库是什么？我更喜欢用 Java、Python 或 Ruby 编写的好的库，但乞丐当然不能挑三拣四。
我做了一些谷歌搜索，但找不到任何实际的实现，尽管我确实找到了很多有趣的引用资料。 This library看起来很有趣，但我找不到它可以在任何地方下载。
编辑 (2011-11-14):为了清楚起见(虽然我不确定你们是怎么误解的)，问题是关于语法推理，而不是语法生成或解析。换句话说，给定一组符合未知语法的字符串，找到它们都满足的最严格的语法。
请您参考如下方法:
我还没有使用过它们，但我有同样的问题并且(经过大量搜索)至少找到了这两个库:
与问题的其他答案不同，这些是实际的语法推理库，而不是解析器生成器。
