五千年(敝帚自珍)

主题:【原创】我的chatGPT的使用体验 -- Swell

共:💬285 🌺1767 🌵12 新:
全看分页树展 · 主题 跟帖
家园 葡萄不是理论计算机专业的

理解的可能有偏差,不用强求。我补充一下吧。

计算机的理论模型主要有两个,分别是图灵的图灵机和丘奇的lamda演算,两者是等价的,合称图灵-丘奇命题,定义了计算的边界,即什么是可计算的,什么是不可计算的。当然还有跟这两者等价的理论模型,如Post的post理论,乔姆斯基的0型文法等,这些只有专业人士才关心。

实际中的计算机架构,据我所知,也是两种,一种是广为人知的冯诺依曼架构,程序和存储是一体的。另一种是哈弗架构,程序和存储分开。还有其他一些计算机架构,流传不广,就不提了。

通宝推:桥上,葡萄,
全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河