User blog comment:LittlePeng9/Random Turing machines/@comment-5029411-20131017003248/@comment-5029411-20131221220345

() = (((...)w)w) (w+1 label)

(@) = (((...)@)@) (@+1 label)