创建递归LPeg模式

Question

在普通的PEG (解析表达式语法)中，这是一个有效的语法：

values <- number (comma values)*
number <- [0-9]+
comma  <- ','

但是，如果我试图使用LPeg编写该规则，则该规则的递归性质将失败：

local lpeg   = require'lpeg'

local comma  = lpeg.P(',')
local number = lpeg.R('09')^1
local values = number * (comma * values)^-1
--> bad argument #2 to '?' (lpeg-pattern expected, got nil)

虽然在这个简单的例子中，我可以重写规则以不使用递归，但我有一些现有的语法，我不希望重写。

如何在LPeg中编写自引用规则？

Answer 1

使用grammar。

通过使用Lua变量，可以增量地定义模式，每个新模式都使用以前定义的模式。但是，这种技术不允许定义递归模式。对于递归模式，我们需要真正的语法。 LPeg用表表示语法，其中每个条目都是规则。 调用lpeg.V(v)创建一个模式，表示语法中索引v的非终端(或变量)。因为在计算此函数时，语法仍然不存在，因此结果是对相应规则的公开引用。 表在转换为模式时是固定的(通过调用lpeg.P或使用它，其中期望有一个模式)。然后，对lpeg.V(v)创建的每个开放引用进行更正，以引用表中由v索引的规则。 如果表是固定的，则结果是与其初始规则匹配的模式。表中索引1的条目定义了它的初始规则。如果该条目是字符串，则假定它是初始规则的名称。否则，LPeg假设条目1本身就是初始规则。 例如，以下语法匹配a's和b's的字符串，它们具有相同的a和b的数目： 等号= lpeg.P{ "S"；--初始规则名称S= "a“* lpeg.V"B”+ "b“* lpeg.V"A”+ ""，A= "a“* lpeg.V"S”+ "b“* lpeg.V"A”* lpeg.V "a“，B= "b”* lpeg.V"S“+”a“* lpeg.V"B”* lpeg.V"B"，}* -1 它等价于标准PEG表示法中的以下语法： S <- 'a‘B/ 'b’A/ '‘A <- 'a’S/ 'b‘A B <- 'b’S/ 'a‘B

Answer 2

我知道这是一个迟来的答案，但这里有一个想法，如何反向引用一条规则。

local comma  = lpeg.P(',')
local number = lpeg.R('09')^1
local values = lpeg.P{ lpeg.C(number) * (comma * lpeg.V(1))^-1 }

local t = { values:match('1,10,20,301') }

基本上，基本语法被传递给lpeg.P (语法只是一个美化的表)，它按数字引用第一个规则，而不是名称，即lpeg.V(1)。

该示例只在number终端上添加一个简单的number捕获，并在本地表t中收集所有这些结果以供进一步使用。(请注意，没有使用lpeg.Ct，这不是什么大事，但仍然.我想是样本的一部分。)