首页 诗词 字典 板报 句子 名言 友答 励志 学校 网站地图
当前位置: 首页 > 计算机考试 > 软件考试 > 考试试题 >

2008年下半年计算机软件设计师考试考前指点(4)

2008-12-19 
软件设计师考试考前指点

    供选择的答案:

  (28)A.以1开头的二进制代码串组成的集合

  B.以1结尾的二进制代码串组成的集合

  C.包含偶数个0的二进制代码串组成的集合

  D.包含奇数个0的二进制代码串组成的集合

  (29)A.1*0(0|1)* B.((0|1*0)*1*)*

  C.1*((0|1)0)* D.(1*(01*0)*)*

  首先,我对状态图做一些说明。在状态转换图中,末端没有状态连接的“→”所指向的结点为初态结点,而终态用双环圈表示,显然,该题中q0既是初态又是终态,那么该DFA显然能识别空串,当处于q0时输入0便转换到q1,而当处于q1时输入0又回到q0,并且在q0或q1状态连续输入n≥0个1仍回到原状态,因此,该DFA识别的串是包含偶数个0的二进制代码串,即在偶数个0之间或前后可插入任意个1的串,如ε、00、010、10101、1011011、1001101101。

  对于正规式,首先来了解几个符号的意思:“*”号的意思,在正规式中,它表示任意自我连接,比如,a*表示n≥0个a...,而(ab)*表示n≥0个ab相连: ababab...;“|”表示或;“●”表示连接,常省略,如a●b=ab。

  如果某有穷自动机所能识别的字符串集跟某正规式对应的正规集相等,则称两者等价。将有穷自动机转M化为与其等价的正规式R的步骤为:

  首先,在M的转换图上加进两个状态x和y,从x用标有ε的弧连接到M的所有初态结点,从M的所有终态结点用标有ε的弧连接到y,从而形成一个新的有穷自动机,记为M’,它只有一个初态x和一个终态y,显然L(M)=L(M’), L(M)表示M所能接受的字符串集。

    然后,逐步消去的所有结点,直到只剩下x和y为止,在消结过程中逐步用正规式来标记弧。其消结的规则如下:

  

 

  最后,从x到y的弧上标记的正规式即为所构造的正规式R。

  以该题为例,其转化过程为:

  

 

  注意到,(R1|R2)* = (R1*R2*)*,所以,(1|01*0)* = (1*(01*0)*)*,因此29空选D。

  另外可以根据28题的结果来排除29空的A、B、C三个选项,因为这三个选项的正规式所能表达的串中不但含有偶数个0而且可含有奇数个0,范围扩大了,所以不等价。

  好了,上面例举的一些知识点相对软考来讲是很少的一部分,我希望这能起到抛砖引玉的效果,引导大家去积极地备战。考前不可放松,要坚持到最后一刻,真希望你在我的鼓声中一鼓作气,乘风破浪,成功到达胜利的彼岸!



3COME考试频道为您精心整理,希望对您有所帮助,更多信息在http://www.reader8.com/exam/

热点排行