架构思维训练之自己推导图灵机( 二 )
按照这种以史为鉴,面向未来的思路,我们要探究计算机的组成原理,就要从计算机的起源开始。那将是一个漫长的历程:“Long long ago,人类的祖先……”。“请打住!大家时间宝贵,捡重点!”,好了,不啰嗦。计算机的发展,可以追溯到北宋时期中国人发明的算盘,近代大数学家莱布尼茨发明的手摇式计算器,19世纪英国发明家巴贝奇发明的差分机。
说到差分机忍不住要提一下,这台以蒸汽机为动力由大量齿轮构成的“计算机”,虽然最终没有成功,但却诞生了史上第一位程序员,可以说是编程这个行当的开山祖师。不要听错了喽,这位祖师可是一位女生,而且一位非常漂亮的女生,她叫阿达·洛芙莱斯,感兴趣的小伙伴网上搜一下她的画像便知。
阿达是一位数学家,是英国大诗人拜伦的女儿。看似男生众多的行当,创始人竟是一位优雅的大美女,说明女生还是很适合这个行业的哦。“哎!怎么说起妹子就高兴起来了呢?咱们还要继续呢!”。对,不打岔!前面讲的这一切的努力,最终促成了现代计算机的起源——图灵机。
图灵机并不是一台真正的计算机,它只是一个计算模型,是一台抽象的机器。“是啊,好抽象啊!”。不要急,本文将先讲解一下图灵机是怎么来的,然后就通过一个生活中的事例,把它推导出来。“没有听错吧?用生活中事例推导!”。对,伟大的发现都源自生活,苹果砸在牛顿头上就砸出来个万有引力,当然此事被证明是杜撰的,但却说明生活中充满了灵感。生活中的一件事就让图灵发现了图灵机。
推荐阅读
- ig|UZI最新直播回复几个关键问题:加入IG,复出,训练赛?
- |我想打训练赛!Uzi表达复出渴望:我还热爱英雄联盟,还打得动
- 原神|T1再次证实FPX训练赛强,队内语音迟迟未放出,LNG也意难平!
- 清融|SK:estar是谁强谁上,2位中单都有训练,但清融没给千世任何机会
- 超级机器人大战30|猫神重新跟AG一队训练,瓜主剧透:AG若打不赢狼队,最初首发不保
- fpx战队|FPX训练赛很强是真的!T1教练揭露世界赛真相:EDG要比想象中更强
- t1|Faker第四冠来了?T1教练:明年必夺冠,EDG训练赛最强
- dota2|LEC赛区全军覆没,C9教练吐槽赛制:LCK战队不和LEC打训练赛!
- 曹志顺|hero双子星回归?久诚与最初首发,麟羽透露训练赛已“无敌”
- t1|半决赛揭幕战倒计时,两位T1老将懈怠训练,Khan全力以赴