|
<pre>
RUN ∆INCREMENTER 'QA' 'QB' '111' 'B'
1111 4
RUN ∆BEAVER 'QA' 'QD' '0' '0'
111111 4
</pre>
<pre>
┌───────────────────────────────────────────┐
│ ┌───┐ ┌─────────┬─────────────┐ │
│ │ Q │◁───────▷│ QA . SA │ SB ← ↑ → QB │ │
│ └─┬─┘ ├─────────┼─────────────┤ │
│ │ j ─▷│ ... │ ... │ │
│ ▽ │ └─────────┴─────────────┘ │
│ (H)alt ┌───────────────────────────────┐ │
│ │ F: Q\H x A -> A x {← ↑ →} x Q │ │
│ └───────────────────────────────┘ │
└──────────────────── i ──────────────────┘
∇
┌───────────────────────────────────────────────────┐
│ ... (B)lank / (A)lphabet ... │
└───────────────────────────────────────────────────┘
(T)ape
* Hopcroft & Ullman Created with Monodraw
</pre>
|