电子计算机应用已深入到人类活动的各个领域。虽然其应用方式不尽相同,但归根结底少不了“计算”。如所周知,“计算”这概念是先于计算机而出现的。然而到底什么是人类所能进行的计算?机器计算是否与人类所能进行的计算相同呢?本文以数理逻辑和计算机科学的研究成果来回答上述问题。一、有穷自动机的能力和机器计算对可作为计算机模型的有穷自动机的功能曾进行过不少研究。R.W.Ritchie定义了 Computer applications have penetrated into all areas of human activity. Although the application of different ways, but ultimately ultimately “calculation.” As we all know, the notion of “computation” came before the computer. But in the end what is the calculation that mankind can do? Is machine calculation the same as human beings can do? This paper answers the above questions with the research results of mathematical logic and computer science. First, the ability of finite automatons and machine computations There have been many studies on the capabilities of finite automata that can be used as computer models. R.W.Ritchie defined