第2章文法和语言的基本知识20090309.pptVIP

前述内容回顾 第二章 文法和语言的基本知识 本章主要介绍形式语言理论中的一些最基本的概念和基础知识，它是学习以后各章节的基础。 本章内容简介 形式语言理论 2.1 概述 赋值语句 s=2*3.1416*r*(h+r)非形式化的描述: 语法:赋值语句由一个变量、一个赋值号以及一个表达式构成 语义:首先计算右部表达式的值，计算结果送到左部变量所在的存储单元 语用:赋值语句可以用来计算和保存表达式的值 2.3文法和语言的形式定义 2.3.1形式语言的概念 字母表上的符号按照某种规则构成的所有符号串的集合可定义为一个形式语言 对每一个具体语言，都有语法和语义两个方面，形式语言是指不考虑语言的具体意义。例如：C语言是其基本符号字母表上的符号串的集合，而每个C语言程序是基本符号的符号串集合的子集。 如果一个语言中含有无穷个句子，则称该语言是无穷的，否则就是有穷的。 形式语言的表示方法 有穷语言可以用穷举法枚举全部句子。例如设有字母表：A={a,b,c}，则 L1={a，b，c} L2={a，aa，ab，ac} L3={c，cc} 均表示字母表上一个形式语言。由于这三个语言均是有限符号串的集合，因此可用枚举法来表示。 形式语言的表示方法 对无穷语言来说，需要解决该语言的有穷表示问题。并不是所有语言都是有穷集，例如：设字母表∑={0，1}，则Σ+=Σ1∪Σ2∪Σ3∪…={0，1，00，01，10，11，000，001，…} 它是0和1构成的所有可能的符号串的集合，无法用枚举法来描述。我们需要设计规则来描述无穷集合的语言。 A →0 A →1 A →A0 A →A1 这就是用文法来描述语言，它描述了无穷集合的语言。 【例2.3】设字母表Σ={a，b}，试设计一个文法，使其描述的语言为 L={a2n，b2n|n≥1} G=（VN，VT ，P，S） 其中VN ={A，B，D}, VT ={a，b} P={ A→aa|aaB|bb|bbD B→aa|aaB D→bb|bbD} S=A G′=（{A，B，D}，{a，b}，P，A） 其中P为： A→B|D B→aa|aBa D→bb|bDb S=A G″=（{A}，{a，b}，P，A） 其中P为： A→aa|bb|Aaa|Abb 最左最右推导举例 【例】设有文法G[S]： S→AB A→A0∣1B B→0∣S1 请给出句子101001的最左、最右推导过程。 结论 在文法中，由于我们使用了递归规则，可以用有限的规则去刻画无穷语言的集合。若不用递归规则来定义文法，要表示无穷集合的语言，需要无数条规则。 当一个语言是无穷集合时，则定义该语言的文法一定是递归的 程序设计语言都是无穷集合，因此描述它们的文法必定是递归的。 G[E]′： E→E+T∣E-T∣T T→T*F∣T/F∣F F→（E）∣i 【例】 定义某种程序设计语言语句的文法，证明是否有二义性并消除之。 S→if b S∣if b S else S∣A( 其他语句) 分析 该文法的句子 if b if b A else A 对应两棵不同的语法树。 改写文法： （1）不改变现有的规则，加进一项语法规定。 else与前面最近的不带 else的 if相对应。 （2）改写文法G 为G′： S→S1∣S2 S1→if b S1 else S1∣A S2→if b S∣if b S1 else S2 规定if 和else之间只能是if-else语句或其他语句。 S→aSBE S→aBE BE→bE aB→ab bB→bb bE→be eE→ee 例：2型（上下文无关）文法 文法G[S]： S→AB A→BS|0 B→SA|1 　　　　　　 S→ε G[S]： S→0A|1B|0 A→0A|1B|0S B→1B|1|0 作业（第3次） 1、、试写出某种语言的实常数的正规文法（10进制数）。实常数可以是如下的数： (1)整数，如36 (2)实数，如36.125 (3)科学记数法表示的数，如：10e5,1.2e+5,1.2e-5等 2、对于文法G[S]:S→(L)|aS|a L→L,S|S (1)画出句型(S,(a))的语