adamyedidia/parsimony

Tags

:cs:stuffotherpeoplareworkingon:

url: https://github.com/adamyedidia/parsimony

This https://www.youtube.com/watch?v=Rt_SfOkk0YM][This]] is a short tutorial video intended to give a brief explanation of how to use the tools in this repository. [[https://www.youtube.com/watch?v=QtO8EWwggx4&feature=youtu.be is a somewhat longer video that goes into more detail about how the compilation process works, and what the Turing machines you generate are really doing.
At the highest level, we have Laconic, which is a language designed to be easily usable without any specialized knowledge of Turing machines. To find documentation explaining how Laconic works and how to use it, navigate to:
parsimony/src/laconic/
and read laconic_quick_start.pdf or laconic_readme.pdf, respectively. This is the recommended approach for somebody who just wants to get started making Turing machines as quickly as possible. laconic_ops.pdf provides an exhaustive list of Laconic primitives. Watch out--most of them are intuitive, but not all!

Recent Busy Beaver upper bound sexiness.