View as:
From Turing machines to Register machines- overview, instruction set and simple examples. Simulation of recursive functions by Register machines (with proofs in macro form).
This entry was posted
on Thursday, May 6th, 2004 at 6:22 pm and is filed under CM10020, Logic.