Verifiable Rule 110 Compiler. Transforms a Turing Machine representation into a Tag System -> CTS -> Rule 110. https://www.forrestmeng.com/pages/blog/rule110
pyInvenio/rule110-compiler
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Verifiable Rule 110 Compiler. Transforms a Turing Machine representation into a Tag System -> CTS -> Rule 110. https://www.forrestmeng.com/pages/blog/rule110