高级语言及其文法编译原理一.pdf

第2章 高级语言 及其文法 关键：让系统知道“组成规则” 并按照规则分析！ 2013/8/22 Thursday 1 本章主要内容 语言的形式化描述——文法 语言的形式化描述——文法 2.1 语言概述 2.1 语言概述 2.2 基本定义 2.2 基本定义 2.3 文法 (Grammar)的定义 2.3 文法 (Grammar)的定义 2.4 CFG的语法(分析)树 (Parse Tree) 2.4 CFG的语法(分析)树 (Parse Tree) 2.5 文法的分类 2.5 文法的分类 2.6 文法的构造 2.6 文法的构造 2013/8/22 Thursday 2 2.1 语言概述  什么是语言 自然语言(Natural Language) 是人与人之间的通讯工具 语义(Semantics):环境、背景知识、语气、二 义性——难以形式化 计算机语言(Computer Language) 计算机系统间、人机间通讯工具 严格的语法(Grammar)、语义(Semantics) — — 易于形式化：严格 语言是用来交换信息的工具——功能性描述 2013/8/22 Thursday 3 2.1语言概述 语言的描述方法——现状 自然语言：自然、方便-非形式化 数学语言(符号) ：严格、准确-形式化 机器要掌握规则：形式化描述 高度的抽象 严格的理论基础 方便的计算机表示 2013/8/22 Thursday 4 2.1 语言概述 语言——形式化的内容提取 字符(Character) ：语言的基本字符 单词(Token)：满足一定规则字符串 句子(Sentence)：满足一定规则单词序列 语言(Language)：满足一定规则的句子集合 语言是字和组合字的规则——结构性描述 例：今次课是二日上编译第 今日是上第二次编译课 2013/8/22 Thursday 5 2.1 语言概述  程序设计语言(Programming Language)——形式化 的内容提取 程序设计语言为组成程序的所有语句的集合 程序(Program)：满足语法规则的语句序列 语句(Sentence) ：满足语法规则的单词序列 单词(Token) ：满足词法规则的字符串  例 变量=表达式 if 条件 then 语句 while条件 do 语句 call 过程名(参数表) 2013/8/22 Thursday 6 2.1 语言概述 描述形式——文法 语法——语句