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

red horizontal line
red horizontal line
red horizontal line
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.