1.{<M>| M is a TM accepts any string starting with 1}
2.{<M>| M is TM accept exactly 20 strings}
Please guide
I don’t know how to apply rice theorem.
for 1. Is Tyes = { string starting with 1} Tno = { all strings – strings starting with 1}
- what is Tyes and Tno here? I only conclude by intution that when we provide strings as input some got into loop and some got accepts .