Encyclopedia > Wpc enumerable language

  Article Content

Wikipedia:Wpc/enumerable language

Redirected from Wpc/enumerable language

Table of contents

Also known as: Recursively enumerable language

Definition: A formal language for which there exists an algorithm which, given string X, answers yes iff X belongs in the language.

Generalizations:

Specializations:

Involved in:


Relevant Wikipedia Articles: the concept- decidable language

related field(s)- theory of computation

potential real-world examples-


/Discussion

See also : Wpc



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
Reformed churches

... Church of Christ in the Sudan among the Tiv[?] - (Dutch Reformed) Evangelical Reformed Church of Christ[?] - (Dutch Reformed) Nigeria Reformed Church[?] - ...

 
 
 
This page was created in 48.6 ms