User blog comment:LittlePeng9/Random Turing machines/@comment-5150073-20130427202925/@comment-5150073-20130428132641

I use our TM simulator and put various inputs on it to track some glitches.