1
htedsv 2014-10-12 16:04:46 +08:00
写的很好,给赞
|
2
miaoever 2014-10-12 17:28:30 +08:00
|
3
riaqn 2014-10-12 18:02:56 +08:00
lz,evaluation翻译成求值会不会更好.
|
6
luoqeng 2014-10-13 02:47:36 +08:00
『lambda calculus 虽然直观,比较起来,SKI算子提供了一个可以逻辑推导的steps,譬如lambda里面天外飞仙一般的Y,在SKI里面的推导更有迹可循。SKI可以看作右节点不是树的最简单的二叉树,高度分别为321,而所谓的curry化过程,吃进一个参数,吐回一个函数,能接受一个参数的函数』
|
8
kamushin 2014-10-13 20:20:25 +08:00
非常棒的文章。
其中对于图灵机的解释,我觉得可能略显混乱,又是cpu,又是纸带的.. 我理解中的图灵机应该是这样的, 有状态集,输入串,转移函数,开始状态和结束状态,根据当前状态和当前指针指向的输出串中的字符来进行转移(包括修改状态、修改这个字符以及指针位置的左右移动)。 |