Minsky

A toy implementation of Minsky Machines in Rust.

See 1, 2, and especially 3.

Goals

The goals are:

• write a basic interpreter for Magnificent Minsky Machines (M3)
• write some arithmetic programs using the M3 interpreter
• define a grammar for M3 and implement a parser
• write a transpiler from M3 to M3 that produces machines with a single machine state (and possibly many more tapes)
• write a transpiler from M3 to M3 that produces machines with a single machine state and a single tape.
• support "Portable Minsky Machine Notation" 4

References