Planetmarshall » Open University http://www.planetmarshall.co.uk Andrew Marshall's blog Thu, 10 Nov 2011 17:33:06 +0000 en hourly 1 http://wordpress.org/?v=3.3.1 URM Emulator http://www.planetmarshall.co.uk/2009/01/urm-emulator/ http://www.planetmarshall.co.uk/2009/01/urm-emulator/#comments Sun, 25 Jan 2009 23:22:34 +0000 Andrew http://www.planetmarshall.co.uk/?p=24 Continue reading →]]> The Unlimited Register Machine (URM), designed by Nigel Cutland, is an abstraction of a computer similar to the Turing Machine – but somewhat easier to get to grips with and more in tune with the operation of a modern computer processor.

It also happens to be the model used by the Open University’s course on Mathematical Logic and Number Theory, and is the reason for this article since I studied the course in 2007.

Emulator

The implementation details of the emulator are quite interesting, using a mixture of Microsoft technologies including F# and Silverlight, however I will save that for another article for those interested in such things. To use the Emulator just hit Reset, enter the program and initial registers and click Step to trace through the program.
[silverlight: Urm.App.xap,400,300,false]

]]> http://www.planetmarshall.co.uk/2009/01/urm-emulator/feed/ 0