.
authorThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Sat, 11 Jul 2026 15:58:43 +0000 (15:58 +0000)
committerThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Sat, 11 Jul 2026 15:58:43 +0000 (15:58 +0000)
document/TM-2026.html

index 8a3caed..eb8fae4 100644 (file)
         <li>a read only empty symbol, <RT·term>□</RT·term>, that instances can be made from</li>
         <li>a read only <RT·term>control alphabet</RT·term> consisting of the symbol <RT·code>leftmost</RT·code>, from which instances can be made</li>
         <li>a read writable <RT·term>current state</RT·term> reference variable, points into the custom defined program controller</li>
-        <li>a fixed hardware <RT·term>comparator</RT·term> to evaluate state and symbol equivalencies</li>
-        <li>a <RT·term>tape transport unit</RT·term>, AKA <RT·term>TTU</RT·term>from which tapes can be mounted and unmounted, and has one read/write <RT·term>head</RT·term>. Multiple TTUs can be plugged in, per TTU:
+        <li>a fixed hardware <RT·term>halt state comparator</RT·term></li>
+        <li>a <RT·term>tape transport unit</RT·term>, AKA <RT·term>TTU</RT·term>from which tapes can be mounted and unmounted. Multiple TTUs can be plugged in, per TTU:
         <ul>
-          <li>a single symbol FIFO <RT·term>data buffer</RT·term>, written by the tape transport, read by the programmable controller</li>
+          <li>a read/write <RT·term>head</RT·term>
+          <li>a single symbol FIFO <RT·term>read data buffer</RT·term>, written by the tape transport, read by the programmable controller</li>
           <li>a single symbol FIFO <RT·term>status buffer</RT·term>, written by the tape transport, read by the programmable controller</li>
         </ul></li>
       </ul>
 
         <li>a constant <RT·term>operation procedure</RT·term> where each step of the procedure can be referenced</li>
         <li>a read writable <RT·term>operation procedure step reference counter</RT·term></li>
-        <li>a <RT·term>reset button</RT·term> that activates logic that initializes the machine</li>
+        <li>a <RT·term>reset button</RT·term> that activates logic that initializes the machine.</li>
         <li>a read only <RT·term>clock</RT·term> to synchronize control and to cause counting until the halt state is reached.</li>
 
-      <p>Purchased separately.
+      <p>Purchased separately:
 
       <ul>
         <li>an immutable structure <RT·term>tape</RT·term> consisting of cells, where each cell can be read and written. Single ended. For mounting on a TTU. Discount when purchased in lots of 10.</li>
       </ul>
 
       <ul>
-        <li>Universal Turing machine package, consisting of the Universal Turing Machine controller and auxiliary alphabet. Comes with tapes containing example programs</li>
+        <li>Universal Turing machine package, consisting of the Universal Turing Machine controller programmable controller, and auxiliary alphabet. Comes with tapes containing example programs.</li>
       </ul>
 
       <p>Each highlighted term is a short name for the associated item.</p>