Recursively enumerable language by Ciro Santilli 34 Updated +Created
There is a Turing machine that halts for every member of the language with the answer yes, but does not necessarily halt for non-members.