形式语言与自动机理论试题

合集下载
相关主题
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
(2){x|x?{0,1}+且x的第十个字符为1}
(设置一个陷阱状态,一旦发现x的第十个字符为0,进入陷阱状态)
0,1
二、判断(正确的写T,错误的写F)5x2
1•设R和R2是集合{a,b,c,d,e}上的二元关系,则(R只2)民RR只只
(T)
任取(x.,y),其中x,y{a,b,c,d,e},使得(x,y)
(1)所有包含子串01011的串
StX01011Y
Xr |0X|1X
Yf |0Y|1Y
(2)所有既没有一对连续的0,也没有一对连续的1的串
At£|A'”
At0|01|01A'
At1|10|10a”
3.构造识别下列语言的DFA 2x6'
(1){x|x?{0,1}+且x以0开头以1结尾}
(设置陷阱状态,当第一个字符为1时,进入陷阱状态)
如果不是,请证明你的结论(12分)
解:设L={On1nOn|n>=1}。假设
L是RL,
则它满足泵引理。不妨设N是泵引理所指的仅依赖
于L的正整数,取Z=ON1NON
显然,
Z€L。
v,w。由于|uv|<=N,并且|v|>=1,所以v只可能是由O组成
iN k j k\i j N N2N k’N N
uv w=Oj(O ) Oj1 0当i=2时,有uv w=O 1 0
(R1R2) R3。
z((x, z)
R1
R2
(z, y)
R3)
z {a,b,c,d,e}
z((x, z)
R1
(x, z)
R2
(乙y)
R3)
z((x,z)
R1
(z, y)
R3)
z((x,z)R2(z, y)R3)
(x, y)
(x,y)R1R3R2R3
2.对于任一非空集合a,①2A( T )
3.文法G:S f A|ASA-> a|b|c|d|e|f|g是RG ( F )
所以N+k>N这就是说ON k1NON不属于L,
这与泵引理矛盾。所以,L不是RL。
五、构造等价于下图所示
DFA的正则表达式。(12分)
q
O
O
+OO)((1+OO*1)O)*OO*)
答案(之一):如1+(1+OO)((1+OO*1)O)q2O
q
4.3型语言2型语言1型语言0型语言(T)
* * * *
5.s(rs+s)r=rr s(rr s)(f)
不成立,假设r,s分别是表示语言R, S的正则表达式,例如当R={0}, S={1}, L(s(rs+s)*r)
是以1开头的字符串,而L(rr*s(rr*s)*)是以0开头的字符串.L(s(rs+s)*r) L(rr*s(rr*s)*)
=>aaabBCCBC
=>aaabbCCBC
=>aaabbCBCC
=>aaabbBCCC =>aaabbbCCC =>aaabbbcCC =>aaabbbccC =>aaabbbccc
推导二:
S=>aSBC =>aaSBCBC =>aaaBCBCBC =>aaaBBCCBC =>aaaBBCBCC =>aaabBCBCC =>aaabbCBCC =>aaabbBCCC =>aaabbbCCC =>aaabbbcCC =>aaabbbccC =>aaabbbccc
所以s(rs+s)*r rr*s(rr*s)*,结论不成立
三、设文法G的产生式集如下,试给出句子aaabbbccc的至少两个不同的推导(12分)。
S aBC|aSBC
aB ab
bBtbb
CBtBC
bCTbc
cCtcc
推导一:
S=>aSBC
=>aaSBCBC
=>aaaBCBCBC
=>aaabCBCBC
形式语言与自动机理论试题
、按要求完成下列填空
1.给出集合{①,{①}}和集合{£,0,00}的幕集 (2x4')
⑴{①,{①},{{①}},{①,{①}}}
(2Hale Waihona Puke Baidu {①,{£},{0},{00},{£,0},{£,00},{0,00},{£,0,00}}
2.设刀={0,1},请给出刀上的下列语言的文法(2x5')
相关文档
最新文档