User blog comment:Ikosarakt1/My Turing machine programs/@comment-25418284-20130330212917

I wonder when we'll reach the point when we have to use computer-assisted construction of TMs.