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

still not an inductive definition