Recursively enumerable language

ID: recursively-enumerable-language

Recursively enumerable language by Ciro Santilli 35 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.

New to topics? Read the docs here!