形式语言第四章参考答案(蒋宗礼)

合集下载

蒋宗礼送形式语言与自动机理论共858页文档

蒋宗礼送形式语言与自动机理论共858页文档
3. 蒋宗礼,姜守旭. 形式语言与自动机理论. 北京:清华大 学出版社,2019年
4. John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation (2nd Edition), Addison-Wesley Publishing Company, 2019
–⑴ S= S1∪S2∪S3∪……∪Sn∪……; –⑵ 如果i≠j,则Si∩Sj=Φ; –⑶ 对任意的i,Si中的任意两个元素a、b,
aRb恒成立;
–⑷ 对任意的i,j,i≠j,Si中的任意元素a和 Sj中的任意元素b,aRb恒不成立
22.09.2019
25
1.2.1 二元关系(Binary Relation)
5. John E. Hopcroft, Jeffrey D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley Publishing Company, 1979
22.09.2019
形式语言与自动机理论
Formal Languages and Automata Theory
蒋宗礼
22.09.2019
1
课程目的和基本要求
• 课程性质
–技术基础
• 基础知识要求
–数学分析(或者高等数学),离散数学
• 主要特点
–抽象和形式化 –理论证明和构造性 –基本模型的建立与性质
22.09.2019
–又称为归纳定义(Inductive Definition),它 来定义一个集合

蒋宗礼送形式语言与自动机理论-资料

蒋宗礼送形式语言与自动机理论-资料

2020/2/27
12
交(Intersection)
• ⑷ A∩B=A iff A B • ⑸ Φ∩A=Φ • ⑹ |A∩B|≤min{|A|,|B|} • ⑺ A∩(B∪C)=(A∩B)∪(A∩C) • ⑻ A∪(B∩C)=(A∪B)∩(A∪C) • ⑼ A∩(A∪B)=A • ⑽ A∪(A∩B)=A
2020/2/27
16
笛卡尔积(Cartesian Product)
⑸ A×(B∪C)=(A×B)∪(A×C) ⑹ (B∪C)×A=(B×A)∪(A×C) ⑺ A×(B∩C)=(A×B)∩(A×C) ⑻ (B∩C)×A=(B×A)∩(C×A) ⑼ A×(B-C)=(A×B)-(A×C) ⑽ (B-C)×A=(B×A)-(C×A) ⑾ 当A、B为有穷集时,|A×B|=|A|*|B|
• 等价关系(Equivalence Relation)
– 具有三歧性的二元关系称为等价关系
2020/2/27
24
1.2.1 二元关系(Binary Relation)
• 等价类 (Equivalence Class)
– S的满足如下要求的划分:S1、S2、S3、…、 Sn…称为S关于R的等价划分,Si称为等价类
2020/2/27
10
1.1.3 集合的运算
• 并(Union)
• A与B的并(Union)是一个集合,该集合中 的元素要么是A的元素,要么是B的元素
– A∪B={a|a∈A或者a∈B}
– Aa∈1∪AAi}2∪…∪An={a|i , 1≤i≤n , 使 得
– Aa∈1∪AAii}12∪A i …∪An ∪…={a|i , i∈N, 使 得
A BAB
ABA B

形式语言与自动机理论蒋宗礼

形式语言与自动机理论蒋宗礼
? TM
– 基本 TM 、构造技术、TM的修改。
? CSL
– CSG 、LBA 。
第四页,编辑于星期一:十四点 二十分。
教材及主要参考书目
1. 蒋宗礼,姜守旭 . 形式语言与自动机理论 . 北京: 清华大学出版社, 2003 年
2. John E Hopcroft, Rajeev Motwani, Jeffrey D
下一个字符。
第十三页,编辑于星期一:十四点 二十分。
7.1 基本定义
δ(q ,ε, Z)={(p1, γ1), (p2 , γ2) , …, (pm, γ m )} ? 表示M进行一次 ε-移动 (空移动 ),即 M在状 态q,栈顶符号为 Z时,无论输入符号是什 么,对于i=1,2,…,m,可以选择地将状 态变成 pi,并将栈顶符号 Z弹出,将 γi中的 符号从右到左依次压入栈,读头不移动。
7.1 基本定义
? M接受的语言 – M用终态接受的语言 ? L(M)={w | (q 0,w,Z0)├*(p,ε,β)且 p∈F} – M用空栈接受的语言 ? N(M) ={w | (q 0,w,Z0)├*(p,ε,ε)}
第十九页,编辑于星期一:十四点 二十分。
7.1 基本定义
? 例 7-1 考虑接受语言 L={w2wT | w∈{0,1} *} 的PDA的设计。
第十五页,编辑于星期一:十四点 二十分。
7.1 基本定义
? 即时描述(instantaneous description ,ID) (q,w,γ)∈(Q,∑*,Γ*)称为M的一个
即时描述 。它表示 M处于状态 q,w是当前 还未处理的输入字符串,而且 M正注视着 w 的首字符,栈中的符号串为 γ,γ的最左符 号为栈顶符号,最右符号为栈底的符号, 较左的符号在栈的较上面,较右的符号在 栈的较下面。

语言学第四章试题及答案

语言学第四章试题及答案

语言学第四章试题及答案一、选择题(每题2分,共20分)1. 下列哪个选项不是语言的社会功能?A. 信息传递B. 表达情感C. 娱乐消遣D. 思维工具答案:C2. 语言的任意性是指:A. 语言符号与其所指对象之间没有必然联系B. 语言符号与其所指对象之间有必然联系C. 语言符号的形式与其意义之间没有必然联系D. 语言符号的形式与其意义之间有必然联系答案:A3. 下列哪个选项是语言的组合规则?A. 语音规则B. 语义规则C. 语法规则D. 语用规则答案:C4. 语言的层级性是指:A. 语言的语音、词汇、语法等不同层次B. 语言的语音、词汇、语义等不同层次C. 语言的词汇、语法、语用等不同层次D. 语言的语音、语义、语用等不同层次答案:A5. 下列哪个选项是语言的变异性?A. 语言的稳定性B. 语言的保守性C. 语言的创新性D. 语言的一致性答案:C6. 语言的交际功能主要体现在:A. 个人表达B. 社会互动C. 个人思考D. 社会规范答案:B7. 语言的规范化是指:A. 语言的标准化B. 语言的多样化C. 语言的统一化D. 语言的个性化答案:A8. 语言的符号性是指:A. 语言符号与其所指对象之间有必然联系B. 语言符号与其所指对象之间没有必然联系C. 语言符号的形式与其意义之间有必然联系D. 语言符号的形式与其意义之间没有必然联系答案:B9. 语言的动态性主要体现在:A. 语言的稳定性B. 语言的保守性C. 语言的创新性D. 语言的一致性答案:C10. 下列哪个选项不是语言的语用规则?A. 语境规则B. 语义规则C. 交际规则D. 语用规则答案:B二、填空题(每题2分,共20分)1. 语言的______性是指语言符号与其所指对象之间没有必然联系。

答案:任意2. 语言的______性是指语言符号的形式与其意义之间没有必然联系。

答案:组合3. 语言的______性是指语言的语音、词汇、语法等不同层次。

蒋宗礼送形式语言与自动机理论-资料

蒋宗礼送形式语言与自动机理论-资料

2019/10/15
19
补集(Complementary Set)
A是论域U上的一个集合,A补集是由U中的、 不在A中的所有元素组成的集合
AUA
U
U
9/10/15
20
补集(Complementary Set)
如果AB,则 B A
AAU
AA
B A A B U & A B
2019/10/15
8
1.1.2 集合之间的关系
•集合相等
– 如果集合A,B含有的元素完全相同,则称集 合A与集合B相等(Equivalence),记作A=B。
•对任意集合A、B、C: ⑴ A=B iff AB且BA。 ⑵ 如果AB,则|A|≤|B| ⑶ 如果AB,则|A|≤|B|。 ⑷ 如果A是有穷集,且AB,则|B|>|A|。
2019/10/15
12
交(Intersection)
• ⑷ A∩B=A iff A B • ⑸ Φ∩A=Φ • ⑹ |A∩B|≤min{|A|,|B|} • ⑺ A∩(B∪C)=(A∩B)∪(A∩C) • ⑻ A∪(B∩C)=(A∪B)∩(A∪C) • ⑼ A∩(A∪B)=A • ⑽ A∪(A∩B)=A
2019/10/15
30
1.2.3递归定义与归纳证明
• 归纳证明
– 与递归定义相对应
– 归纳证明方法包括三大步
• 基础(Basis):证明最基本元素具有相应性质
• 归纳(Induction):证明如果某些元素具有相 应性质,则根据这些元素用所规定的方法得 到的新元素也具有相应的性质。
• 根据归纳法原理,所有的元素具有相应的性 质
形式语言与自动机理论

形式语言与自动机答案蒋宗礼

形式语言与自动机答案蒋宗礼

形式语言与自动机答案蒋宗礼【篇一:形式语言第四章参考答案(蒋宗礼)】p> 解:所求正则表达式为:(0+1)*。

+⑵ {0, 1}。

解:所求正则表达式为:(0+1)+。

⑶ { x│x∈{0,1}且x中不含形如00的子串 }。

解:根据第三章构造的fa,可得所求正则表达式为:1*(01+)*(01+0+1)。

⑷ { x│x∈{0,1}*且x中不含形如00的子串 }。

++ +q1为终态时的正则表达式:0*1(1*(0(10)*111*1)*(0(10)*00*1)*)* q2为终态时的正则表达式:0*11*0((10)*(111*11*0)*(00*11*0)*)*q3为终态时的正则表达式:0*11*0(10)*1(11*11*0((10)*(00*11*0)*)*1)* q4为终态时的正则表达式:0*11*0(10)*11(1*(11*0((00*11*0)*(10)*)*11)*)*将以上5个正则表达式用“+”号相连,就得到所要求的正则表达式。

⑺ { x│x∈{0,1}且当把x看成二进制数时,x模5与3同余和x为0时,│x│=1且x≠0时,x的首字符为1}。

解:先画出状态转移图,设置5个状态q0、q1、q2、q3、q4,分别表示除5的余数是0、1、2、3、4的情形。

另外,设置一个开始状态q.由于要求x模5和3同余,而3模5余3,故只有q3可以作为终态。

由题设,x=0时,│x│=1,模5是1,不符合条件,所以不必增加关于它的状态。

下面对每一个状态考虑输入0和1时的状态转移。

q: 输入1,模5是1,进入q1。

+q0: 设x=5n。

输入0,x=5n*2=10n,模5是0,故进入q0输入1,x=5n*2+1=10n+1,模5是1,故进入q1q1:设x=5n+1。

输入0,x=(5n+1)*2=10n+2,模5是2,故进入q2输入1,x=(5n+1)*2+1=10n+3,模5是3,故进入q3 q2:设x=5n+2。

形式语言与自动机 形式语言与自动机理论-蒋宗礼-第三章参考答案

形式语言与自动机 形式语言与自动机理论-蒋宗礼-第三章参考答案

形式语言与自动机形式语言与自动机理论-蒋宗礼-第三章参考答案导读:就爱阅读网友为您分享以下“形式语言与自动机理论-蒋宗礼-第三章参考答案”的资讯,希望对您有所帮助,感谢您对的支持!因此我们只需要证明对任何的2NFA M1?(Q1,?,?1,F1,q0),都存在FAM2?(Q2,?,?2,F2,q0)与之等价。

对于任何的2NFA M1?(Q1,?,?1,F1,q0),构造FA M2?(Q2,?,?2,F2,q0),按三个方式构造?2:1.如果q?Q1,a??,?1(q,a)?{p,R},则?2(q,a)?p;2.如果q?Q1,a??,?1(q,a)?{p,S},则如果??1(p,a)?{o,R},则?2(q,a)?o;如果??1(p,a)?{o,S},则重复第二步;如果??1(p,a)?{o,L},则对于集合A = {r|b?Q1,?1(r,b)?(o,R)},?2(q,a)?r,r?A。

3.如果q?Q1,a??,?1(q,a)?{p,L},则设集合 A = {r|b?Q1,?1(r,b)?(p,R)},?2(q,a)?r,r?A*************************************************** ****************************28.证明定理3-8:Moore机与Mealy机等价(郭会02282015)证明:不妨设Moore机M1=(Q1,?,?,?1,?1,q01),Mealy机M2=(Q2,?,?,?2,?2,q02),则根据Moore机和Mealy机等价的定义知,必须证明:T1(x)??1(q0)T2(x),其中T1(x)和T2(x)分别表示M1和M2关于x的输出。

??Moore机M1,?Mealy机M2,使M2与M1等价(1)构造M2,?2??1,q02?q01,Q2?Q1?q?Q1?{q01},?1(q)?a,?q'?Q1且?b??,?1(q',b)=q,就构造?2(q',b)=a(2)证明?x??*,?1(q0)T2(x)?T1(x)不妨设x?x1x2……xn,则?i?N,(i?1,2……n)则M1的输出为:T1(x)??1(q0)?1(?1(q0,x1))……?1(?1((…?1(q0,x1),x2)…),xn)由题意可知?1(q0,x1),?1(?1(q0,x1),x2),…,?1(……?1 (?1(q0,x1),x2) xn) 均为Moore机中的状态,由(1)中的构造假设知,M2的输出为:T2(x)??2(q0,x1)?2(?2(q0,x1),x2)…?2(……?2(?2(q0,x1),x2) ? ?1(q0,x1)?1(?1(q0,x1),x2)…?1(……?1(?1(q0,x1),x2) xn) xn) ?T1(x)??1(q0)T2(x)??Mealy机M2,?Moore机M1,使M1与M2等价(1)构造M1,q01?q02Q1?Q2?{qij|??2(qi,a)?qj,其中qi,qj?Q2,a??}?1?{?|?(qi,a)?qij,?(qij,?)?qj其中?2(qi,a)?qj}?1?{?|?1(qi,a)?qij,?1(qij,?)?qj,?(qij)??2(qi,a) }(2)证明?x??*,T1(x)=?1(q0)T2(x)不妨设x?x1x2……xn,则?i?N,(i?1,2……n)则M1的输出为:T2(x)??2(?2(q0,x1))……?2(?2((…?2(q0,x1),x2)…),xn) 由题意可知?2(q0,x1),?2(?2(q0,x1),x2),…,?2(……?2 (?2(q0,x1),x2) xn) 均为Mealy机中的状态,由(1)中的构造假设知,M1的输出为:T1(x)??1(q0)?1(?2(q0,x1))?1(?1(q0,x1),x2)…?1(……?1(?1(q 0,x1),x2) xn)??1(q0)?2(?2(q0,x1))……?2(?2((…?2(q0,x1),x2)…),xn) ?T1(x)??1(q0)T2(x)综上所述,Moore机与Mealy机等价第三章作业答案1.已知DFA M1与M2如图3-18所示。

形式语言与自动机理论蒋宗礼

形式语言与自动机理论蒋宗礼
那契数; ⑵ 归纳:如果n是第i个斐波那契数,m是第i+1
个斐波那契数,则n+m是第i+2个斐波那契数, 这里i为大于等于1的正整数。 ⑶ 只有满足(1)和(2)的数才是斐波那契数 0,1,1,2,3,5,8,13,21,34, 55,…
1.2.4 递归定义与归纳证明
例1-18 算术表达式 ⑴ 基础:常数是算术表达式,变量是算术表
差(difference)
• 属于A,但不属于B的所有元素组成的集合叫做A 与B的差,记作A-B。
A-B={a|a∈A且aB}
• “-”为减(差)运算符,A-B读作A减B。
• ⑴ A-A=Φ。
⑵ A-Φ=A。 ⑶ A-B ≠ B-A。 ⑷ A-B=A iff A∩B=Φ。 ⑸ A∩(B-C)=(A∩B)-(A∩C)。 ⑹ |A-B|≤|A|。
1.2 关系
• 二元关系 • 递归定义与归纳证明 • 关系的闭包
1.2.1 二元关系(binary relation)
• 二元关系
– 任意的RA× B,R是A到B的二元关系。 – (a,b) ∈R,也可表示为:aRb。 – A称为定义域(domain),B称为值域(range)。 – 当A=B时,则称R是A上的二元关系。
幂集(power set)
• A幂集(power set)是一个集合,该集合是 由A的所有子集组成的,记作2A。
• 2A={B|BA}。 • 2A读作A的幂集。
幂集(power set)
⑴ Φ∈2A。 ⑵ Φ2A。 ⑶ Φ2A。 ⑷ 2Φ={Φ}。 ⑸ A∈2A。 ⑹ 如果A是有穷集,则|2A|=2|A|。 ⑺ 2A∩B=2A∩2B。 ⑻ 如果AB,则2A2B。
– 具有三歧性的二元关系称为等价关系。

最新形式语言与自动机理论-蒋宗礼-第二章参考答案

最新形式语言与自动机理论-蒋宗礼-第二章参考答案

2.1回答下面的问题: (周期律 02282067) (1)在文法中,终极符号和非终极符号各起什么作用?✓ 终结符号是一个文法所产生的语言中句子的中出现的字符,他决定了一个文法的产生语言中字符的范围。

✓ 非终结符号又叫做一个语法变量,它表示一个语法范畴,文法中每一个产生式的左部至少要还有一个非终结符号,(二,三型文法要求更严,只允许左部为一个非终结符号)他是推导或归约的核心。

(2)文法的语法范畴有什么意义?开始符号所对应的语法范畴有什么特殊意义? ✓ 文法的非终结符号A 所对应的语法范畴代表着一个集合L (A ),此集合由文法产生式中关于A 的产生式推导实现的✓ 开始符号所对应的语法范畴则为文法G = {V ,T ,P ,S}所产生的语言L (G )={w S T w w **|⇒∈且}(3)在文法中,除了的变量可以对应一个终极符号行的集合外,按照类似的对应方法,一个字符串也可以对应一个终极符号行集合,这个集合表达什么意义?✓ 字符串对应的终极符号行集合表示这个字符串所能推导到的终极字符串集合,为某个句型的语言。

(4)文法中的归约和推导有什么不同?✓ 推导:文法G = {V ,T ,P ,S},如果,)(,,* T VP ∈∈→δγβα则称γαδ在G 中推导出了γβδ。

✓ 归约:文法G = {V ,T ,P ,S},如果,)(,,*T VP ∈∈→δγβα则称γβδ在G 中归约到γαδ。

✓ 这他们的定义,我个人理解两个概念从不同角度看待文法中的产生式,推导是自上而下(从产生式的左边到右边),而归约是自下而上(从产生式的右边到左边),体现到具体实际中,如编译中语法分析时语法树的建立,递归下降,LL (1)等分析法采用自开始符号向下推导识别输入代码生成语法树,对应的LR (1),LALR 等分析法则是采用自输入代码(相当于文法中语言的句子)自底向上归约到开始符号建立语法树,各有优劣。

(5)为什么要求定义语言的字母表上的语言为一个非空有穷集合? ✓ 非空:根据字母表幂的定义:εε,}{0∑=为字母表中0个字符组成的。

形式语言与自动机理论-蒋宗礼-第四章参考答案

形式语言与自动机理论-蒋宗礼-第四章参考答案

1.写出表示下列语言的正则表达式。

(吴贤珺02282047)⑴{0, 1}*。

解:所求正则表达式为:(0+1)*。

⑵{0, 1}+。

解:所求正则表达式为:(0+1)+。

⑶{ x│x∈{0,1}+ 且x中不含形如00的子串 }。

解:根据第三章构造的FA,可得所求正则表达式为:1*(01+)*(01+0+1)。

⑷{ x│x∈{0,1}*且x中不含形如00的子串 }。

解:根据上题的结果,可得所求正则表达式为:ε+1*(01+)*(01+0+1)。

⑸{ x│x∈{0,1}+ 且x中含形如10110的子串 }。

解:所求正则表达式为:(0+1)*10110(0+1)*。

⑹ { x│x∈{0,1}+ 且x中不含形如10110的子串 }。

解:根据第三章的习题,接受x的FA为:要求该FA对应的正则表达式,分别以q0、q1、q2、q3、q4为终结状态考虑:q为终态时的正则表达式:(0*(11*0(10)*(ε+111*11*0(10)*)0)*)*q为终态时的正则表达式:0*1(1*(0(10)*111*1)*(0(10)*00*1)*)*1q为终态时的正则表达式:0*11*0((10)*(111*11*0)*(00*11*0)*)*2q为终态时的正则表达式:0*11*0(10)*1(11*11*0((10)*(00*11*0)*)*1)*3q为终态时的正则表达式:0*11*0(10)*11(1*(11*0((00*11*0)*(10)*)*11)*)*4将以上5个正则表达式用“+”号相连,就得到所要求的正则表达式。

⑺ { x│x∈{0,1}+ 且当把x看成二进制数时,x模5与3同余和x为0时,│x│=1且x≠0时,x的首字符为1}。

解:先画出状态转移图,设置5个状态q0、q1、q2、q3、q4,分别表示除5的余数是0、1、2、3、4的情形。

另外,设置一个开始状态q.由于要求x模5和3同余,而3模5余3,故只有q3可以作为终态。

形式语言与自动机理论--第三章(蒋宗礼)

形式语言与自动机理论--第三章(蒋宗礼)

3.1 语言的识别
• 相应的物理模型
一个右端无穷的输入带。 一个有穷状态控制器(finite state control,FSC) 。 一个读头。
• 系统的每一个动作由三个节拍构成:读入 读头正注视的字符;根据当前状态和读入 的字符改变有穷控制器的状态;将读头向 右移动一格。
3.1 语言的识别
• 有穷状态自动机的物理模型
3.2有穷状态自动机
• M接受(识别)的语言
对于x∈∑*如果δ(q,w)∈F,则称x被M接受, 如果δ(q,w)F,则称M不接受x。 L(M)={x| x∈∑*且δ(q,w)∈F}
称为由M接受(识别)的语言 L(M1)= L(M2)={02n|n≥1}
• 如果L(M1)=L(M2),则称M1与M2等价。
• 状态转移图又可以叫做状态转换图。
3.2有穷状态自动机
• 例 3-3构造一个DFA,它接受的语言为 {x000|x∈{0,1}*}。
–状态q0读到的0可能是输入字符串的最后三个0 的第1个0;
–在状态q1紧接着读到的0可能是输入字符串的 最后三个0的第2个0;
–在状态q2紧接着读到的0可能是输入字符串的 最后三个0的第3个0;
3. John E Hopcroft, Jeffrey D Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley Publishing Company, 1979
第3章 有穷状态自动机
3.2有穷状态自动机
• 例 3-1 下面是一个有穷状态自动机
M1=({q0,q1,q2},{0},δ1,q0,{q2}) 其中,δ1(q0,0)= q1,δ1(q1,0)= q2,δ1(q2,0)= q1 用表3-1表示δ1。

形式语言与自动机理论-蒋宗礼-参考答案

形式语言与自动机理论-蒋宗礼-参考答案

ij求索-百度文库2.1回答下面的问题:(周期律02282067)(1)在文法中,终极符号和非终极符号各起什么作用?/终结符号是一个文法所产生的语言中句子的中出现的字符,他决上了一个文法的产生语言中字符的范围。

/ 非终结符号又叫做一个语法变量,它表示一个语法范畴,文法中每一个产生式的左部至少要还有一个非终结符号,(二,三型文法要求更严,只允许左部为一个非终结符号)他是推导或归约的核心。

(2)文法的语法范畴有什么意义?开始符号所对应的语法范畴有什么特殊意义?/ 文法的非终结符号A所对应的语法范畴代表着一个集合L (A),此集合由文法产生式中关于A的产生式推导实现的/ 开始符号所对应的语法范畴则为文法G = (V, T, P, S}所产生的语言L (G)*={ vvl w e 厂且S =► w }(3)在文法中,除了的变量可以对应一个终极符号行的集合外,按照类似的对应方法,一个字符串也可以对应一个终极符号行集合,这个集合表达什么意义?/字符串对应的终极符号行集合表示这个字符串所能推导到的终极字符串集合,为某个句型的语言。

(4)文法中的归约和推导有什么不同?/ 推导:文法G = {V, T, P, S},如果则称gd在G中推导岀了汐5。

/ 归约:文法G={V, T, P, S},如果则称汐5在G中归约到*7》。

/ 这他们的左义,我个人理解两个槪念从不同角度看待文法中的产生式,推导是自上而下(从产生式的左边到右边),而归约是自下而上(从产生式的右边到左边),体现到具体实际中,如编译中语法分析时语法树的建立,递归下降,LL (1)等分析法采用自开始符号向下推导识別输入代码生成语法树,对应的LR (1), LALR等分析法则是采用自输入代码(相当于文法中语言的句子)自底向上归约到开始符号建立语法树,各有优劣。

(5)为什么要求左义语言的字母表上的语言为一个非空有穷集合?/ 菲空:根据字母表幕的立义:工°={£},£为字母表中0个字符组成的。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

1.写出表示下列语言的正则表达式。

⑴ {0, 1}*。

解:所求正则表达式为:(0+1)*。

⑵ {0, 1}+。

解:所求正则表达式为:(0+1)+。

⑶ { x│x∈{0,1}+ 且x中不含形如00的子串 }。

解:根据第三章构造的FA,可得所求正则表达式为:1*(01+)*(01+0+1)。

⑷ { x│x∈{0,1}*且x中不含形如00的子串 }。

解:根据上题的结果,可得所求正则表达式为:ε+1*(01+)*(01+0+1)。

⑸ { x│x∈{0,1}+ 且x中含形如10110的子串 }。

解:所求正则表达式为:(0+1)*10110(0+1)*。

⑹ { x│x∈{0,1}+ 且x中不含形如10110的子串 }。

解:根据第三章的习题,接受x的FA为:要求该FA对应的正则表达式,分别以q0、q1、q2、q3、q4为终结状态考虑:q为终态时的正则表达式:(0*(11*0(10)*(ε+111*11*0(10)*)0)*)*q1为终态时的正则表达式:0*1(1*(0(10)*111*1)*(0(10)*00*1)*)*q2为终态时的正则表达式:0*11*0((10)*(111*11*0)*(00*11*0)*)*q3为终态时的正则表达式:0*11*0(10)*1(11*11*0((10)*(00*11*0)*)*1)*q4为终态时的正则表达式:0*11*0(10)*11(1*(11*0((00*11*0)*(10)*)*11)*)*将以上5个正则表达式用“+”号相连,就得到所要求的正则表达式。

⑺ { x│x∈{0,1}+ 且当把x看成二进制数时,x模5与3同余和x为0时,│x│=1且x≠0时,x的首字符为1}。

解:先画出状态转移图,设置5个状态q0、q1、q2、q3、q4,分别表示除5的余数是0、1、2、3、4的情形。

另外,设置一个开始状态q.由于要求x模5和3同余,而3模5余3,故只有q3可以作为终态。

由题设,x=0时,│x│=1,模5是1,不符合条件,所以不必增加关于它的状态。

下面对每一个状态考虑输入0和1时的状态转移。

q: 输入1,模5是1,进入q1。

q: 设x=5n。

输入0,x=5n*2=10n,模5是0,故进入q0输入1,x=5n*2+1=10n+1,模5是1,故进入q1q1:设x=5n+1。

输入0,x=(5n+1)*2=10n+2,模5是2,故进入q2输入1,x=(5n+1)*2+1=10n+3,模5是3,故进入q3q2:设x=5n+2。

输入0,x=(5n+2)*2=10n+4,模5是4,故进入q4输入1,x=(5n+2)*2+1=10n+5,模5是0,故进入q0q 3:设x=5n+3。

输入0,x=(5n+3)*2=10n+6,模5是1,故进入q1输入1,x=(5n+3)*2+1=10n+7,模5是2,故进入q2q:设x=5n+4。

输入0,x=(5n+4)*2=10n+8,模5是3,故进入q34输入1,x=(5n+4)*2+1=10n+9,模5是4,故进入q4则状态转移图如下:则所求的正则表达式为:1(010*1+(1+001*0)(101*0)*(0+110*1))*(1+001*0)(101*0)*⑻ { x│x∈{0,1}+ 且x的第10个字符是1 }。

解:所求正则表达式为:(0+1)91(0+1)*。

⑼ { x│x∈{0,1}+ 且x以0开头以1结尾 }。

解:所求正则表达式为:0(0+1)*1。

⑽ { x│x∈{0,1}+ 且x中至少含两个1 }。

解:所求正则表达式为:(0+1)*1(0+1)*1(0+1)*。

⑾ { x│x∈{0,1}*和如果x以1结尾,则它的长度为偶数;如果x以0结尾,则它的长度为奇数}。

解:所求正则表达式为:(0+1)2n+11+(0+1)2n0 (n∈N)或0+(0+1)((0+1)(0+1))*1+(0+1)(0+1)((0+1)(0+1))*0。

⑿ { x│x是十进制非负实数 }。

解:首先定义∑={ .,0,1,2,3,4,5,6,7,8,9}则所求正则表达式为:(0+1+…+9)*. (0+1+…+9)*。

⒀Φ。

解:所求正则表达式为:Φ。

⒁ {ε}。

解:所求正则表达式为:ε。

*********************************************************************************2.理解如下正则表达式,说明它们表示的语言(1)(00+11)+表示的语言特征是0和1都各自成对出现(2)(1+0)*0100+表示的语言特征是以010后接连续的0结尾(3)(1+01+001)*(ε+0+00) 表示的语言特征是不含连续的3个0(4)((0+1)(0+1))*+ ((0+1)(0+1)(0+1))*表示所有长度为3n或2m的0,1串(n≥0,m≥0)(5)((0+1)(0+1))* ((0+1)(0+1)(0+1))*表示所有长度为3n+2m的0,1串(n≥0,m≥0)(6)00+11+(01+10)(00+11)*(10+01)表示的语言特征为长度为偶数n的串.当n=2时,是00或11的串。

n≥4时,是以01或10开头,中间的子串00或11成对出现,最后以10或01结尾的串********************************************************************************************* 4.3.证明下列各式褚颖娜 02282072(1)结合律 (rs)t=r(st) (r+s)+t= r+(s+t)1)证明对∀x∈(rs)t 总可以找到一组x1 x2 x3 使得x=x1x2x3其中x3∈t x1x2∈rs 且 x1∈r, x2∈s, 则 x2x3∈st 因此x1(x2x3)∈r(st) 即 x1x2x3∈r(st) x∈r(st)得证因此 (rs)t⊆r(st)同理可证r(st)⊆ (rs)t则 (rs)t=r(st) 成立2) 证明对∀x∈(r+s)+t x∈(r+s)或x∈t 对于x∈r+s⇒x∈r或r∈s ,因此x∈r或x∈s或x∈t⇒x∈r或x∈(s+t) ⇒ x∈r+(s+t)所以(r+s)+t⊆ r+(s+t)同理可证r+(s+t)⊆ (r+s)+t则(r+s)+t= r+(s+t) 成立(2)分配律 r(s+t)=rs+rt (s+t)r=sr+tr1)证明对于∀x∈r(s+t) 总可以找到x1 x2 使得x=x1x2其中x1∈r, x2∈(s+t)由x2∈(s+t)⇒ x2∈s或x2∈t则x1x2∈rs或x1x2∈rt所以r(s+t)⊆rs+rt对于∀x∈rs+rt ⇒x∈rs或x∈rt 且总可以找到一组x1 x2 使得x=x1x2 其中x1∈r, x2∈s或x1∈r, x2∈t⇒x1∈r,x2∈s或x2∈t⇒ x1∈r,x2∈(s+t)⇒ x1x2∈r(s+t)所以rs+rt⊆r(s+t)则r(s+t)=rs+rt2)证明对于∀x∈(s+t)r 总可以找到x1 x2 使得x=x1x2其中 x1∈(s+t),x2∈r由x1∈(s+t)⇒ x1∈s或x1∈t则x1x2∈sr或x1x2∈tr所以(s+t)r⊆sr+tr对于∀x∈sr+tr ⇒x∈sr或x∈tr 且总可以找到一组x1 x2 使得x=x1x2 其中x1∈s, x2∈r或x1∈t, x2∈r⇒ x1∈s或x1∈t, x2∈r⇒ x1∈(s+t) ,x2∈r⇒ x1x2∈(s+t)r所以sr+tr ⊆(s+t)r则(s+t)r=sr+tr(3)交换律 r+s=s+r证明对于∀x∈r+s⇒x∈r或x∈s⇒x∈s或x∈r⇒x∈s+r 所以r+s⊆s+r 同理可证s+r∈r+s 则r+s=s+r(4)幂等律 r+r=r证明对于∀ x∈r+r⇒ x∈r或x∈r⇒ x∈r 所以r+r⊆r对于∀x∈r⇒x∈r或x∈r⇒x∈r+r 所以r⊆r+r因此 r+r=r(5)加法运算零元素:r+Φ=r证明对于∀ x∈r+Φ⇒ x∈r或x∈Φ⇒ x∈r 所以r+Φ⊆r对于∀x∈r⇒x∈r或x∈Φ⇒x∈r+Φ所以r⊆r+Φ因此 r+Φ=r(6) 乘法运算单位元:rε=εr=r证明:∵对∀x∈R xε=εx=x∴R{ε}={ε}R=R∴rε=εr=r(7)乘法运算零元素:r∅=∅r=∅证明:∵对∀x∈R x∅=∅x=∅∴R{∅}={∅}R=R∴r∅=∅r=∅(8)Φ*=ε证明Φ*=Φ0∪Φ1∪Φ2∪Φ3…...=ε∪Φ1∪Φ2∪Φ3…...=ε(9)(r+ε)*=r*由第一章的作业1.30中的第九题 (L1∪{ε})*=L1*其中L1为正则语言又r为正则表达式正则语言可以用正则表达式表示,因此显然有(r+ε)*=r*成立(10)(r*s*)*=(r+s)*由第一章的作业1.30中的第八题 (L2∪L1)*=( L2* L1*)*其中L1、L2为正则语言又r、s为正则表达式正则语言可以用正则表达式表示,因此显然有(r+s)*= (r*s*)*成立即(r*s*)*=(r+s)*成立(11)(r*)*=r*由第一章的作业1.30中的第三题 (L1*)*= L1*其中L1为正则语言又r为正则表达式正则语言可以用正则表∀达式表示,因此显然有(r*)*= r*成立********************************************************************************* 4下面各式成立吗?请证明你的结论(1)(r+rs)*r=r(sr+r)*证明:成立。

如果对所有的k>=0, (r+rs)k r=r(sr+r)k成立,则(r+rs)*r=r(sr+r)*肯定成立可以用归纳法证明(r+rs)k r=r(sr+r)k对所有的k>=0成立I. k=0时候,(r+rs)0 r=r= r(sr+r)0II.假设k=n时候(r+rs)n r=r(sr+r)n成立,往证k=n+1时候结论成立(r+rs)n+1r=(r+rs)n (r+rs)r=(r+rs)n (rr+rsr)= (r+rs)n r(r+sr)= r(sr+r)n (r+sr)= r(sr+r)n (sr+r)= r(sr+r)n+1这就是说,结论对k=n+1成立,即证明了(r+rs)k r=r(sr+r)k对所有的k>=0成立,所以(r+rs)*r=r(sr+r)* (2)t(s+t)r=tr+tsr证明:不成立。

不妨取r=0,s=1,t=2,则t(s+t)r=2(1+2)0=210+230,但tr+tsr=20+210.(3)rs=sr证明:不成立。

相关文档
最新文档