Journal of Computer Science and Technology

, Volume 3, Issue 4, pp 306–309 | Cite as

On the equivalence of some models of computation

  • Xu Shuruen 
Short Papers


In[1], a definition of computation was given. In [3], we have clarified the necessity of the definition. Here we prove the equivalence between the definition and some models of computation. Hence the sufficiency of the definition is clear abundantly.


Turing Machine Recursive Function Sequential Computation Recursion Scheme Computation Computing 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Hu Guoding, On the mathematical model of computing machine,Journal of Computer Science and Technology,3:4(1988).Google Scholar
  2. [2]
    J.L. Bell & Machover, A Course in Mathematical Logic, North-Holland Publishing Company, 1977.Google Scholar
  3. [3]
    Xu Shuruen, Computations and computations with computers,Exploration of Nature,6:20(1987), 31–36.Google Scholar

Copyright information

© Science Press, Beijing China and Allerton Press Inc. 1988

Authors and Affiliations

  • Xu Shuruen 
    • 1
  1. 1.Nankai UniversityTianjin

Personalised recommendations