|
计算机科学技术学报 1988
On the Mathematical Model of Computing MachineAbstract: In this paper,we try to introduce a constructive definition of a computing machine,called ageneral Mathematical Model of Computing Machine(MMCM).As a general MMCM it shouldinclude all known MMCM as well as all unknown MMCM.We always follow twoprinciples:(1)This general MMCM can be implemented by physical machine.(2)There is no other restriction on this general MMCM,except 1.Our conclusion is that the general MMCM is a finitely constructive and deterministicmathematical system.
|