先无名

摘要： 这两周在空闲时间看了看lambda演算。最大的困难是没有好的资料……在图书馆找到了两本书：〈可计算性和计算复杂性〉朱一清，赵致琢；国防工业出版社 内容讲的很全，但是讲得如些烂，没给出定义的符号时不时的冒出来……还有一本非常古老的（纸都变黄色了），那个年代人们做学问就是严谨。（书名以后补上）不过两本书的特点都是先讲述完基础后才展开精彩的部分。lambda系统有好多种，其实我关注的只是它的作为计算模型与图灵机的等价性。非常想有一个直奔它是如何计算的资料。在网上搜，这个文章写的非常不错。（不同地方所用的符号并不统一）http://blog.csdn.net/g9yuayon/category/167 阅读全文