唐常杰翻的计算理论导引13.pptVIP

Lecture Notes for Computation 2006 五一放假 换课 今天课程 复习 Undecidability cp136 复习 Undecidability cp136 Self-Reference ep198, cp136 Self-Reference ep198, cp136 Self-Reference ep198, cp136 Avoiding Paradoxes? ep199 Avoiding Paradoxes? Ep199递归 递归 的 第一种意义， 自己调用自己 从前有个庙，庙里有个老和尚，老和尚给小和尚讲故事,讲的故事是：”从前有个庙，庙里有个老和尚，老和尚给小和尚讲故事,讲的故事是……” Void story ( ) { printf(“从前有个庙，庙里有个老和尚，老和尚给小和尚讲故事,讲的故事是：”)； story( ); } 毛病，没有递归深度控制，栈溢出时死机 镜子里面照镜子，电影里面放电影，故事里面讲故事 更新奇的是： 递归的 第一种意义， 自己调用自己 从前有个庙，庙里有个老和尚，老和尚给小和尚讲故事,讲的故事是：”从前有个庙，庙里有个老和尚，老和尚给小和尚讲故事,讲的故事是……” Void story ( ) { printf(“从前有个庙，庙里有个老和尚，老和尚给小和尚讲故