第三章文法和语言.pptVIP

第3章 文法和语言 本章知识点(内容) 为语言的语法描述寻求工具 工具要对程序设计语言给出精确的无二义的语法描述。(严谨、简洁、易读) 形式工具—将语言抽象地定义为一个数学系统。 “形式”是指这样的事实：语言的所有规则仅以什么样的符号串能出现的方式来陈述 本章知识点(内容) 文法和语言的形式定义 文法的类型 上下文无关文法及其语法树 上下文无关文法的句型分析 有关文法实用中的一些说明 确定的有限自动机 3.1 文法的直观概念 表述一种语言，就是说明这种语言的句子的集合。 如果这个集合是有穷的，则只需列出句子的有穷集合。 但对于含有无穷句子的语言来讲，存在如何给出它的有穷表示的问题。 文法的直观概念 以自然语言为例，无法列出全部句子，但是可以给出一些规则，用这些规则来说明(或者定义)句子的组成结构。 比如汉语句子可以是由主语后随谓语而成，构成谓语的是动词和直接宾语 采用EBNF表示这种句子的构成规则 文法的直观概念 “我是大学生”。是汉语的一个句子 句子∷=主语谓语 主语∷=代词|名词 代词∷=我|你|他 名词∷=王明|大学生|工人|英语 谓语∷=动词直接宾语 动词∷=是|学习 直接宾语∷=代词|名词 文法的直观概念 有了一组规则以后，按照如下方式用它们导出句子： 找出∷=左端的带有句子的规则，并把它由 ∷= 右端的符号串代替，这个动作表示成： 句子 ? 主语谓语 文法的直观概念 然后在得到的串主语谓语中，选取 主语或谓语，再用相应规则的∷=右端代替之。 比如，选取了主语，并采用规则 主语∷=代词， 那么得到： 主语谓语 ? 代词谓语， 文法的直观概念 句子：“我是大学生”的全部动作过程是： 句子 ?主语谓语 ?代词谓语 ?我谓语 ?我动词直接宾语 ?我是直接宾语 ?我是名词 ?我是大学生 文法的直观概念 “我是大学生”的构成符合上述规则，而“我大学生是”不符合上述规则，不是句子。 这些规则成为判别句子结构合法与否的依据，换句话说，将这些规则看成是一种元语言(metalanguage) ，用它描述汉语。 这里仅仅涉及汉语句子的结构描述。 英语句子 sentence ∷=subjectverb-phraseobject subject ∷= This | Computers | I verb-phrase ∷= adverbverb | verb adverb ∷= never verb ∷= is | run | am | tell object ∷= the noun | a noun | noun noun ∷= university | world | cheese | lies cheese:奶酪、重要人物 lies:谎言 英语句子 This is a university. Computers run the world. I am the cheese. I never tell lies. 其中：I am the cheese.　是合乎语法的句子，而从语义角度上存在二义性。 文法的直观概念 文法(grammar)—对语言的有穷说明，描述句子结构规则的元语言称为文法。 文法包含了对语法(syntax)的描述，但却不表达任何语义。 语言概述 语言是由句子组成的集合，也可以看作由一组符号所构成的集合。 汉语—所有符合汉语语法的句子的全体 英语—所有符合英语语法的句子的全体 程序设计语言—所有该语言的程序的全体 每个句子构成的规律 研究语言 每个句子的含义 每个句子和使用者的关系 语言研究 研究程序设计语言 每个程序构成的规律 每个程序的含义 每个程序和使用者的关系 语言研究的三个方面 语法 Syntax 语义 Semantics 语用 Pragmatics 语言概述 每种语言具有两个可识别的特性： 语言的形式—语法 该形式相关联的意义—语义 语法—表示构成语言句子的各个记号之间的组合规律 语义—表示各个记号的特定含义。表示各个记号和记号所表示的对象之间的关系。 语言概述 语用—表示在各个记号所出现的行为中，它们的来源、使用和影响。 只从语法来看语言，这种意义下的语言称作形式语言。 形式语言(formal language)—用数学符号严格地依据一定的规则，形式地表达语言描述。这种表达式称为形式语言。 语言概述 每种语言具有两个可识别的特性，