Laconic
Jump to navigation
Jump to search
- This article is not detailed enough and needs to be expanded. Please help us by adding some more information.
| Designed by | Adam Yedidia |
|---|---|
| Appeared in | 2016 |
| Computational class | Turing-complete |
| Major implementations | [1] |
| Influenced | Not-Quite-Laconic |
| File extension(s) | {{{files}}} |
Laconic is a programming language that compiles to a one-tape two-symbol Turing machine. The goal for its creation was to create two-symbol Turing machines with very few states (a golfed Turing machine) that does something interesting when started on a blank tape. Laconic is a strongly-typed language that supports recursive functions.
See also
External resources
- Adam Yedidia, Scott Aaronson; "A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory" (2016), pre-print of the article defining Laconic.
- Scott Aaronson, "The 8000th Busy Beaver number eludes ZF set theory: new paper by Adam Yedidia and me" (2016-05-03), blog post, Shtetl-Optimized.