1# and Text Register Machines
IU Relief
Skip Navigation
1#: A Text Register Introduction to Computability Theory

1# Home
red horizontal line
Lessons
Getting Started
Arithmetic
Programs for Programs
Self-Replication
Recursion Theorems
Universal Programs
red horizontal line
red horizontal line
1# in a nutshell
Index of Programs
Definitions of Terms
Credits
Scheme Tools

There are a number of Scheme tools for 1#, including

  • An interpreter.
  • A tool to write programs that are then translated to bona fide 1# programs. The higher level programs may contain goto statements and explicit labels, so obviating the need for instruction counting.