通常，用a,→n 表示：从出发，经过 一步或若干步，可以推出o 用必1→Cn表示：从o1出发，经过0步或 若干步，可以推出on。 所以：C→B即=B或→B 口定义：假定G是一个文法，S是它的开始符号。 如果 则称是一个句型。仅含终结符 坐是句子。文法所产生的句子的全 体是一个语言，将它记为L(G)。 L(G)={Ox|S→,Ox∈V} 国防科技大学计算机系602教研室 ◼ 通常，用 表示：从1出发，经过 一步或若干步，可以推出n。  n + 1   n * 用 1  表示：从1出发，经过0步或 若干步，可以推出n。  =    +    * 所以 ：  即 或 ( ) { | , } * VT L G = S  +    ❑定义：假定G是一个文法，S 是它的开始符号。 如果 ，则称是一个句型。仅含终结符 号的句型是一个句子。文法G所产生的句子的全 体是一个语言，将它记为 L(G)。  * S 