pyparsing quantitative 不是可交换的

Question

为什么 ZeroOrMore(a) | ZeroOrMore(b) 不像 ZeroOrMore(a | b)？

我尝试了一个简单的 lisp 方言，然后我解决了这个问题，所以它有效

from pyparsing import *

ID = Word(alphas)
NUM = Word(nums)
LP = Literal('(').suppress()
RP = Literal(')').suppress()
atom = ID | NUM
expr = Forward()
e = ZeroOrMore(atom|expr)
expr << Group(LP + e + RP)


r = expr.parseString('(foo bar 1 (tar))')
print(r)

虽然这会在第 ( 秒给出解析器错误。

from pyparsing import *

ID = Word(alphas)
NUM = Word(nums)
LP = Literal('(').suppress()
RP = Literal(')').suppress()
atom = ID | NUM
expr = Forward()
e = ZeroOrMore(atom) | ZeroOrMore(expr)
expr << Group(LP + e + RP)


r = expr.parseString('(foo bar 1 (tar))')
print(r)

Answer 1

第二个不允许你混合原子和表达式。

正如您定义的那样，tar 周围的括号使其成为一个表达式。结合该列表的其他部分，你有原子和一个表达式，而第二个语法不允许这种混合。它只允许一堆原子或一堆表达式，其中表达式需要括号。

pyparsing quantitative 不是可交换的

pyparsing quantitative is not comutative

python

pyparsing