实施例1 forall x,y in set {1,…,5} & X <> y => not m.temps(x) = m.temps(y)
实施例2 exists i,j in set inds m.temps & i <> j and m.temps(i) > 400 and m.temps(j) > 400
什么<>在这些句子的意思?
问题是,PEGs(解析表达式语法)do not allow left-recursive rules。 我已阅读有关此主题的可用答案,但具体问题(如this one)或非常简单(例如x = symbol:(x '.'))。 我创建了以下非常简单的语法来说明问题 EXAMPLE = x+
x = symbol:(x y*/x y z)
y = symbol:('.' x)
z = symb
我已经有相当多的问题,此任务: L = {w element of {a,b}* |
the number of a's plus 2 times the number of b's modulo 5 in w is 0}
我想过: S -> ε
S -> abbS
S -> babS
S -> bbaS
S -> aaaaaS
S -> aaabS
等等