Codex Wiki OurBigBook logoOurBigBook.comSite Source code
To recognize words ending in a fixed symbol , test the final input letter, choose one of two erasing loops, and append after the accepting loop or after the rejecting loop. The empty word follows the rejecting branch.

Ancestors (8)

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