编译原理之找短语、句柄、素短语等

1.定义

1. 句型、句子、语言
   设文法G=(V_T,V_N,S和P)。如果S =>* α，则称α是一个句型。仅含终结符号的句型是一个句子。语言 L(G)是有文法G产生的所有句子组成的集合：L(G) = {α | S =>* α,且α∈V_T^* }

2. 短语、直接短语、句柄
   令G是一个文法，S是文法的开始符号，假定αβδ是文法G的一个句型，如果有S =>* αAδ 且 A =>⁺ β，则称β是句型αβδ相对于非终结符A的短语。特别是，如果有A => β,则称β是句型αβδ相对于规则A -> β的直接短语，一个句型的最左直接短语称为该句型的句柄。

3. 素短语、最左素短语
   设G是一个算符文法，β是句型αβδ关于A的短语（即有S =>* αAδ 且 A =>⁺ β），且β至少含有一个终结符号，并且除自身之外不再含有任何更小的带有终结符号的短语，则称β是句型αβδ关于A的素短语。所谓最左素短语是指处于句型最左边的那个素短语。

2.抛出一个小栗子

待续。。