Skip to content

Release 0.1.2 - Initial Release

Latest
Compare
Choose a tag to compare
@teachyyou teachyyou released this 03 Jun 17:18
2830978

This gem provides a comprehensive implementation of the Unbounded Register Machine (URM) with the following features:

Instruction Types: Support for primitive instructions (set, inc, dec, if, stop) and an advanced copy instruction.
Machine Execution: Create URM machines, add instructions, and execute them with ease.
Encoding and Decoding: Encode and decode URM instructions and entire machines using Gödel numbering.
Testing Utilities: Tools for testing the correctness of URM programs over a range of inputs.

Key Features
Instruction Parsing and Creation: Easily create URM instructions either manually or through string parsing.
URM Machine Setup: Instantiate and configure URM machines with input registers.
Encoding and Decoding: Convert URM instructions and machines into unique numerical representations and back.
Automated Testing: Validate the functionality of URM machines using built-in testing utilities.

Example Usage
Check out the README for detailed usage instructions and examples on how to create, encode, decode, and test URM programs.