Next: Linearly-bounded automata
Up: Turing machines
Previous: Turing machines as function
  Contents
  Index
The universal Turing machine:
All TMs of the form
may be encoded as
strings over and written, followed by the string to be
processed, into a tape. There exists a special Turing machine called
the universal Turing machine (UTM,
Hopcroft and Ullman (1979, 181), Salomaa (1973, 117)) which
will read this tape and simulate on .
Debian User
2002-01-21