摘要: 引言 fzu可计算性理论作业 来源于《计算性理论导引》(第三版、机械工业出版社)一书中p170练习题6.1 该书中递归定理部分在p157页有介绍,但其本质应该是依靠p155-156的自引用定理 思路就是先做自引用定理的SELF,那么递归定理也就同理了 任务 练习6.1:用一个实际的程序设计语言(或它 阅读全文
posted @ 2021-05-04 16:01 NoNoe 阅读(457) 评论(1) 推荐(0) 编辑