- 1、本文档共65页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第3章
文法和语言;主要内容;课题: 符号与符号串、文法的形式定义
目的要求:
1. 理解并掌握符号和符号串的概念及运算;
2.理解并掌握文法的形式定义。?
教学重点:
符号和符号串的概念及运算、文法的形式定义
教学难点 :
符号和符号串的运算
教学课时:2
教学方法:多媒体教学
教学内容和步骤 :(如下);语言是一个记号系统,包括语法和语义两个方面。;“我是大学生”是否是该语言的句子?;〈句子〉 ? 〈主语〉〈谓语〉 ? 〈代词〉〈谓语〉 ? 我〈谓语〉 ? 我〈动词〉〈直接宾语〉 ? 我是〈直接宾语〉 ? 我是〈名词〉 ? 我是大学生;〈句子〉::= 〈主语〉〈谓语〉
〈主语〉::= 〈代词〉|〈名词〉
〈代词〉::= 你 | 我 | 他
〈名词〉::= 王明 | 大学生 | 工人 | 英语
〈谓语〉::= 〈动词〉〈直接宾语〉
〈动词〉::= 是 | 学习
〈直接宾语〉::= 〈代词〉|〈名词〉;3.2 符号和符号串;3. 符号串的顺序: 如abc与cab是不同的符号串。
4. 符号串的长度:符号串x有m个符号,则长度就为m,表示为:|x|=m
如: ababa 则长度是5
5. 空符号串ε : ε的长度为0(不含任何符号)
若符号串x ,则有εx = xε= x
6. 符号串的运算:
(1) 符号串的头和尾
若串z=xy,则x是z的头,y是z的尾。;例3:设符号串z=abc ,那么
z的头是ε,a,ab,abc
z的z的尾是ε,c,bc,abc
(2)符号串的固有头和固有尾
若符号串z=xy中,若x非空,则y是固有尾;
若y非空,则x是固有头。
例4:设符号串z=abc,那么
z的固有头是ε, a, ab
z的固有尾是 ε,c ,bc;(3)符号串的连接:
设x,y是符号串,连接xy是y符号写在x符号之后。
例5:x=ab, y=MN 则xy=abMN
显然:εx=xε=x
(4)符号串的方幂:
设x是符号串,则z=xx……xx,称z为x的方幂, 记作z=xn。
因此 x0=ε, x1=x, x2=xx, x3=xxx
显然当n0时, 有xn =x·x n-1= x n-1·x;(5)符号串的集合:
若集合A中的一切元素都是某字母表上的符号串,则称A为该字母表上的符号串集合。
两个符号串集合A、B之间的乘积定义为:
AB={xy| x∈A且y∈B}
例:A={a,b},B={c,d}
则AB={ac,ad,bc,bd} 并且{ε}A=A{ε}=A
(6)闭包(∑*)
字母表∑,用∑* 表示∑上所有有穷长的串集合,∑*称为∑的闭包。;例:字母表∑={0,1} ,则
∑*={ε,0,1,00,01,10,11,000,001,010……}
=∑0∪∑1 ∪ ∑2∪. …∪∑n
(7)正闭包(∑+)
∑+ =∑1 ∪ ∑2∪. …∪∑n
∑+称∑的正闭包。
显然:∑*= ∑0∪∑+
∑+ = ∑∑*=∑*∑;Σ* = Σ0 ∪ Σ1 ∪ Σ2 … ∪ Σn …
Σ+ = Σ1 ∪ Σ2 … ∪ Σn …
Σ* = Σ0 ∪ Σ+
Σ+ = ΣΣ* = Σ* Σ
Σ+ = Σ* -{ε};3.3 文法和语言的形式定义;其中: VN —— 非终结符号集
VT —— 终结符号集
P —— 产生式(规则)
S —— 开始符号或称作识别符号,它是一个非终结符,至少要在一条规则中作为左部出现。
且:(1)VN ,VT,P是非空有穷集合;
(2)VN∩VT=? (不含公共元素);例1: 文法G =(VN ,VT ,P,S),
其中 VN={S},VT ={0,1},
P={S → 0S1,S → 01}。
非终结符集中只含一个元素S;
终结符集由两个元素0和1组成;
有两条产生式;
开始符号是S。;例2:文法G =(VN ,VT,P,S)
其中 VN ={标识符,字母,数字}
VT={a,b,c,…,x,y,z,0,1,…,9}
?P = { 标识符 →字母
文档评论(0)