Lecture 3 Various TMs University of Texas at Dallas3讲各种TMS 德克萨斯大学达拉斯分校.pptVIP

Examples All is not r. e. because All does not satisfy condition (2). The complement of ALL is not r. e. because it does not satisfy condition (1). Empty is not r. e. because it does not satisfy (1) Nonempty is r. e. because it satisfies (1), (2) and (3). Undecidable Problems Given TMs M and M’, is it true that L(M)=L(M’)? This problem is undecidable, i.e., A = {M,M’ | L(M) = L(M’)} is not recursive. Proof. Empty ≤m A. Let Mo be a fixed TM such that L(Mo) = Φ. Define f(M) =M, Mo. Then, M ε Empty iff M, Mo ε A. Let A and B be two nonempty proper subsets