语法推理库？

Question

从一组被认为是由通用语法生成的示例中，用于常规或无上下文语法推断的最佳（或任何）开源库是什么？我更喜欢Java，Python或Ruby中的好库，但当然乞丐不能选择。

我做了一些谷歌搜索，但找不到任何实际的实现，虽然我确实找到了很多有趣的参考。 This library看起来很有趣，但我无法在任何地方找到它。

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

Answer 1

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

• libalf for C ++
• gitoolbox for MATLAB

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

Answer 2

你可以看一下antlr - http://www.antlr.org/ 并看看它是否正在寻找。

Answer 3

看看Parboiled：https://github.com/sirthias/parboiled 它不会生成任何来源，只需在您的应用中创建一个类，在其中定义模型，然后从您的代码中调用。