第二章高级语言与其语法描述n.pptVIP

第2章 高级语言及其语法描述;2.1 程序语言的定义及特性; 任何语言均可看作一个集合。这个集合中的每个元素都是在一定符号集 （字母表）上的一个符号串。 对于自然语言来说，它们是定义在某个字母表上的句子的集合。 对于程序语言来说，它们也是定义在某个字母表上的句子的集合。这里 的句子，就是一个源程序。 通常，源程序是由关键字、标识符、常数、运算符以及一些界限符组成。 这些语法成分统称为单词或单词符号。 单词符号是语言中具有独立意义的最基本单位。语言的单词符号是由词法 规则所确定的，即词法规则规定了单词符号的形成规则。 ;“我是大学生”。是汉语的一个句子 用语法来描述：; 有了一组规则以后，按照如下方式用它们导出句子：开始去找∷=左端的带有〈句子〉的规则并把它由∷=右端的符号串代替，这个动作表示成： 〈句子〉 ? 〈主语〉〈谓语〉，然后在得到的串〈主语〉〈谓语〉中，选取〈主语〉或〈谓语〉，再用相应规则的∷=右端代替之。比如，选取了〈主语〉，并采用规则〈主语〉∷=〈代词〉， 那么得到：〈主语〉〈谓语〉 ? 〈代词〉〈谓语〉， 重复做下去， 句子：“我是大学生”的全部动作过程是： 〈句子〉 ? 〈主语〉〈谓语〉 ? 〈代词〉〈谓语〉  ?我〈谓语〉 ?我〈动词〉〈直接宾语〉  ? 我是〈直接宾语〉 ?我是〈名词〉 ?我是大学生 ;语言概述;语法 —— 表示构成语言句子的各个记号之间的组合规律。 语义 —— 表示各个记号的特定含义。即是一组规则，使用它可以定义语言的意义。（各个记号和记号所表示的对象之间的关系） 语用 ——表示在各个记号所出现的行为中，它们的来源、使用和影响。;2 高级语言的分类;2.2 形式语言基础;二、符号串和符号串集合的运算 1.符号串相等：若x、y是集合上的两个符号串，则x＝y iff（当且仅当）组成x的每一个符号和组成y的每一个符号依次相等。 2.符号串的长度：x为符号串，其长度|x|等于组成符 号串的符号个数。 例： x＝STV ， |x|=3 ;例：A＝{a,b},B={c,d}, AB= ？ ;6.符号串集合的闭???运算：设A是符号串集合，定义 A＋＝ A1 ∪ A2 ∪ A3 ∪……∪ An ∪…… 称为集合A的正闭包。 A*＝ A0 ∪A＋ 称为集合A的闭包。; 为什么对符号、符号串、符号串集合以及它们的运算感兴趣？ 若A为某语言的基本字符集 A＝{a,b,……z,0,1,……,9, +,－,×,_/, ( , ), =……} B为单词集 B ={begin, end, if, then,else,for,……,标识符,常量,……} 则B ? A* 。 语言的句子是定义在B上的符号串。 若令C为句子集合，则C ? B * , 程序? C;2.3 文法的直观理解; 2.语法规则：我们通过建立一组规则（产生式），来描述句子 的语法结构。规定用“::=”表示“由……组成”。;由产生式推导句子：有了一组产生式之后，可以按照一定的 方式用它们去推导或产生句子。 推导方法：从一个要识别的符号开始推导，即用相应产生式 的右部来替代产生式的左部，每次仅用一条产生式去进行推导。;句子 = 主语谓语;例：有一英语句子：The big elephant ate the peanut. 句子::=主语谓语 主语::=冠词形容词名词 冠词 ::=the 形容词::=big 名词::=elephant 谓语::=动词宾语 动词::=ate 宾语::=冠词名词 名词 ::=peanut;句子 = 主语谓语;上述推导可写成句子 = the big elephant ate the peanut; 4.语法树：我们用语法树来描述一个句子的语法结构。;2.4.1文法的定义;P = {无符号整数 → 数字串 ； 数字串 → 数字串 数字 ； 数字串 → 数字 ； 数字 →0； 数字 →1； ………… 数字 →9； } Z = 无符号整数；;几点说明：;2.4.2 推导与归约; 当符号串已没有非终结符号时，推导就必须终止。因为 终结符不可能出现在产生式左部，所以将在产生式左部出现的 符号称为非终结符号。; ＋ N==109;直观意义：规范推导＝最右推导;2.4.3 语言的形式定义;例：{abna|n≥1},构造其文法 G1[Z]： Z→aBa, B→b|bB