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

inductive definitions, bro