计算复杂性课后题.docVIP

习题2.1.3 构造接受下述语言的确定型有穷自动机： (a) {} (b) (c) {ω∈{a,b}*:ω不含子串aa和bb} (d) {ω∈{a,b}*:ω中有奇数个a和偶数个b} (e) {} 解：（a） pgk (b) （c） (d) (e) 习题3.3.2 构造接受下述语言的下推自动机： （b） （c） （d） 解：（b）栈的作用是对a计数，然后将其与b的个数进行比较，此处的困难在于一个a可能对应一个b，也可能对应两个b，因此我们需要非确定性。 (c) 构造如下自动机M=(K,∑,Γ,Δ,s,F),其中K={s,f},∑={a,b},Γ={a,b},F={f}，而Δ是如下七个转移的集合： （1）（（s,a,e），（s,a）） （2）（（s,a,e），（f,e）） （3）（（s,b,e），（s,b）） （4）（（s,b,e），（f,e）） （5）（（s,e,e），（f,e）） （6）（（f,a,a），（f,e）） （7）（（f,b,b），（f,e）） （d）要考虑两种情形：①栈正在对a计数；②栈正在对b计数 若栈正在对a计数，则每读一个a，要把两个a推入栈；每读到一个b，要把一个a托出栈 若栈正在对b计数，则每读到一个b,要把一个b推入栈；每读到一个a，要把两个b托出栈 M={{s,q,f},{a,b},{a,b,#},△,s,{f}}，其中 △＝{（（s,e,e）,（q,#）），　　　　　　　推入#，转到状态q 　　 （（q,a,#）,（q,aa#））, 空档，读a，推入两个a （（q,a,a）,（q,aaa））, 栈正在对a计数，读a，推入两个a 　　 （（q,a,bb）,（q,e））, 栈正在对b计数，读a,托出两个b 　　 （（q,a,b#）,（q,a#））,　　　　　　 栈中只有一个b（和#），读a,栈更新为a# 　　 （（q,b,#）,（q,b#））,　　　　　　 空栈，读b，推入一个b 　　 （（q,b,b）,（q,bb））,　　　　　　　栈正在对b计数，读b，推入一个b 　　 （（q,b,a）,（q,e））,　　　　　　　 栈正在对a计数，读b，托出一个a 　　 （（q,e,#）,（f,e））}　　　　　　　 空栈，托出#，转到状态f 习题4.1.1 设，其中 ， ， , 并且由表4-3给定。 （a）跟踪从格局启动的M的计算。 （b）非形式化描述当在且扫描任意带方格时启动，M做什么动作。 b U U 解： （a） （b）将w变为。（表示把w中的,b互换得到的字符串） 习题4.1.7 设计并完整写出这样的Turing机，它向右扫描直到发现两个连续的a为止，然后停机，这台Turing机的字母表是{a,b, ， }。 解：=（k，∑，，s，{h}），其中k={q0,q1,h},∑={a , b , , },s=q0, 如下： q (q, ) q0 a (q1, ) q0 b (q0, ) q0 (q0, ) q0 (q0, ) q1 a (h, a) q1 b (q0, ) q1 (q0, ) q1 (q0, ) 习题4.2.1 给出计算下列函数的Turing机（用缩写记号），是从里的字符串到里的字符串的函数：。 解： 习题4.2.2 给出判定下列在{a,b}上的语言的Turing机： （a）φ （b）{e} （c）{a} （d）{a}* 解： （a）n 习题4.2.3 给出判定语言a*ba*b的Turing机： 解： 习题 4.3.5 给出3带Turing机，当启动时，第一条带上有用“；”分隔的两个二进制整数，计算它们的乘积。 R1,2 01a2 01R1,3 01a3 ;1