【文件属性】：
文件名称：交互计算模型概述概述
文件大小：54KB
文件格式：PDF
更新时间：2012-10-01 12:58:53
交互,算法,图灵机,计算模型,逻辑
随着计算技术日新月异的发展，以算法为核心、以图灵机和Church 论题等为理论
依据的计算科学理论范式正在面临越来越大的挑战。介绍了一个新的计算模型— 交互计算模
型的基本思想，它是对算法的扩展，并比算法具有更强的描述能力。一系列基本概念被扩展
到交互。