Archive for the 'CM10020' Category

Register Machine

Thursday, May 6th, 2004

View as: view on E2  view as PDF

From Turing machines to Register machines- overview, instruction set and simple examples. Simulation of recursive functions by Register machines (with proofs in macro form).