第2章 高级语言及其语法描述.pptVIP

中南大学软件学院 陈志刚 第二章 高级语言及其语法描述 2.1 程序语言的定义 一个程序设计语言是一个记号系统，其完整的定义应包括语法和语义两个方面 语言的语法是指一组规则，用它可以形成和产生一个合适的程序 上下文无关文法 语法只定义什么样的符号序列是合法的，与这些符号的含义毫无关系 PASCAL语言中：A:=B+C合乎语法规则，A:=B+不合乎语法规则 阐明语法的一个工具是文法，这是形式语言理论的基本概念之一 2.2 程序语言的语法描述 基本概念 字母表、符号、符号串、闭包等 文法的定义 文法的分类 Chromsky对文法的分类 文法和语言 推导、归约、句型、句子、语言 语法分析树和二义性 基本概念 字母表 元素的非空有限集，记为?。例：?={a，b，c} 字母表中的元素称为符号。例： a，b，c，字母表包含了语言中所允许出现的所有符号 符号串 符号的有穷序列。例：a, aa, ac, abc，..，无任何符号的符号串称为空符号串，记为ε 基本概念 符号串运算 符号串长度 x为符号串, 其长度|x|等于组成该符号串的符号个数。例： x=string，则|x|=6, |ε|=0 符号串连接 若x、y是定义在Σ上的符号串，则xy称为x和y的连接，xy也是Σ上的符号串 εx＝xε=x 基本概念 符号串集合的乘积 令A、B为符号串集合，定义符号串集合乘积 AB＝{ xy |x