Duckwise Northward/Turing Complete proof
Jump to navigation
Jump to search
Any program in BF that has an infinite loop can be written like this:
@$k[...]c
Or:
~$[...]/
As long as the cell isn't 0 and the loop doesn't contain the start and end often, it should work.
Loops
| Code | Name |
|---|---|
| #@$k[...]c | Basic |
| #~$[...]/ | Complex |
| )(@$/ | Garbage |
Map to brainfuck
rl ; > (kc ; > @$k[...]c ; [ and ] _ ; - v ; + % ; input and print _$ ; <