摘要
由于计算机技术的发展日新月异,以算法为核心,以图灵机和Church论题等为理论依据的计算模型已无力继续成为今天计算科学的理论范式.介绍了一个崭新的计算模型——交互计算模型的基本思想.它是对算法的扩展,并比算法具有更强的描述能力.一系列基本概念被扩展到交互.
The fundamental idea of a new model of computing, that is, an interactive model of computing, is introduced. Algorithm, Turing machine and Church's thesis have been regarded as the theoretical foundation of computing ever since. But computer technologies have changed so rapidly that the gulf between them becomes wider and wider. The algorithm and Turing machine can't play a role of theoretical paradigm of computing science any longer. This fact leads to a new interactive model of computing, which is an extension to algorithm and more expressive than algorithm.
出处
《计算机研究与发展》
EI
CSCD
北大核心
2002年第6期701-706,共6页
Journal of Computer Research and Development
基金
本课题得到中国科学院知识创新工程方向性项目基金资助(KGCX2-103)
关键词
交互计算模型
算法
图灵机
计算模型
计算机
interaction, algorithm, Turing machine, model of computing, logic
