编译原理：句型、句子、短语、直接短语、句柄、素短语、最左素短语

--句型与句子

• 如果 S⇒* α，α∈(VT∪VN)*，则称α是G的一个句型 (sentential form)
• 一个句型中既可以包含终结符，又可以包含非终结符，也可能是空串
• 如果 S⇒* w，w ∈VT*，则称w是G的一个句子(sentence)    句子是不包含非终结符的句型

书本上的概念：

如果Ｓ αＡβ 且 Aγ，则称γ是句型αγβ的相对于非终结符A的<