Talk:OW-1

From Esolang
Jump to navigation Jump to search

Could Someone verify the Turing Complete Proof by actually running it in the program Link and verifying it. Potato Imaginator (talk)

The Minsky Swap code ++*~(0)+ or inc();inc();swap();decnz(0);inc(); turns into

>i>i>.>cTv>d>i>x
        > ^
^        <

Which ends with both registers at 2, the expected result. I think this should be a good enough verification though I can do another if needed. Gapples2 (talk) 14:44, 13 June 2022 (UTC)

Please Put the above code as an Example in Turing Complete Proof Potato Imaginator (talk)