本文探讨了如何使用一种称为“递归受限正则表达式”的新形式来描述算术表达式。作者首先指出现有语法（如上下文无关文法和解析表达式文法）在描述表达式优先级和结合性方面的局限性。然后，作者提出了一种使用正则表达式来定义树形结构的方法，并通过添加约束规则来消除歧义。最后，作者提出了一个问题：是否存在一种算法可以判定任意递归受限正则表达式是否具有歧义性。