C
computability
Projects with this topic
-
Emulating cellular automata.
Updated -
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).
Updated