URM-Programming

Toolkit for URM Programming

Authors: Jingyu Yan and Grygoriy Zholtkevych

---

The project aim is to develop a toolkit for programming Unlimited Register Machine (URM) intended for studying computability theory.

The project tasks are:

1. to develop a software realization of URM using Python language;
2. to develop functions for manipulating with URM-programs
   1. concatenation of URM-programs,
   2. move URM-programs in memory,
   3. parallelization of URM-programs,
   4. to be added later;
3. to develop a universal program;
4. to be added later.

---

Files:

README.md is this file
URM_en.ipynb contains Colaboratory Notebook with working materials

Folders:

compy contains used Python files

Files:

__init__.py
types.py imports required annotations of types
nat.py contains a model of natural numbers