定量化分析不是比较好的。

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周围的括号使它成为一个表达式。再加上列表的其他部分，你就有了原子和表达式，而第二种语法不允许这种混合。它只允许一堆原子或一串表达式，其中表达式需要括号。