Let and be Register Machines performing Partial Functions and respectively. Then we can construct a register machine performing operation .