离散数学第8章chapter8-2形式文法.pptxVIP

8-2 形式文法 ;一、文法的定义 ;该句子是应用下列规则构成的： ;6.动词短语→动词名词短语 ; 下面看抽取的文法的4种“东西”在文法中的地位和作用。 ;（2）句子 作为一个“符号”，具有特殊的意义。语言中的所有句子都是从这个“符号”出发经过推导得到的。称这个符号为开始符。 ;下面给出形式文法的定义。 ; ， ， 为生成式的非空有限集合， 中元素均具有形式 ，被称为生成式，读作： 定义为 。其中 ， ，且 中至少有 中元素的一个出现， ， ， 是字母表 上的一个串，它们也可能是空串，A是一个非终结符。 称为生成式 的左部， 称为生成式 的右部，生成式又叫定义式或者语法规则。 ;定义8-2.2 令 ，集合 中的符号串称为句型。如果 是G的一个生成式， 及 是句型，称 是 的