User blog comment:LittlePeng9/Random Turing machines/@comment-1605058-20130417173635/@comment-1605058-20130417181615

Oops, I forgot! I'm going to add input format now