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

第2章 高级语言 第2章 高级语言 及其文法 及其文法 本章主要内容  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 文法的构造 2.1 语言概述 2.1 语言概述  什么是语言  什么是语言  自然语言(Natural Language)  自然语言(Natural Language) 是人与人的通讯工具 是人与人的通讯工具 语义(Semantics):环境、背景知识、语气、二 语义(Semantics):环境、背景知识、语气、二 义性——难以形式化 义性——难以形式化  计算机语言(Computer Language)  计算机语言(Computer Language) 计算机系统间、人机间通讯工具 计算机系统间、人机间通讯工具 严格的语法(Grammar)、语义(Semantics) — 严格的语法(Grammar)、语义(Semantics) — — 易于形式化：严格 — 易于形式化：严格  语言是用来交换信息的工具——功能性描述  语言是用来交换信息的工具——功能性描述 2.1语言概述 2.1语言概述  语言的描述方法——现状  语言的描述方法——现状  自然语言：自然、方便-非形式化  自然语言：自然、方便-非形式化 数学语言（符号）：严格、准确-形式化 数学语言（符号）：严格、准确-形式化 形式化描述 形式化描述 高度的抽象，严格的理论基础和方便的计 高度的抽象，严格的理论基础和方便的计 算机表示。 算机表示。 2.1 语言概述 2.1 语言概述  语言——形式化的内容提取  语言——形式化的内容提取  (Character) 单词(Token)：满足一定规则字符(Character) 串 单词(Token)：满足一定规则字符 串 句子(Sentence)：满足一定规则单词序列 句子(Sentence)：满足一定规则单词序列 语言(Language)：满足一定条件的句子集合 语言(Language)：满足一定条件的句子集合  语言是字和组合字的规则——结构性描述  语言是字和组合字的规则——结构性描述  例：一译开天第课今始编节上  例：一译开天第课今始编节上  今天开始上第一节编译课  今天开始上第一节编译课 2.1 语言概述 2.1 语言概述  程序设计语言——形式化的内容提取  程序设计语言——形式化的内容提取  程序设计语言(Programming Language)：组成程序的  程序设计语言(Programming Language)：组成程序的 所有语句的集合 所有语句的集合  程序(Program)：满足语法规则的语句序列  程序(Program)：满足语法规则的语句序列  语句(Sentence) ：满足语法规则的单词