可计算性理论经过创建计算的数学模型,精确区分哪些是可计算的,哪些是不可计算的.
可计算性理论肯定了哪些问题可能用计算机解决,哪些问题是不可能用计算机解决的.
编程
图灵机严格来说是一种数学模型,计算理论模型. 定义了计算机能力边界:有限步骤内能够获得答案的问题.架构
冯·诺依曼体系结构确立了当代计算机硬件的基础架构.
运算器,控制器+存储器+输入,输出设备cdn
图灵机是一个思惟实验,而冯诺依曼机则是这个思惟实验的"物理实现".blog
冯诺依曼机也要存储程序计算机.2个特色:内存