ComplementaryChFormallanguage.ppt

College of Computer Copyright ? SE Dept GPC Complementary Ch01Formal language 本 章 内 容 形式语言理论 形式语言的简单数学基础 语言和文法的分类（重点） 语言与文法的相互求解方法（重点） 编译过程中两种语法分析方法 形 式 语 言 理 论 生成能力是语言最重要的一个特点。 应从形式上、结构上考虑问题，语法应该是“一种装置（device），这种装置能产生所研究对象语言的许多句子”。 以类似数学那样的方法，演绎的方法，把语法分析过程公式化。 字 母 表 定义：元素的非空有穷集合。记为∑。 在形式语言中，字母表包含了语言中所允许出现的一切符号。 例如：组成英语的字母表为∑={A,a,B,b…} 组成汉语的字母表为∑={……} 符号串 符号串：字母表中的符号所组成的有穷序列称为符号串。 一个语言的句子总是它所在字母表的符号串。这个符号串的组成必须是按照 一定规则 组合而成的。 语法分析的一个重要任务就是：判断一个符号串的组成是否满足已有规定。 关于符号串的概念和操作 运算： 连接/联结/并置：x=123, y=45那么xy=12345 方幂：x的n次方幂即将n个x联结。 子符号串：v是 xvy 的子符号串。v非空。 头，尾：x是 xy 的头，y是 xy 的尾。 符号串集合 定义：若集合A中的一切元素都是同一个字母表上的集合，那么A被称为该字母表上的符号串集合。 在计算机课程中，语言被认为是句子的集合。所以，一个语言就是对应于它的字母表上的一个符号串集合。 符号串集合的运算 乘积：AB = { xy | x?A且y ?B } 方幂：A 的 n 次方幂就是将 n 个 A 相乘。 符号串集合的正闭包与（自反）闭包： 符号串集合A的正闭包: A+ =A1∪A2 ∪ …∪An ∪… 符号串集合A的（自反）闭包: A* =A0∪A1 ∪ …∪An ∪… 2.2 文法及其分类 文法、语言、句子的关系 文法是语言的形式化描述，可以说，确定了某一文法，则可以确定一个给定的句子是否属于该文法（或者说可以由文法推导出语言的每一个句子）。 注：语言 是 句子 的集合。 字符串集合 字符串 文法、语言、句子举例 由于文法、语言、句子本质上的紧密联系，在此我们以“产生语言”的角度出发，给出文法、语言、句子的形式定义。 例：以英语句子的组成为例，假定每一个句子都是由 主语短语 + 动词短语 结构组成。则有： 1. 句子::=主语短语 动词短语 说明：上面1.称为该语言的 语法规则。 句子、主语短语 、动词短语 称为该语言的 语法范畴。 文法、语言、句子举例 可以看到由句子推导出（或说定义出）主语短语 动词短语 等语法范畴后，并不是我们日常语言。可进一步定义… 2.主语短语 ::= the 名词3.动词短语 ::=动词宾语短语 则我们得到新的 语法范畴 名词、动词、宾语短语、 和新的 语法规则 2. 和 3. 注：the的特殊性——不可再定义 文法、语言、句子举例 同理可以得到以下语法规则和语法范畴 4. 宾语短语 ::= 冠词 名词5. 名词 ::= monkey6. 名词 ::= banana7. 动词 ::= ate 8. 动词 ::= has9. 冠词 ::= the 10. 冠词 ::= a 我们可以由该语言的最大的语法范畴句子不断使用规则1.-10.来推导出属于该文法的每一个句子。 文法、语言、句子举例 例如： 句子 = 主语短语动词短语 使用规则1 = 主语短语动词宾语短语 使用规则3 = the 名词动词宾语短语 使用规则2 = the 名词动词 冠词 名词 使用规则4 = the monkey动词 冠词 名词 使用规则5 = the monkey ate 冠词 名词 使用规则7 = the monkey ate a 名词 使用规则10 = the monkey ate a banana 使用规则6