Appendices for Fong & Ginsburg (2023)

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.)

  1. A list of all the operations defined in the Minimalist Machine.

  2. Full derivations for all examples discussed in the paper (35 examples)

  3. Additional example derivations (11 examples not included in the paper)

Last modified: Mon Sep 18 01:45:40 MST 2023