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

Even worse, that's not even full definition (if we assume this non-inductive mess to have sense)