From: Thomas Walker Lynch Date: Sat, 25 Jul 2026 09:40:40 +0000 (+0000) Subject: completes CPCU section revision X-Git-Url: https://git.reasoningtechnology.com/%5B%5E?a=commitdiff_plain;h=42598e1d71b15b688c3b4928c7be26df9d705ef9;p=TM-2026 completes CPCU section revision --- diff --git a/document/book/TM-2026.html b/document/book/TM-2026.html index c97ab94..520f5cf 100644 --- a/document/book/TM-2026.html +++ b/document/book/TM-2026.html @@ -1291,34 +1291,34 @@

For the first three commands, the head argument multiplexes the command to the specified head. If the TTU has one head, the head argument is optional. The last two commands cause the tape to be moved such that, relatively, the head moves left or right by one cell.

+

The customer programmed control unit, CPCU

-

The customer programmed control unit, CPCU

- -

The controller is programmed via patch panels. The panels would look something like what is shown in the following ASCII art blocks. Note that {*} indicates an illuminated indicator light, whereas { } is not illuminated. [/] represents an open toggle switch, while [\] is a closed one. ( ) represents a hole for a banana plug. Each patch cord has a banana plug on each end. The patch cords should not cross between panels.

+

The controller is programmed via patch panels. The panels would look something like what is shown in the following ASCII art blocks. Note that ● indicates an illuminated indicator light, whereas ○ is not illuminated. [/] represents an open toggle switch, while [—] is a closed one. {*} is a pushed button, while { } is a button that is not pushed. ( ) represents a hole for a banana plug. Each patch cord has a banana plug on each end. Plugging a patch cord between separate panels will void the warranty.

- 
-                            [ CONTROL PANEL ]
-                +-----------------------------------------+
-                | {o} POWER  [/] Toggle ( ) RESET [Btn]   |
-                | { } RUN    [/] Toggle (*) STEP [Btn]    |
-                +-----------------------------------------+
+                          [ CONTROL PANEL ]
+                +-----------------------------------+
+                | POWER [—]  ●  RESET { }           |
+                +-----------------------------------+
+                +-----------------------------------+
+                | RUN/STEP [/]  ○  STEP { }         |
+                +-----------------------------------+
- + 
                               [ State Transition Table ]
                          +-----------------------------------+
            current state | S0    S1    S2    S3    S4    S5  |
-        indicator lights | {*}   { }   { }   { }   { }   { } |
+        indicator lights |  ●     ○     ○     ○     ○     ○  |
          halting toggles | [/]   [/]   [/]   [/]   [/]   [/] |
                          +-----------------------------------+
-      { } g0 (Empty)  g0 | ( )   ( )   ( )   ( )   ( )   ( ) |
-      {*} g1 (Sym 0)  g1 | ( )   ( )   ( )   ( )   ( )   ( ) |
-      { } g2 (Sym 1)  g2 | ( )   ( )   ( )   ( )   ( )   ( ) |
-      { } g3 (Mark *) g3 | ( )   ( )   ( )   ( )   ( )   ( ) |
-      { } g4          g4 | ( )   ( )   ( )   ( )   ( )   ( ) |
+            ● g0 (Sym 0) | ( )   ( )   ( )   ( )   ( )   ( ) |
+            ○ g1 (Sym 1) | ( )   ( )   ( )   ( )   ( )   ( ) |
+            ○ g2 (Sym 2) | ( )   ( )   ( )   ( )   ( )   ( ) |
+            ○ g3 (Sym 3) | ( )   ( )   ( )   ( )   ( )   ( ) |
+            ○ g4 (Sym 4) | ( )   ( )   ( )   ( )   ( )   ( ) |
                          |                                   |
        destination state | ( )   ( )   ( )   ( )   ( )   ( ) |
                          | ( )   ( )   ( )   ( )   ( )   ( ) |
@@ -1344,32 +1344,33 @@
           write_σ  | ( )   ( )   ( )   ( )   ( )   ( ) |
                    +-----------------------------------+
- + 
                         [ Sigma Select for write_σ ]
                    +-----------------------------------+
                    | S0    S1    S2    S3    S4    S5  |
                Src | ( )   ( )   ( )   ( )   ( )   ( ) |
                    +-----------------------------------+
-                g0 | ( )   ( )   ( )   ( )   ( )   ( ) |
-                g1 | ( )   ( )   ( )   ( )   ( )   ( ) |
-                g2 | ( )   ( )   ( )   ( )   ( )   ( ) |
-                g3 | ( )   ( )   ( )   ( )   ( )   ( ) |
-                g4 | ( )   ( )   ( )   ( )   ( )   ( ) |
+        g0 (Sym 0) | ( )   ( )   ( )   ( )   ( )   ( ) |
+        g1 (Sym 1) | ( )   ( )   ( )   ( )   ( )   ( ) |
+        g2 (Sym 2) | ( )   ( )   ( )   ( )   ( )   ( ) |
+        g3 (Sym 3) | ( )   ( )   ( )   ( )   ( )   ( ) |
+        g4 (Sym 4) | ( )   ( )   ( )   ( )   ( )   ( ) |
                    +-----------------------------------+
-

The top section has two toggle switches. One turns the machine on, and the other selects run or single-step mode. Immediately to the left of the two toggles are indicator lights. To the right of the toggle switches are two push buttons. One is for reset, which sends the machine back to state S_0, and the other is for stepping the machine when it is in single-step mode.

+

The top section has two toggle switches. One turns the machine on, and the other selects run or single-step mode. Immediately to the right of the two toggles are indicator lights. To the right of the indicator lights are two push buttons. One is for reset, which sends the machine back to state S_0, and the other is for stepping the machine when it is in single-step mode.

-

The second section is the transition condition panel. It is a rectangular matrix of holes that fit the banana plug ends of a patch cord. Each column corresponds to a current state, and each row corresponds to a gate symbol.

+

The second section is the state transition panel. At the top of this panel are the state indicator lights and a row of halting toggles; if flipped closed, the corresponding state becomes a halting state. Below this is the transition condition matrix, consisting of holes that fit the banana plug ends of a patch cord. Each column corresponds to a current state, and each row corresponds to a gate symbol.

-

Below the transition condition panel is the destination state panel. All three rows of this panel are functionally identical; they merely provide physical space so multiple patch cords can be plugged into a single state column.

+

Below the transition condition matrix is the destination state panel. All three rows of this panel are functionally identical; they merely provide physical space so multiple patch cords can be plugged into a single state column.

Below the destination state panel are the default state transition panels. There is one for the state default transition, and one for the global default transition, as described by the computation theoretic TTCA machine.

-

To program the controller, the programmer connects the patch cords. Shown in the diagram is a patch cord routing from the (S_2, g_2) intersection to S_3. This physically realizes a state transition arc for the controller. If the active gating value has no patch cord plugged in, the machine instead uses the state default transition. For a state default transition, a patch cord is plugged into the column for the current state on the default transition panel and routed to the desired next state. Finally, if no patch cord is plugged in that would otherwise define the next state, the global default patch cord is followed.

+

To program the controller, the programmer connects the patch cords. For example, routing a patch cord from the (S_2, g_2) intersection to S_3 physically realizes a state transition arc for the controller. If the active gating value has no patch cord plugged in, the machine instead uses the state default transition. For a state default transition, a patch cord is plugged into the column for the current state on the default transition panel and routed to the desired next state. Finally, if no patch cord is plugged in that would otherwise define the next state, the global default patch cord is followed.

+ +

Below the transition panel are the action selection and symbol selection panels. To enforce the rule that each state executes exactly one action, each state column on the action panel features a single source hole at the top. The programmer routes a patch cord from this source hole down to the desired action row. If the selected action requires a symbol argument, such as write_σ, a similar routing is performed on the bottom symbol selection panel. Note that this describes the control panel for a single-head, single-TTU machine. Additional patch options would be required to add a TTU device specifier and a head specifier within each TTU.

-

Not shown in this diagram is a row of toggle switches, one per state; if flipped on, the corresponding state becomes a halting state. Also omitted is the action selection panel. It is another rectangular matrix, with rows for actions and columns for the states, allowing each state to be assigned to a specific machine action. Note that this describes the control panel for a single-head, single-TTU machine. Additional patch options would be required to add a TTU device specifier and a head specifier within each TTU.

The machine block diagram