关于λ演算的初步解析
序言
学算法的时候,就了解过图灵完备(Turing Complete),Steam上也有一款游戏叫做图灵完备,要是我大学早一点发现这个游戏我的计组和计体中的汇编就不会学得很痛苦了,那是一款从0开始教你从最初的与非门搭建到一台图灵完备可编程计算机的游戏,目前没通关,卡在了处理器架构2的有符号小于实现的关卡处(还是太菜了,加上自己比较逞强,又不想看攻略,就长时间卡关,甚是惭愧),因为不管是日常工作编程的 Java 还是机器学习代码中 都有用到lambda演算
的技巧,于是,我去查了这个λ演算到底是怎么个原理,为什么说λ演算是和图灵机等价的,然后笔者写下了这篇文章。