用于从一组被认为是由通用语法生成的示例中进行常规或上下文无关语法推理的最佳（或任何）开源库是什么？我更喜欢 Java、Python 或 Ruby 的优秀库，但乞丐当然不能挑剔。
我做了一些谷歌搜索，但找不到任何实际的实现，尽管我确实找到了很多有趣的参考资料。 这个库看起来很有趣，但我找不到可以在任何地方下载的地方。
编辑（2011-11-14）：为了清楚起见（虽然我不确定你们是如何误解的），问题是关于语法推理，而不是语法生成或解析。换句话说，给定一组符合未知语法的字符串，找到它们都满足的最严格的语法。