语言结构与文法-编译原理-02-(二).pdf

第二章 语言结构与文法  目的：  目的： 为复杂的语言结构的分析 为复杂的语言结构的分析 提供精确、严格的描述方法 提供精确、严格的描述方法  用途：  用途： 支持语言结构（语法、词法）的抽象分析 支持语言结构（语法、词法）的抽象分析 指导分析程序的实现 指导分析程序的实现  约束假设：  约束假设： 不考虑语义信息及其用途 不考虑语义信息及其用途 仅考虑语言的组成结构 仅考虑语言的组成结构 计算机语言与自然语言的比较  自然语言  自然语言 是人与人的通讯工具 是人与人的通讯工具 环境、背景知识、语气、二义性 环境、背景知识、语气、二义性 计算机语言 计算机语言 计算机软件使用的通讯工具 计算机软件使用的通讯工具 严格的语法、语义 严格的语法、语义 2.1 计算机语言的组成 成 成 组 组 的 的 言 言 语 语 语言： 句子的集合 语言： 句子的集合 句子： 多个单词按一定规则组成 句子： 多个单词按一定规则组成 单词： 多个字符按一定规则组成 单词： 多个字符按一定规则组成 言 言 语 语 计 计 设 设 序 序 程 程 编程语言 程序的集合 编程语言 程序的集合 程序： 多个单词按语法规则组成 程序： 多个单词按语法规则组成 单词： 多个字符按词法规则组成 单词： 多个字符按词法规则组成 计算机语言的共同点 语法： 语法： 语句的组成规则 语句的组成规则 描述方法：BNF范式、语法描述图 描述方法：BNF范式、语法描述图 词法： 词法： 单词的组成规则 单词的组成规则 描述方法：BNF范式、正规式 描述方法：BNF范式、正规式 单词： 单词： 具有语义的最小字符串（可区分的） 具有语义的最小字符串（可区分的） 语言的描述方法 叙述性方法 自然语言（非形式化描述） 记号方法 数学方法（形式化描述） 保证描述清晰准确 形式化描述的作用 理论基础和抽象分析方法 2.2 文法：  提供语言结构的形式化描述  提供语言结构的形式化描述 分析语言组成结构的规律 语言是句子的集合  句子是按一定规则构成的符号串 语言有一组基本符号 例2-1 语言结构 句子 组成 规则 基本 符号 英语 语句 语法 单词 、标 点 高级 语言 程序 语法 标识 符 、运 的语 法 算符 … 高级 语言 语法 的基 词法 字符 的词 法 本符 号 ＢＮＦ范式 描述句子的组成规则 描述句