形式语言与自动机理论--第三章参考答案.pdfVIP

第三章作业答案

1.已知DFAMl与M2如图3—18所示。(xxxx

(1)分别给出它们在处理字符串1011001的过程中经过的状

态序列。

(2)给出它们的形式描述。

图3—18两个不同的DFA

解答：(1)M1在处理1011001的过程中经过的状态序列为

q0q3qlq3q2q3qlq3;

M2在处理1011001的过程中经过的状态序列为

q0q2q3qlq3q2q3ql;

(2)考虑到用形式语言表示，用自然语言似乎不是那么容易，所以

用图上作业法把它们用正则表达式来描述:

Ml:[01+(00+1)(11+0)][11+(10+0)(11+0)]*

M2:(01+1+000){(01)*+[(001+11)(01+1+000)]*}

*1**A**T*

*T**T**T»*T**7**T**T**Tw*T**T**T*

*1**1**1**1**1**4*^^*1**1**A**X*

*T**T^*TSZ7^T*yT*

2.构造下列语言的DFA(x)

(1){0,1}*

(2){0,1}+

S——KOA-(^^C1

(3){x|x{0,1}+且x中不含00的串}

(设置一个陷阱状态，一旦发现有00的子串，就进入陷阱状态)

(4){x|x{0,1}*且x中不含00的串}

(可接受空字符串，所以初始状态也是接受状态)

(5){x|x{0,1}+且x中含形如10110的子串}

(6){x|x{0,1}+且x中不含形如形110的子串}

(设置一个陷阱状态，一旦发现有00的子串，就进入陷阱状态)

(7){x|x{0,1}+且当把x看成二进制时，x模5和3同余，要求当

x为0时,|x|=1,且x0时，x的首字符为1}

1.以0开头的串不被接受，故设置陷阱状态，当DFA在启动状态读

入的符号为0,则进入陷阱状态

(10){x|x{0,1}+且XXX至少含有两个1}

(11){x|x{0,1}+且如果x以1结尾，则它的XX为偶数；如果x以

0结尾，则它的xx为奇数}

可将{0,1}+的字符串分为4个等价类。

q0：］［的等价类，对应的状态为终止状态

ql:x的xx为奇且以0结尾的等价类

q2：x的xx为奇且以1结尾的等价类

q3：x的xx为偶且以0结尾的等价类

q4:x的xx为偶且以1结尾的等价类

（12）{x|x是十进制非负数}

0,1.2,3,4,