WolframAlpha computational knowledge AI
Turing machine rule {{1,_} -> {2,0,R}, {2,0} -> {3,0,R}, {2,1} -> {3,1,R}, {3,_} -> {4,1,R}, {4,0} -> {1,0,R}, {4,1} -> {1,1,R}}