000			02225nam a22002177a 4500
999			_c76850 _d76850
003			CITU
005			20211004120034.0
008			211004b ||||| |||| 00| 0 eng d
082			_a511.352
100	1		_aReales, Roel B. _eauthor
245			_aThe unlimited register machine programmer / _cRoel B. Reales.
300			_a16 leaves : _c33 cm.
336			_2rdacontent _atext _btxt
337			_2rdamedia _aunmediated _bn
338			_2rdacarrier _avolume _bnc
502			_aSpecial Project (Master in Computer Science) -- Cebu Institute of Technology - University, February 2008.
520			_aMathematical theorems, as well as the notions of computing are being applied in different field of studies. The world of computing, however complicated, is governed by sets of procedures in order to achieve an output from a set of inputs. This illustrates the mechanical nature that is being captured and realized into calculating machines, more popularly known as the ?Modern Digital computers? today. Despite the astonishing calculating power of such machines, they are bounded by limitations. For instance, they cannot compute all the problems. Some computing problems are found to be non-computable. This means that there exist no set of procedures that will compose an algorithm to solve such problems. Whether a problem is computable or not, the real problem here is providing either of the statement. One way to prove that a problem is computable is through programming on a hypothetical machine called the ?Unlimited Register Machine? (or URM). A problem is said to be computable if there exists a URM program that computes it. Some theorems had been established on URM computing, making it possible to compute for complex mathematical functions on natural numbers using only four primitive machine instructions. It is to this extent that this work is aimed ? to illustrate the definitions, theorems and proofs through software that generates URM programs from simple to complex, non-recursive to recursive mathematical functions, as well as illustrate how the URM works by executing those programs.
650		0	_aComputable functions. _2
650		0	_aFunctional programming languages.
942			_2ddc _cT&D