My CPU

It is high time we turned our attention to a complex mathematical problem. Namely, how FunCPU computes:1+1=? Please recall that the definition of "add" is stored at 00 (referenced by 81) is as follows:add(x,y):=   FD 7F 7E FC 81 7E FE 7F FF The following is an extract from the FunCPU…

As the computational model will be purely functional without any imperative elements (which could introduce side effects), a simple expression rewriting system will be adequate. User-defined functions will make up a library, which will in turn, also define the rewriting rules. Functions from…