Codex Wiki OurBigBook logoOurBigBook.comSite Source code
A machine computes the characteristic function of a language when it halts on every input with the one-letter output for inputs in and for inputs outside .

Ancestors (7)

  1. String register machine
  2. Register machine
  3. Computability theory
  4. Foundations of mathematics
  5. Area of mathematics
  6. Mathematics
  7. Home