Java Web作业

可计算性： 假设有一个纸带和一个打孔机，然后有一套指令，能够控制打孔机在纸带上移动、能够读取当前位置是否打了孔、能够在当前位置打一个孔，这就是一个图灵机（by阿兰.图灵），假设一个问题能够靠这个纸带+打孔机+指令的方式解决，那就说明这个问题是“可计算的”。 用函数组合的方式来描述计算过程，这就是Lambda演算（by阿隆佐·邱奇），假设一个问题能够用一套函数组合的算法来表达，那就说明这个问题是可计

>>阅读原文<<