Recent posts tagged self-study

1
in line [a] we have not specified anything like who is walking and then in line [c] we have used HIM.
2
Yes. Both L and L' are not RE. We can have the same reduction as done for L(M) is infinite. Lets assume L is RE. So, we have a TM N which will say "yes" if given an encod...
To see more, click for the full list of questions or popular tags.