这就是我对它的理解:这意味着它将问题A转化为问题C,但我不太确定它是如何完全工作的。让我们看看一个例子:L ={<M,D>| M is s TM and D is a DFA so that L(M) = L(D)}, M是一台图灵机器,它接受任何字符串,并在该字符串上停止。D是DFA,hast接受语言L,其等价于TM M,Atm是接受字符串w的TM,M。
你怎么能用直接还原证明Atm
我只是在学习C语言,到目前为止,我一直在使用javascript和php等语言,我在将我的一些思考步骤转化为C语言的可能性时遇到了困难。但是,输入字符串的字符会导致问题。if ( menu != 1 && menu != 2 && menu != 3 ){
menu = 4; // a switch later on will catch this.