0 votes 0 votes Show that the language of codes for $TM's\ M$ that, when started with blank tape, eventually write a $1$ somewhere on the tape is undecidable. Theory of Computation ullman theory-of-computation turing-machine undecidable descriptive + – admin asked Jul 21, 2019 admin 198 views answer comment Share Follow See all 0 reply Please log in or register to add a comment.