由（1）给出算符文法的性质，可以知道算符文法的任何一个句型应为如下形式： 　　#N1a1N2a2 ... Nnan Nn+1# 　　其中Ni(1≤i≤n+1)为非终结符或空，ai(1≤i≤n)为终结符。 　　若有Niai ... NjajNj+1为句柄，则Ni和Nj+1在句柄中，这是由于算符文法的任何句型中均无两个相邻的非终结符，且终结符和非终结符相邻时含终结符的句柄必含相邻的非终结符(见6.2.2中的性质2)。 　　该句柄中终结符之间的关系为： 　　ai-1 ai 　　ai ai+1…… aj-1 aj 　　aj aj+1