전기의세계
- Volume 24 Issue 1
- /
- Pages.70-74
- /
- 1975
- /
- 1598-4613(pISSN)
A Study on the Recursive Technique in Digital Computer Programming
전자계산기 프로그래밍에 있어서의 귀납적 수법에 관한 연구
Abstract
A model computer is designed and using this model computer it is demonstrated that computable functions are equivalent to recursive functions. It is also shown that iteratively defined computable functions can be transformed to recursively defined computable functions and that recursive programming is possible in principle, when iterative programming is possible.
Keywords