URM

Project information

The Unlimited Register Machine (URM) as implemented per specification from Computability: An introduction to recursive function theory by N.J. Cutland. This is a modification of machine originally based on Shepherdson and Sturgis's model (1963).

Unlimited Re... computability virtual machine

17 Commits
1 Branch
1 Tag

README
Mozilla Public License 2.0

Created on

February 19, 2022

Copy SSH clone URLgit@gitlab.com:deepnet42/urm.git
Copy HTTPS clone URLhttps://gitlab.com/deepnet42/urm.git

Loading