湖南大学计算理引论期末试题2006年秋本科试卷a-答案.docVIP

2006年秋《计算理论基础》本科生试卷 填空题 1、确定型有穷自动机的形式定义是一个5元组(Q，(，(，q0，F)其中： (1)Q为有穷状态集，（2）(有穷字母表，（3）((q,a)是转移函数，它的第1个自变量为q(Q，第二个自变量a((，其结果((q,a)(Q，即为Q×((Q的函数（映射），（4）q0为初始状态(一般只有一个)，（5）F有一些接受状态（可以为多个。 2、非确定型有穷自动机N接受字符串w=b1b2…bm，是指存在状态序列r0,r1,…,rm,且满足：（1）r0=q0；（2）ri+1(((ri,ai+1) (i=0,1,…,m-1)，(3)rm(F。 3、正则表达式的定义是：（1）a((，空串(，空集(均为合法的正则表达式，（2）若R1，R2是正则表达式，则(R1(R2)、R1(R2、R1*均是正则表达式。 (p（泵长度）时，则一定存在满足|y|0、|xy|(p分解方式S=xyz，使得任意i(0，xyiz(A。这是正则语言的性质，基于此性质并利用反证法可证明一个语言不是正则语言，这时需要验证满足“|y|0、|xy|(p”的每种可能分解方式，都不满足“任意i(0，xyiz(A”。 6、非确定型下推自动机PDA接受w=w1w2…wm，是指存在状态序列r0,r1,…,rm，栈字字符串序列s0,s1,…,sm((*，满足：（1）r0=q0,s0=(；（2）(ri+1,b)(((ri,wi+1,a)，其中si=at(此时a为栈顶元素)，si+1=bt(b为当前动作后的栈顶元素)；（3）rm(F,sm=(。 7、Turing机特点：（1）可以从输送带中读出字符，也可以修改输入带中的字符；（2）可沿输入带向右移动直到遇到字符串结束标志为止，也可从右向左移动直到遇到左端标志为止；（3）可以边读写边移动读写头，也可以不读写而单纯移动；（4）如果进入了“接受”状态则停机(不必消耗所有字符)，如果进入了“拒绝”状态也停机，否则一直运行，永不停机。 8、图灵机的形式定义是7元组(Q,(,(,(,q0,qaccept,qreject)，其中：（1）Q为状态集；（2）(为输入字母表，不包括空白符号；（3）(为带字母表，包括(与空格；（4）(：Q(((Q((({L,R}，转换函数，第1个自变量的取值范围是Q，第2个自变量的取值范围是(，其值域是一个三元组，第一个分量表示下一个状态，第二个分量表示写入到输入带上的字符，第三个分量表示下一步的位置；（5）q0(Q是初始状态；（6）qaccept(Q是接受状态；（7）qreject(Q拒绝状态，且qreject(qaccept。 9、图灵机M接受字符串w，是指存在一系列的格局C1,C2,…,Ck，使得：（1）C1是M在输入w的起始格局，即C1=q0w；（2）每个Ci确定地产生Ci+1；（3）Ck是接受格局，即从起始格局起，经过有限步后可达到接受格局。 二、简述题 1、每个多带图灵机等价于某台单带图灵机。请参考下图陈述单带图灵机描述多带图灵机的的细节。多带图灵机为M，待的单带图灵机记为S。 非形式的描述： (1)S在自己的带子上按上图所示放入所有字符串； (2)为了模拟一步移动，S在其带子上从标记左端点的第一个#开始扫描，一直扫到最右端的第k+1个#，以确定虚拟读写头的符号，即确定原来多带的每个读写头的位置。 然后S进行第二次扫描，并根据M的转移函数指示的运行方式来更新带子(即根据多带机M的转移函数，移动每个带子对应的读写头) (3)任何时候，只要S将某个虚拟读写头向右移动某个#上面，就意味着M已将该虚拟读写头所对应的读写头，移到了其所在带的空白区域上，即以前没有读过的区域上。 即单带S的写头仍可以向右移动，只不过是先将单带的当前位置起到最后的符号整体右移，再让虚拟读写头在当前位置写下空白符。 2、请给出Chomsky范式的定义？将普通范式转换为Chomsky范式的基本步骤？ 解：Chomsky范式是指满足：A(BC（A,B,C为任意变元，B，C不是起始变元），A(a（a是任意的终结符）；S((（允许这种规则存在，即接受空串）； 转换为Chomsky范式的基本步骤为： (1)添加新的起始变元S0，同时增加规则S0(S； (2)删除所有“A((”(A(起始变元)，A在其他规则的右边每出现一次添加一条删除了A的新规则。 (3)删除所有单规则“A(B”，并针对所有B(u，添加规则A(u (4)整理A(u1u2…uk为A(u1A1,A1(u2A2,…Ak-2(uk-1uk。 A(aiB为A(BiB,Bi(ai, A(Bai为A(BBi,Bi(ai , A(ajai为A(BjBi,Bi(ai ,Bj(aj 三、计算题 1、给出下列机器的形式描述，并给出字符串aaabbb的计算过程，是否接受该字串