Java 语法推理库？

从一组被认为是由公共语法生成的示例中进行常规或上下文无关语法推理的最佳（或任何）开源库是什么？我更喜欢用Java、Python或Ruby编写的好库，但乞丐当然不能挑肥拣瘦

我在谷歌上搜索了一下，但找不到任何实际的实现，尽管我确实找到了很多有趣的参考资料。看起来很有趣，但我找不到任何地方可以下载的

---

编辑（2011-11-14）：为了清楚起见（尽管我不确定你们是怎么误解的），问题是关于语法推理，而不是语法生成或语法分析。换句话说，给定一组符合未知语法的字符串，找出它们都满足的最严格的语法。

您可以查看antlr- 看看这是不是你要找的东西。

看看Parboiled：

---

它不会生成任何源代码，只需在应用程序中创建一个类，在其中定义一个模型，然后从代码中进行调用。

我还没有使用它们，但我有一个相同的问题，并且（经过多次搜索）找到了这两个库，至少：

• 对于C++
• 对于MATLAB

---

与该问题的其他答案不同，这些是实际的语法推理库，而不是解析器生成器

链接到关于这一点的其他问题：这不是进行推理/归纳。实际上，您应该已经拥有了该语言，并在那里指定它。