第二章语言概述.pdfVIP

本章主要内容 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 什么是语言？ 是人与人的通讯工具 语义 semantics :环境、背景知识、语气、 二义性——难以形式化 计算机语言 Computer Language 计算机系统间、人机间通讯工具 严格的语法 Grammar 、语义 semantics —— 易于形式化：严格 2.1语言概述 2.1 语言概述 语言的描述方法——现状 语言——形式化的内容提取 自然语言：自然、方便-非形式化 语言 Language ：满足一定条件的句子集合 数学语言（符号）：严格、准确-形式化 句子 Sentence ：满足一定规则的单词序列 形式化描述 单词 Token ：满足一定规则的字符 Character 串 高度的抽象，严格的理论基础和方便的计 算机表示。 语言是字和组合字的规则 例（自然语言：第译始一天课今开编上节） 今天开始上第一节编译课 1 2.1 语言概述 2.1 语言概述 程序设计语言——形式化的内容提取 程序设计语言 Programming Language ：组成程序 的所有语句的集合。 程序 Program ：满足语法规则的语句序列。 语句 Sentence ：满足语法规则的单词序列。 单词 Token ：满足词法规则的字符串。 例：变量: 表达式 if 条件 then 语句 while条件 do 语句 call 过程名 参数表 语言是字及其组合规则的统一体 2.1 语言概述 形式语言于自动机理论的产生与作用 描述形式——文法 语言学家Chomsky最初从产生语言的角度研究语言。 语法——语句 1956年，通过抽象，他将语言形式地定义为是由一个字母表 中的字母组成的一些串的集合。可以在字母表上按照一定的 语句的组成规则 规则定义一个文法（Grammar），该文法所能产生的所有句 子组成的集合就是该文法产生的语言。 描述方法：BNF范式、语法 描述 图 克林（Kleene）在1951年到1956年间，从识别语言的 词法——单词 角度研究语言，给出了语言的另一种描述。 单词的组成规则 克林是在研究神经细胞中，建立了自动机，他用这种自动机 来识别语言：对于按照一定的规则构造的任一个自动机，该 描述方法：BNF范式、正规式 自动机就定义了一个语言，这个语言由该自动机所能识别的 所有句子组成。 形式语言于自动机理论的产生与作用 形式语言于自动机理论的产生与作用 1959年，Chomsky通过深入研究，将他本人的研究成果 形式语言与自动机理论除了在计算机科学领域中的直 与克林的研究成果结合了起来，不仅确定了文法和自 接应用外，更在计算学科人才的计算思维的培养中占 动机分别从生成和识别的角度去表达语言，而且证明 有极其重要的地位 了文法与自动机的等价性。 计算思维能力的培养，主要是由基础理论系列课程实 20世纪50年代，人们用巴科斯范式（Backus Nour 现的，该系列主要由从数学分析开始到形式语言结束 Form 或 Backus Normal Form，简记为BNF）成功地对 的一些数学和抽象程度比较高的内容的课程组成。 高级语言ALGOL-60进行了描述。实际上，巴科斯范式 它们构成的是一个梯级训练系统。在此系统中，连续数学、 就是上下文无关文法（Context Free Grammar）的一 离散数学、计算模型等三部分内容要按阶段分开，三个阶段 种表示形式。这一成功，使得形式语言在20世纪60年 对应与本学科的学生在大学学习期间的思维方式和能力的变 代得到了大力的发展。 化与提高过程的三个步骤。 2 计算思维能力的培养过程 2.2 基本定义 形式语言与 中学数学 数学分析 离散数学 自动机理论 字母表 （Alphabet）∑是一个非空有穷集 具体.静止 变量.运动 离散.抽象 形式.模型 合，字母表中的元素称为该字母表的一个字 基本运算系统 计算系统 母（Letter），也叫字符（Character）。 例 以下是不同的字母表： 运算 ⑴ a，b，c，d 实数 抽象集合 范围 ⑵ a，b，c，……，z 单一、具体的计算 一般、形式化的计算 ⑶ 0，1 特征 （实例计算） （模型化计算） 4 ASCII字母表 高水平计算专业人才的计算思维能力的渐进培养