2019年5月24日
摘要: 本章继续上一章,说明一下这个问题: 所有的相互递归都可以被转化为一般的递归,从而最终可以用lambda演算来完成。 假设有以下对于$f_1, f_2, ... f_n$的相互递归: $f_{1} = F_{1}(f_{1}, f_{2}, ... f_{n})$ $f_{2} = F_{2}(f_{ 阅读全文
posted @ 2019-05-24 23:59 窗户 阅读(599) 评论(0) 推荐(0) 编辑