This new grammar we call an augmented operator grammar.

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