编译原理

　　我们举一些例子来理解"短语"，"直接短语"和"句柄"的概念。
　　让我们考虑例4.14中的文法G[E]的一个句型i*i+i。为了叙述方便，我们将句型写作i₁*i₂+i₃。因为有：
　　E

F* i₂+i₃ 且F

i₁则称i1是句型i₁*i₂+i₃的相对于非终结符F的短语，也是相对于规则F→i的直接短语。又有：
　　E

i₁*F+i₃ 且F

i₂则i₂是句型i₁*i₂+i₃的相对于F的短语，也是相对于规则F→i的直接短语，还有：
　　E

i₁*i₂+F 且F

i₃则i₃也是句型i₁*i₂+i₃的相对于F的短语，也是相对于规则F→i的直接短语。
　　还有：
　　E

T*i₂+i₃，且T

i₁则i₁是句型i*i₂+i₃的相对于T的短语。
　　还有：
　　E

i₁*i₂+T 且T

i₃则i₃是句型i₁*i₂+i₃的相对于T的短语。
　　还有：
　　E

T+i₃ 且T

i₁*i₂则i₁*i₂是句型i₁*i₂+i₃的相对于T的短语。
　　还有：
　　E

E+i₃ 且E

i₁*i₂则i₁*i₂是句型i₁*i₂+i₃的相对于E的短语。
　　还有：
　　E

E 且E

i₁*i₂+i₃则i₁*i₂+i₃是句型i₁*i₂+i₃相对于E的短语。
　　即i₁，i₂，i₃，i₁*i₂和i₁*i₂+i₃都是句型i₁*i₂+i₃的短语，而且i₁，i₂，i₃均为直接短语，其中i₁是最左直接短语，即句柄。
　　虽然i₂+i₃是句型i₁*i₂+i₃的一部分，并不是它的短语，因为尽管有E i₂+i₃，但不存在从文法开始符号E到i₁*E的推导。
　　再讨论例4.13的文法的句型aabbaa，为区别其中的a和b，把它写作a₁a₂b₁b₂a₃a₄。它的直接短语有a₂，b₂a₃和a₄，a₂即是句柄；它的短语有a₂，b₂a₃，a₄，a₂b₁b₂a₃和a₁a₂b₁b₂a₃a₄。