《编译原理》课程简介 (4).pdf

编 译 原 理 COMPILATION PRINCIPLE第二章 高级语言及其语法描述2.1 程序语言的定义n 一个程序设计语言是一个记号系统，其完整的定义应包括语法和语义两个方面1. 语言的语法是指一组规则，用它可以形成和产生一个合适的程序上下文无关文法2. 语法只定义什么样的符号序列是合法的，与这些符号的含义毫无关系PASCAL语言中：A:=B+C合乎语法规则，A:=B+不合乎语法规则n 阐明语法的一个工具是文法，这是形式语言理论的基本概念之一第二章 高级语言及其语法描述2.2 程序语言的语法描述字母表、符号、符号串、闭包等Chromsky对文法的分类推导、归约、句型、句子、语言n 字母表 元素的非空有限集，记为。例：=a，b，c 字母表中的元素称为符号。例： a，b，c，字母表包含了语言中所允许出现的所有符号n 符号串 符号的有穷序列。例：a, aa, ac, abc，.，无任何符号的符号串称为空符号串，记为v 基本概念n 符号串运算u 符号串长度x为符号串, 其长度|x|等于组成该符号串的符号个数。 v 基本概念 x=string， 则 |x|=6, |=0n 符号串集合的乘积 令A、B为符号串集合，定义符号串集合乘积 AB xy |x A, y Bn 符号串集合的方幂 符号串集合A，定义A0 =, A1=A, A2=AA, A3=A2A, , AnAn-1A=AAn-1，n0n 符号串集合的正闭包 A+=A1 A2 An n 符号串集合的自反闭包 A* = A+v 基本概念n 什么是文法 文法是定义或描述语法结构一组形式规则 例句：H e gave me a book.v 文法的直观描述 英语中的基本语法规则： | He|me book gave a|an|the例句：H e gave me a book.根据上述语法规则对例句进行分析，可推出该例句。 = = = He = He = He gave = He gave = He gave me = He gave me = He gave me a = He gave me a book He a gave book 用图形化方式表示这种推导，形成一颗语法分析树。 me语法成分（在形式语言中又称“非终结符”） 单词符号（在形式语言中又称“终结符号”)n 上述定义英文句子的规则可以说就是一个上下文无关文法n 归纳起来，一个上下文无关文法G包括四个组成部分：一组终结符号 一组非终结符号一个开始符号 一组产生式|编 译 原 理