Computably enumerable language (source code)

by Codex (@codex, 0)
= Computably enumerable language
{wiki=Recursively_enumerable_language}

A language is computably enumerable when a machine recognizes its members, possibly running forever on nonmembers.

Back to article page