设S是0,1位串的集合,它归纳地定义成:λ∈S,以及若x∈S,则0x∈S,x1∈S,其中λ是空位串.(1)求出S中所有长度不超过5的位串.(2)用描述法表示集合S.
设A={a}n={an|n≥0},B是单元素集合B=(z),这里z是a的无限串即B={aaa···},设R是AUB上的关系,定义如下:
证明或否定< A,z>∈R+。
设R是集合S上的关系,S'是S的子集,定义S'.上的关系R'如下:R'=R∩(S'
×S'),确定下述每一断言是真还是假。
a)如果R在S上是传递的,那么R'在S'上是传递的。
b)如果R是S上的偏序关系,那么R'是S'上的偏序关系。
c)如果R是S上的拟序关系,那么R'是S'上的拟序关系。
d)如果R是S上的线序关系,那么R'是S'.上的线序关系。
e)如果R是S上的良序关系,那么R'是S'上的良序关系。
设A、B是两个集合,若存在一个从A到B上的一一映射f,则称A与B等势(或有相同的基数),记作AB.证明:区间[0,1]与区间[a,b]等势,其中a、b∈R.
设1={1,2,...,n}是1的一个子集.mc(x)是一个偏假p正确蒙特卡罗算法.该算法用于判定所给的整数1≤x≤n是否为集合S中的整数,即x∈S.设q=1-p.由偏假算法的定义可知,对任意x∈S有Prob{mc(x)=true}=1.当x∈S时,Prob{mc(x)=truc}≤q.考虑下面的产生S中随机元素的算法GenRand如下:
假设由语句“x=rnd.Random(n)+1;"产生的整数x∈S的概率为r,证明算法GenRand返回的整数不在S中的概率最多为
(1)试给出常数c,使得服从分布,并指出它的自由度;
(2)试给出常数d,使得服从t分布,并指出它的自由度。
用有限集合和集合运算描述上的下述语言(例如偶数长度的串的集合是{aa,ab,ba,bb}):
(a)奇数长度的串的集合。
(b)恰好包含一个a的串的集合.
(c)或者以一个a开始,或者以两个b结束,或者两者都具备的串的集合。
(d)至少含有3个连接s的串的集合。
(e)包含子串“bbab”的串的集合,