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

第一章参考答案

1.1请用列举法给出下列集合。(吴贤

⑴你知道的各种颜色。

解：{红，橙，黄，绿，青，蓝，紫}⑵大学教师中的各种职称。

解：{助教，讲师，副教授，教授}⑶你所学过的课程。

解：{语文，数学，英语，物理，化学，生物，历史，地理，政治}⑷你的家庭成员。

解：{父亲，母亲，妹妹，我}

⑸你知道的所有交通工具。

解：{汽车，火车，飞机，轮船，马车}

⑹字母表{a,b}上长度小于4的串的集合。

解：{a,b,aa,bb,ab,ba,aaa,aab,aba,abb,baa,bab,bba,bbb}

⑺集合{1,2,3,4}的哥集。

解：{①,{1},{2},{3},{4},{1,2},{1,3},{1,4},{2,3},{2,4},{3,4},{1,2,3},{1,2,4},{1,3,4},{2,3,4},{1,2,3,4}}

⑻所有的非负奇数。

解：{1,3,5,7,…}

⑼0〜100的所有正整数。

解：{1,2,3,…,100}

(10)1〜10之间的和为10的整数集合的集合。

解：设所求的集合为A,集合A中的元素为A(i=1,2,3,…)，A也是集合，A中的元素在1〜10之间，并且和为10。根据集合元素的彼此可区分性，可以计算出A中元素的最多个数，方法是：把1开始的正整数逐个相加，直到等于10(即10=1+2+3+4),这样,A中最多有4个元素。原因是：从最小的1开始，每次加入新的元素都只依次增加1,

这样相加的和最小，要加到10,元素个数就最多。

求出最大的IAI=4后，再求出元素个数为3,2,1的集合就可以了。

故

A={{10},{1,9},{2,8},{3,7},{4,6},{1,2,7},{1,3,6},{1,4,5},{2,3,5},{1,2,3,4}}

1.2请用命题法给出下列集合

2.(1){x|0x100且xz}

(2){x|x{a,b}*且|x|4)

(3){B|B{1,2,3.4))

(4){L|L{a,b}*}

(5){x|x2n1,nN)

(6){(a,b)|ab10且a,b[4,9])

(7){x|x{0,1),且x中0的个数是1的个数的两仔)

(8){x|x{0,1)*,且叶1的个数是10)

(9){x|x{0,1)*,且x中倒数第十个字符为1)

|A||

(10){A|为A,x[1,10],i[1,|A|],为=10)

i1

1.3给出下列集合的募集.蕊)

(1)①

(2){①}

(3){①，{①))

(4){£,0,00)

(5){0,1)

解答：

(1){)

(2){,{))

(3){,{),{{)),{,{)))

(4){①,{6},{0},{00),{e,0),{e,00),{0,00),{e,0,00))

(5){①,{0},{1},{0,1}}

1.4.列出集合{0,1,2,3,4)中(褚颖

(1) 所有基数为3的子集

{0,1,2},{0,1,3},{0,1,4},{0,2,3,},{0,2,4},.{1,2,3},{1,

2,4},{1,3,4},{0,3,4},{2,3,4)

(2) 所有基数不大于3的子集

①，{0},{1},{2},{3},{4},{3,4},{2,4},{2,3},{1,4},{1,3},{0,

4},{0,3},{0,2},{1,2},{0,1},{0,1,2},{0,1,3)

{014}{023}{024}.{123}{124}{134}{0

34}{234}

1.5解答：

1、3、8、10、11、12、16正确

1.6证明下列各题目秋雯）

1）A=BiffA是B的子集且B是A的子集

证明：

充分条件：

• ••A=B

则由集合相等的定义知

对于任何xCA,有xCB

• •.A为B的子集

同理，B为A的子集

必要条件：

• ••A为B的子集

对于任何xCA,都有xCB

又B为A的子集，

，对于任何xCB有，xCA

由集合相等的定义知，A=B

2）如果A为B的子集，则|A|=|B|

证明：

A为B的子集，则对于任何xCA

有xCB,

，存在一个集合C使B=AUC且AAC为空集

则|B|=|A|+|C|

|C|=0

|A|〈=|B|

3）如果A为B的真子集，则|A|=|B|

证明：

（1）当A为有穷集合时，因为A为B的真子集，且则对于任何xCA

有xCB,

且存在CB的x,此x不€A

，存在一个非空集合C,使B=AUC且AAC为空集

则|B|=|A|+|C|且|C|〉=1

|A|〈|B|

（2）当A为无穷集合，因为A为B的真子集，则B一定也为无穷集合，|A|=8,|B|=oo

• ••|A|=|B|

综合（1）,（2）所述，|A|=|B|

4）如果A是有穷集且A为B的