第2章文法和语言终.ppt

第2章 文法和语言 本章目的:为语言的语法描述寻求工具, 工 具要对程序设计语言给出精确无二义的语法描述。（严谨、简洁、易读） 形式工具:形式语言抽象地定义为一个数学 系统。 “形式” ：语言的所有规则只以什麽符号串能出现的方式来陈述 2.1 语言概述和文法的直观概念 2.2 符号和符号串 2.3 文法和语言的形式定义 2.4 文法的类型 2.5 上下文无关文法及语法树 2.6 句型的分析 2.7 文法实用性的一些说明 2.1 语言概述和文法的直观概念 一、基本概念 语言：是由句子组成的集合，是由一组符号 所构成的集合。 汉语：所有符合汉语语法的句子的全体。 英语：所有符合英语语法的句子的全体。 程序设计语言：所有该语言的程序的全体。 二、语言研究的内容 语法:每个句子构成的规律/每个程序构成的规 律。表示构成语言句子的各个记号之间的组合规律。 在形式语言理论中，阐明语法的工具是文法。 语义：每个句子的含义/每个程序的含义。表示各个记号的特定含义。（各个记号和记号所表示的对象之间的关系）。 语用：每个句子和使用者的关系/每个程序和使用者的关系。表示在各个记号所出现的行为中，它们的来源、使用和影响。  三、文法的直观描述 采用EBNF来表示句子的构成规则。先给定如下一组规则： 〈句子〉∷=〈主语〉｜〈谓语〉 〈主语〉∷=〈代