- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第2章 文法和语言基本知识
第2章 文法和语言的基本知识;学习本章目的;;重点与难点;对程序设计语言的描述是从语法、语义和语用三个因素来考虑的。所谓语法是对语言结构的定义;语义是描述了语言的含义;语用则是从使用的角度去描述语言。为了精确定义和描述程序设计语言,需采用形式化的方法。所谓形式化的方法,是用一整套带有严格符号规定的符号体系来描述问题的方法。 ;§2.1 字母表和符号串的基本概念 ;例如, ∑′={0,1}是一个字母表,由0和1两个元素组成。
不同的语言有不同的字母表,如英文的字母表是26个字母、数字和标点符号的集合,C语言的字母表是由字母、数字和若干专用符号组成。
2. 符号(字符)
字母表中的元素称为符号,或称为字符。
例如,前述例子中,a,b,c是字母中∑中的符号;0和1是字母表∑′中的符号。 ;3. 符号串(字)
符号的有穷序列称为符号串。
例如,设有字母表∑={a,b,c},则有符号串a,b,ab,ba,cba,abc…。
符号串总是建立在某个特定字母表上的且只能由字母表上的有穷多个符号组成。符号串中符号的顺序很重要,如ab和ba是字母表∑上的两个不同的符号串。不包含任何符号的符号串,称为空符号串,用ε表示,即空符号串由0个符号组成,其长度{ε}=0。 ;1. 符号串的连结
设x和y是符号串,则串xy称为它们的连结。即xy是将y符号串写在x符号串之后得到的符号串。
例如,设x=abc,y = 10a,则xy = abc10a,yx = 10aabc。
注意:对任意一个符号串x,我们有εx=xε=x。
;2.集合的乘积
设A和B是符号的集合,则A和B的乘积定义为: AB={xy|X∈A,y∈B}
例如,设A={a,b}B={c,d},则AB = { ac ,ad,bc,bd}。
集合的乘积是满足于x∈A,y∈B的所有符号串xy所构成的集合。
由于对任意的符号串x,总有εx =xε = x,所以,对任意集合A,有:
{ε}A = A {ε}=A;特别指出的是,ε是符号串,不是集合,而{ε}表示由空符号串ε所组成的集合,但这样的集合不是集合φ={}。
3. 符号串的幂运算
设x是符号串,则x的幂运算定义为
x0=ε
X1= x
x2 = xx
…………
xn = xxxx……xx=xxn-1 ( n 0) ;例如,设x = abc,则
x0=ε
x1= abc
x2 = xx =abcabc
………
4. 集合的幂运算
设A是符号串的集合,则集合A的幂运算定义为:
A0 = {ε}
A1 = A ; A2 = AA
………
An = AAAAA……A = AAn-1 ( n 0 )
例如,设A= { a , b}
A0 = {ε}
A1 = { a ,b }
A2 = AA = { aa ,ab ,ba ,bb }
A3 = AAA = A2A = { aaa,aab,aba,abb,baa,bab,bba,bbb}
………… ;5. 集合A的正闭包A+与A的闭包A*定义为
A+=A1∪A2∪…An…
A*=A0∪A1∪A2∪…∪An…={ε}∪A+
例如,设A={a,b},则
A+={a,b,aa,ab,ba,bb,aaa,aab,…}
A*={ε,a,b,aa,ab,ba,bb,aaa,aab,…}
可见,集合A的正闭包表示A上元素a,b构成的所有符号串的集合,集合A的闭包比集合A的正闭包多含一个空符号串ε。 ;§2.2 文法和语言的形式定义 ;对形式语言的描述有两种方法 :
⑴ 当语言为有穷集合时,用枚举方法来表示语言:
例如:设有字母表A={a,b,c},则
L1={a,b,c}
L2={a,aa,ab,ac}
L3={c,cc}
均表示字母表A上的一个形式语言。
⑵ 对无穷集合的语言,需要设计文法来描述: ;例如:用A表示∑+,用式子A→0表示符号串0∈A或A生成符号串0,符号“→”读做“生成”或“由……组成”。则集合A可表示成
A→0
A→1
A→A0
A→A1
显然,由A生成的符号串属于∑+,这就是用文法描述语言。 ;1. 规则
规则也称产生式,它是一个符号与一个符号串的有序对(A,β),通常写做
A→β(或A::=β)
其中,A是规则左部,它是一个符号;β是规则右部,它是一个符号串;“→”和“::=”表示“定义为”或”生成”,意思是左部符号用右部的符号串定义或左部符号生成右部符号串。 ;例如,前述例中一组规则
文档评论(0)