INFINITETM = {〈M〉| M is a TM and L(M) is an infinite language}. Is it co-Turing-recognizable? prove your answer.
Answer:
Let's prove this by Rice's theorem.
INFINITETM is the language of TM descriptions.
Given language satisfies the two conditions of Rice's theorem.
a) It is non-trivial because some TMs have infinite language and others dont have.
b) It depends only on the language.
As we know that of two TMs reconise the same language, either both have descriptions in INFINITETM or neither do.
Consequenty, Rice's theorem implies that INFINITETM does not satisfy co-Turing-recognizable
Get Answers For Free
Most questions answered within 1 hours.