●句型 如果有S→*β,则称符号串β为GFG的 句型。我们用SF(G)表示文法G的所有句 型的集合 ●句子 如果β只包含终极符,则称β为GG的句 子,其中S是文法的开始符 ●语言: L(G)={us→+u,u∈V*}。 文法G所定义的语言是其开始符所能推导 的所有终极符号串(句子)的集合。⚫ 句型： 如果有S*  ，则称符号串为CFG的 句型 。我们用SF(G)表示文法G的所有句 型的集合 ⚫ 句子： 如果只包含终极符，则称为CFG的句 子，其中S是文法的开始符 ⚫ 语言： L(G)={ u| S + u ,u  VT * }。 文法G所定义的语言是其开始符所能推导 的所有终极符号串(句子)的集合