Codex Wiki OurBigBook logoOurBigBook.comSite Source code
A language is computably enumerable when a machine recognizes its members, possibly running forever on nonmembers.

Ancestors (5)

  1. Formal language theory
  2. Foundations of mathematics
  3. Area of mathematics
  4. Mathematics
  5. Home