Question: Prove that the language La = { M | M is a turing machine that L ( M ) contains infinite 0 , 1 -

Prove that the language La ={M|M is a turing machine that L(M) contains infinite 0,1-strings} is undecidable. For example, the language {0^i 1^i | i>=0} contains infinite 0,1- strings, but {00} only contains one string 00. You need to establish its connection to Atm ={< M,w>| Turing machine M accepts input w}

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Programming Questions!