编译原理(3).pptVIP

第3章 文法和语言 1.文法的直观概念 2.符号和符号串 3.文法和语言的形式定义 4.文法的类型 5.上下文无关文法及其语法树 6上下文无关文法的句型分析 7.有关文法实用中的一些说明 3.1 文法的直观概念(1)文法的直观概念 语言、句子、 如何判断亩符号串是否是句子？当我们表述一种语言时，无非是说明这种语言的句子，如果语言只含有有穷多个句子，则只需列出句子的有穷集就行了，但对于含有无穷句子的语言来讲，存在着如何给出它的有穷表示的问题。 以自然语言为例，人们无法列出全部句子，但是人们可以给出一些规则，用这些规则来说明(或者定义)句子的组成结构 汉语规则 “我是大学生”。是汉语的一个句子 规则 〈句子〉∷=〈主语〉〈谓语〉 〈主语〉∷=〈代词〉｜〈名词〉 〈代词〉∷=我｜你｜他 〈名词〉∷=王明｜大学生｜工人｜英语 〈谓语〉∷=〈动词〉〈直接宾语〉 〈动词〉∷=是｜学习 〈直接宾语〉∷=〈代词〉｜〈名词〉 如何判断句子是否合法 有了一组规则以后，按照如下方式用它们导出句子： 从〈句子〉开始，逐渐用规则的右边代替左边，直到产生字符串。这个动作表示成： 〈句子〉 ? 〈主语〉〈谓语〉， 然后，采用规则〈主语〉∷=〈代词〉， 那么得到：〈主语〉〈谓语〉 ? 〈代词〉〈谓语〉， 重复做下去， 句子：“我是大学生”的全部动作过程是： 〈句子〉 ? 〈主语〉〈谓语〉 ? 〈代词〉〈谓语〉  ?我〈谓语〉 ?我〈动词〉〈直接宾语〉  ? 我是〈直接宾语〉 ?我是〈名词〉 ?我是大学生 英语句子 sentence – subject verb-phrase object subject – This | Computers | I verb-phrase – adverb verb | verb adverb – never verb – is | run | am | tell object – the noun | a noun | noun noun – university | world | cheese | lies This is a university. Computers run the world. I am the cheese. I never tell lies. (2)语言概述 语言是由句子组成的集合，是由一组符号所构成的集合。 汉语--所有符合汉语语法的句子的全体 英语--所有符合英语语法的句子的全体 程序设计语言--所有该语言的程序的全体 每个句子构成的规律 研究语言 每个句子的含义 每个句子和使用者的关系 研究程序设计语言 每个程序构成的规律 每个程序的含义 每个程序和使用者的关系 语言研究的三个方面 语法 Syntax 语义 Semantics 语用 Pragmatics 语法 -- 表示构成语言句子的各个记号之间的组合规律 语义 -- 表示各个记号的特定含义。（各个记号和记号所表示的对象之间的关系） 语用 --表示在各个记号所出现的行为中，它们的来源、使用和影响。 语言的实例若在语法上是正确的，其相关联的意义可以从两个观点来看，其一是该句子的创立者所想要表示的意义，另一是接收者所检验到的意义。这两个意义并非总是一样的，前者称为语言的语义，后者是其语用意义。幽默、双关语和谜语就是利用这两方面意义间的差异。 如果不考虑语义和语用，即只从语法这一侧面来看语言，这种意义下的语言称作形式语言。形式语言抽象地定义为一个数学系统。“形式”是指这样的事实：语言的所有规则只以什麽符号串能出现的方式来陈述。形式语言理论是对符号串集合的表示法、结构及其特性的研究。是程序设计语言语法分析研究的基础。 3.2 符号和符号串 符号：可以相互区别的记号（元素）。 字母表?：符号（元素）的非空有穷集合。 符号串：由字母表?中的符号组成的任何有穷序列称为该字母表上的符号串。 1.空符号串ε(没有符号的符号串)是?上的符号 2.若x是?上的符号串,a是?的元素,则xa和ax是?上的符号串 3. y是?上的符号串,当且仅当它可以由1和2导出。 例如： Σ={a,b} ε,a,b,aa,ab,aabba…都是?上的符号串 有关定义和记号 符号串s的头（前缀）：移走符号串s尾部的零个或多于零个符号得到的符号串.