計算复杂性课后题.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,要把一