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

I'm still waiting for full definition.