定义4.3 如果存在直接推导的序列： v=w0 w1 w2…wn=w,(n＞0) 则称v推导出(产生)w(推导长度为n)，或称w归约到v。记作v w。 定义4.4 若有v w，或v=w，则记作v w。 定义4.5 设G[S]是一文法，如果符号串x是从识别符号推导出来的，即有S x，则称x是文法G[S]的句型。若x仅由终结符号组成，即S x，x∈VT*，则称x为G[S]的句子。