语法推理库？
从一组被认为是由通用语法生成的示例中，用于常规或无上下文语法推理的最佳（或任何）开源库是什么？ 我更喜欢Java，Python或Ruby中的好库，但当然乞丐不能选择。
我做了一些谷歌搜索，但找不到任何实际的实现，虽然我确实找到了很多有趣的参考。 这个库看起来很有趣，但我无法在任何地方找到它。
编辑（2011-11-14）：为了清楚起见（虽然我不确定你们是怎么误解的），但问题是关于语法推理，而不是语法生成或解析。 换句话说，给定一组符合未知语法的字符串，找到它们都满足的最严格的语法。
我还没有使用它们，但是我有这个相同的问题，并且（经过多次搜索）发现了这两个库，至少：
- libalf for C ++
- 用于MATLAB的gitoolbox
与问题的其他答案不同，这些是实际的语法推理库而不是解析器生成器 。
你可以看一下antlr – http://www.antlr.org/ ，看看它是不是你要找的东西。
看看Parboiled： https ： //github.com/sirthias/parboiled它不会生成任何来源，只需在您的应用中创建一个类，在其中定义模型，然后从您的代码中调用。