第二节 高级程序设计语言.pptVIP

第二章 高级语言及其语法描述 符号串集合V自身的n次（连接）积记为： Vn = V V…V =Vn-1V =VVn-1 (n个V) 规定 V0 = {?}. V的闭包：令： V* = V0 ∪ V1 ∪ V2 ∪ … 称 V*是V的闭包。 V的正则包（正闭包，正则闭包）：记V+ = VV*, 称 V+是V的正则包，即V+ =V1 ∪ V2 ∪ V3 ∪ …。 一个例子 有一个字母表：A={a,b,c} A0={ε} A1=？ A2=？ A3=？ A*=？ A+=? 第二章 高级语言及其语法描述 文法是描述语言的语法结构的形式规则（即语法规则）。 所谓上下文无关文法是这样一种文法，它所定义的语法范畴（或语法单位)是完全独立于这种范畴可能出现的环境的。 特点：独立性 缺点：不能用来描述自然语言，但对于程序语言基本上够用，所以以后凡“文法”一词，若无特殊说明，均指上下文无关文法 引例 例子：对于英文句子：He gave me a book. 是由如下语法规则产生的： 2.3.1 上下文无关文法 第二章 高级语言及其语法描述 由语法规则“推导”出句子的过程 “推导” 过程对应的语法分析树 第二章 高级语言及其语法描述 上下文无关文法的定义 一个上下文无关文法G包括四个组成部分：一组终结符号，一组非终结符，一个开始符号，以及一组产生式。 形式上定义一个上下