TextX解析器中无限左递归的克服

我正在使用 TextX Python库(基于 Arpeggio

但是当我试图用它来解析一个文件时,我得到了一个例外:

RecursionError: maximum recursion depth exceeded while calling a Python object

下面是引发此异常的最小示例:

#!/usr/bin/env python
from textx import metamodel_from_str

meta_model_string = "Expr: ( Expr '+' Expr ) | INT ;"
model_string      = "1 + 1"

mm = metamodel_from_str(meta_model_string, debug=True)
m = mm.model_from_str(model_string, debug=True)

我查到了琶音 left recursion issue A := A B 不受支持,应转换为不存在此类递归的规则。

所以我的问题是: 有没有可能重写 Expr := Expr '+' Expr Expr 规则要复杂得多。略为简化的版本为:

Expr: '(' Expr ')' | Expr '+' Expr | Expr '*' Expr' | '!' Expr | INT | STRING ;