On the equivalence of some models of computation
- 23 Downloads
In, a definition of computation was given. In , 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.
KeywordsTuring Machine Recursive Function Sequential Computation Recursion Scheme Computation Computing
Unable to display preview. Download preview PDF.
- Hu Guoding, On the mathematical model of computing machine,Journal of Computer Science and Technology,3:4(1988).Google Scholar
- J.L. Bell & Machover, A Course in Mathematical Logic, North-Holland Publishing Company, 1977.Google Scholar
- Xu Shuruen, Computations and computations with computers,Exploration of Nature,6:20(1987), 31–36.Google Scholar