CM317 Lecture Notes

4. Computation is Formal Symbol Manipulation

4.1  Turing Machines, Symbol Systems

A Turing Machine (TM) is a mindless symbol manipulating System that manipulates symbols using rules based on the symbols' shapes, not the symbols' meanings.  (It is useful to keep in mind that a TM is mindless, and that it is guided by symbol-shape and not symbol-meaning!)