An Analysis of Preferred Habitat for the Common Garter Snake By Ian Kinloch MacGregor and David Edward Heller May 25, 2005.
1 M is a TM with start state s defined over the alphabet {#,(,),0,1,a,q,,}: NumStateHead 0hL 1sR 2t# 3( 4) 50 61 7a 8q 9, 2. Does M halt on input “M”?