The new grammar is unambiguous and an efficient parsing algorithm is also given.

• 不包含单项产生式的运算符优先文法也是它的真子文法。