We are currently working on new rules for what content should and shouldn't be allowed on this website, and are looking for feedback! See Esolang:2026 topicality proposal to view and give feedback on the current draft.
Short Minsky Machine Notation
Short Minsky Machine Notation is a notation for Minsky machines created by User:Yayimhere that uses subscripts and superscripts. It was created for the translation from an MM to BUT, and has been used in other esolangs she made.
Notation
this is how to write it:
| symbol | in MM |
|---|---|
℘xy |
Decrement register y and goto line x if it goes to 0. |
℘y |
Increment register y |
℘ |
Halt |
lines are just numbered by the first line is 1 second is 2 ect.
Three registers are needed for it to be Turing-complete
Extended Notation
Extened Short Minsky Machine Notation (ESMMN) was created by User:ChuckEsoteric08 which is Turing Complete with just two registers. There is a single command added:
℘x |
jump unconditionally to line x |
Examples
Infinite loop
℘1℘1℘11