形式语法是一组生成规则，描述如何形成有效语法的字符串。形式语法最常用于指定编程语言的语法。
在搜索 Antlr 3.5 的 PHP 词法分析器语法时，从链接中获取了 Antlr 4 的语法（与 Antlr 3.5 不兼容）。 因此尝试兼容 Antlr 3.5。唯一的问题是这些
基于正式的 Pascal EBNF 定义（第 69-75 页），我发现 Pascal 仅支持 3 种基本类型：Integer、Real 和 String。 在 C 中，任何不同于 0 的值都可以解释为 t...
我想要一个标记规则，它会吞噬所有字符，直到到达字符 XYZ。 因此，如果输入是这样的： 你好XYZ 那么令牌规则应该返回这个令牌： 你好 如果输入我...
我正在用 C 语言编写基于简单 lambda 演算的语言的解释器。语言的 EBNF 是 S ::= E E ::= 'fn' var '->' E | T {'+' T} | T {'+' T} | T {'-' T} T ::= F {'*' F} | T ::= F {'*'F} | F {'/' F} F ::= P {P} P ::= v...
我正在尝试定义单词“are”的 Lambda 演算表示，它是此 ccg 的等式谓词： ccg = ''' #CCG语法 # 完成词汇条目及其类别和
我正在努力将语法转换为 LL(1) 形式，但是当我尝试使用在线 LL(1) 解析器生成器时，它报告错误。我已经按照标准程序进行了转换，b...
我正在寻找扩展 DCG 测试用例。方法 检查 DCG 是否正常运行的测试用例 处理器就结果的行为而言 转换后的规则，而不是其
我在这个语法中遇到了一个关于左递归的小问题。我正在尝试用 Prolog 编写它，但我不知道如何删除左递归。 -> <
这篇博文对如何使用 Omega monad 对角枚举任意语法进行了有趣的解释。他提供了一个示例来说明如何做到这一点，从而产生无限序列
Markdown 支持嵌套列表，由每行开头的空格（缩进）长度指示。这与Python类似。使用上下文无关构建解析器似乎很困难
在寻找在 Ruby 中解析 SNMP Mib 文件的方法时，我发现了一个用 Java 编写的项目（www.mibble.org），它使用两个 Grammar 文件（扩展名 .grammar）来解析 Mib 文件。有什么办法可以使用吗
ANTLR LEXER RULE 有两个规则，一个将接受包括符号在内的所有字符，另一个将仅接受字符
ANTLR LEXER RULE 中是否可以有两个规则，一个将接受所有字符，包括所有符号（如 (,),_ 等），另一个将仅接受字符 a 到 z？ 像下面这样： ...
下面是我用于解析 Solidity 函数的方法签名的 pyparsing 语法，以及要解析的示例签名： 从 pyparsing 导入 Word、alphas、alphanums、oneOf、Group、Forward、ZeroO...
我有一个具有以下格式的处理器跟踪输出： 时间周期 PC Instr 解码指令 寄存器和存储器内容 905ns 86 00000e36 00a005b3 c.添加...
我对 ANTLR 语法相当陌生。这是我的 g4 文件中的内容： tptp_文件：tptp_输入* EOF； tptp_input : 带注释的公式 |包括; 带注释的公式：
我想选取一组单词，最好至少 100 个，然后得到真正有意义的句子。 我见过的任何语法检查 API 都可以纠正句子，如果它们的形式至少是...
我正在尝试使用antlr4生成一个解析器。 我的内容看起来很简单。但让我们先看看我的语法： 词法分析器： 美元：'$'->pushMode(VAR_MODE); // 一旦出现“...
使用 python 包将句子从第一人称重写为第三人称，反之亦然
python中是否有任何包可以从人的角度重写大量内容，即第一人称到第三人称和第三人称到第一人称 我昨天吃了苹果 他吃了苹果是的...
下面的规则中的basename = 的构造是什么？ 选项卡名称： （ID'。'）？基本名称 = ID ; 语法中仅出现一次基本名称。
下面的规则中的basename = 的构造是什么？ 选项卡名称： （ID'。'）？基本名称 = ID ; 语法中仅出现一次基本名称。