架构思维训练之自己推导图灵机( 二 )

按照这种以史为鉴,面向未来的思路,我们要探究计算机的组成原理,就要从计算机的起源开始。那将是一个漫长的历程:“Long long ago,人类的祖先……”。“请打住!大家时间宝贵,捡重点!”,好了,不啰嗦。计算机的发展,可以追溯到北宋时期中国人发明的算盘,近代大数学家莱布尼茨发明的手摇式计算器,19世纪英国发明家巴贝奇发明的差分机。

说到差分机忍不住要提一下,这台以蒸汽机为动力由大量齿轮构成的“计算机”,虽然最终没有成功,但却诞生了史上第一位程序员,可以说是编程这个行当的开山祖师。不要听错了喽,这位祖师可是一位女生,而且一位非常漂亮的女生,她叫阿达·洛芙莱斯,感兴趣的小伙伴网上搜一下她的画像便知。

阿达是一位数学家,是英国大诗人拜伦的女儿。看似男生众多的行当,创始人竟是一位优雅的大美女,说明女生还是很适合这个行业的哦。“哎!怎么说起妹子就高兴起来了呢?咱们还要继续呢!”。对,不打岔!前面讲的这一切的努力,最终促成了现代计算机的起源——图灵机。

图灵机并不是一台真正的计算机,它只是一个计算模型,是一台抽象的机器。“是啊,好抽象啊!”。不要急,本文将先讲解一下图灵机是怎么来的,然后就通过一个生活中的事例,把它推导出来。“没有听错吧?用生活中事例推导!”。对,伟大的发现都源自生活,苹果砸在牛顿头上就砸出来个万有引力,当然此事被证明是杜撰的,但却说明生活中充满了灵感。生活中的一件事就让图灵发现了图灵机。

推荐阅读