This new grammar we call an augmented operator grammar

• 我们把这种新文法称为扩张算符文法。