( 2.重要的假设和约定 1)计算机模型的假设 Tur ing机模型:计算机形式理论模型 通用计算机模型: 顺序计算机 有足够的“内存” 能在固定的时间内存取数据单元2. 重要的假设和约定 1）计算机模型的假设 • Turing机模型：计算机形式理论模型 • 通用计算机模型： ➢ 顺序计算机 ➢ 有足够的“内存” ➢ 能在固定的时间内存取数据单元