论文部分内容阅读
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.
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 should include 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.