Recursively enumerable language (source code)

= Recursively enumerable language
{wiki}

= Computably enumerable language
{synonym}

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