User blog comment:Ikosarakt1/My Turing machine programs/@comment-25418284-20130330212946/@comment-5529393-20130331092546

It's possible, but we need to specify an exact specification for OTMs, and we have to accept that if we program anything really big, we won't know how big it really is.