The full derivations for the examples in the paper are provided below in Appendix B.
For those interested in using the system, my
Prolog/Javascript-based implementation of the examples covered in this
article is freely available here.
Instructions and binaries for Windows, macOS and Linux are provided.
Source code is also included.
The reader is encouraged to also visit and explore Jason Ginsburg's
Python-based derivations
for the examples in the paper.
(We separately implemented the same theory, and achieved the same
results.)
A list of all the operations defined in the Minimalist Machine.
Full derivations for all examples discussed in the paper (35 examples)