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!)