语法推理库？
从被认为是由通用语法生成的一组示例中，用于常规或无上下文语法推断的最佳（或任何一种）开源库是什么？我更喜欢Java，Python或Ruby的良好库，但是乞be当然不能成为选择者。
我做了一些谷歌搜索，但是找不到任何实际的实现，尽管我确实找到了很多有趣的参考。
这个库看起来很有趣，但是我找不到它可以在任何地方下载。
编辑（2011-11-14）：为清楚起见（尽管我不确定大家都怎么理解），问题是关于语法推断，而不是语法生成或解析。换句话说，给定一组符合未知语法的字符串，找到它们都满足的最严格的语法。
问题答案：
我还没有使用过它们，但是我有一个相同的问题，并且（经过大量搜索）至少找到了这两个库：
- libalf for C ++
- html" target="_blank">gitoolbox for MATLAB
与问题的其他答案不同，它们是实际的 语法推断库， 而不是 解析器生成器 。
-
本文向大家介绍语句演算的推理理论，包括了语句演算的推理理论的使用技巧和注意事项，需要的朋友参考一下 为了从我们已经知道其真相的陈述中推断出新的陈述，使用了推理规则。 推理规则有什么用？ 数学逻辑通常用于逻辑证明。证明是确定数学陈述的真值的有效参数。 参数是一系列语句。最后一个陈述是结论，其前面的所有陈述都称为前提（或假设）。结论之前放置符号“ $\ there $”（因此请阅读）。一个有效的论点是
-
主要内容：文档注释,第一批脚本程序通常，批处理文件中的第一行通常由以下命令组成。 echo命令 默认情况下，批处理文件将在运行时显示其命令。 这第一个命令的目的是关闭这个显示。 命令会关闭整个脚本的显示，除了命令本身之外。前面的符号使命令也适用于自己。 文档注释 很多时候批处理文件也包含以“Rem”命令开始的行。 这是编写注释和文档的一种方式。程序执行时忽略关键字之后的任何内容。 对于越来越复杂的批处理文件，这通常对理解程序执行一
-
本文向大家介绍正则表达式(语法篇推荐)，包括了正则表达式(语法篇推荐)的使用技巧和注意事项，需要的朋友参考一下 正则表达式的构造摘要 构造 匹配 字符 x 字符 x \\ 反斜线字符 \0n 带有八进制值 0 的字符 n (0 <= n <= 7) \0nn 带有八进制值 0 的字符 nn (0 <= n <= 7) \0mnn 带有八进制值 0 的字符 mnn（0 <= m <= 3、0 <=
-
如果我有类和collection并尝试将它们传递给方法，但不断得到编译时异常。我试过通配符捕获和其他方法，但没有运气。我一定是错过了一些明显的东西。欢迎任何建议。 更新：有人将此标记为与其他泛型通配符相关的问题重复。然而，这是非常不同的情况。我们拥有的是 其中params、clz和items基于相同的类型t，当我们只有一个参数时，可以使用通配符捕获方法。但这里有通配符变量和: 它们与和具有类似的关
-
我阅读了一些用C++创建的项目的技术文档。我发现有一行代码包含我不懂的语法： 我看到关键字，这意味着我们处理别名，但这行是做什么的？我怎么能理解呢？我认为这会创建命名别名并将表达式的结果分配给它。但是这个表达是什么呢？
-
请问AI推理加速有推荐的书吗？学习路线是什么？