User blog comment:LittlePeng9/Random Turing machines/@comment-5150073-20130427202925/@comment-5150073-20130427211248

Also it doesn't works for arity >=3 and base=1. For example, x|1 111 111| freeze after 600 steps without rule for symbol x and state r8.