0 votes 0 votes How does complement of a Recursively enumerable but not recursive is not recursively enumerable? Theory of Computation theory-of-computation recursive-and-recursively-enumerable-languages decidability + – Veerendra V asked Dec 27, 2016 • retagged Jul 4, 2017 by Arjun Veerendra V 624 views answer comment Share Follow See all 0 reply Please log in or register to add a comment.
0 votes 0 votes If recursively enumerable languages were closed under complementation, then they would also be decidable, and this would make the Halting problem decidable. Let M the TM accepting a recursively enumerable language L. Now assume by contradiction that L', the complement of L, is also recursively enumerable. This means that there exists a TM M' that enumerates all the elements in L'. Now we can run M and M' in parallel (see this to understand what I mean by in parallel: Dovetailing (computer science)) and output YES if M halts, and NO if M' halts. Notice that since both L and L' are recursively enumerable this machine is guarantee to halt. But this means that L is decidable which contradicts the fact that the halting problem is undecidable. Hope it will help! Source:https://www.quora.com/Why-are-recursively-enumerable-languages-not-closed-under-complementation denimmagnetic123 answered Apr 9, 2017 denimmagnetic123 comment Share Follow See all 0 reply Please log in or register to add a comment.