Universal Turing machine: Difference between revisions
→APL
Cyril Nocton (talk | contribs) No edit summary |
Cyril Nocton (talk | contribs) (→APL) |
||
Line 761:
=={{header|APL}}==
===1.===
{{works with|Dyalog APL}}
<syntaxhighlight lang="apl">:Namespace Turing
Line 843 ⟶ 844:
2_ThreeStateBeaver: 111111
3_FiveStateBeaver: 10100100100100100100100100100100... (total length: 12289)</pre>
===2.===
<syntaxhighlight lang="lisp">
∆I ←'QA.1' '1' 'R' 'QA'
∆I,←'QA.B' '1' 'N' 'QB'
∆INCREMENTER←∆I
∆B ←'QA.0' '1' 'R' 'QB'
∆B,←'QA.1' '1' 'L' 'QC'
∆B,←'QB.0' '1' 'L' 'QA'
∆B,←'QB.1' '1' 'R' 'QB'
∆B,←'QC.0' '1' 'L' 'QB'
∆B,←'QC.1' '1' 'N' 'QD'
∆BEAVER←∆B
∇ R←RUN(F Q H T B);I;J
I←1 ⋄ T←,T
L:→(Q≡H)/E
J←⍸(Q,'.',T[I])∘≡¨F
T[I]←F[J+1]
I←I+2-'RNL'⍳F[J+2]
Q←⊃F[J+3]
T←((I<1)⍴B),T,(I>⍴T)⍴B
I←I+I=0
→L
E:R←T
</syntaxhighlight>
{{out}}
<pre>
RUN ∆INCREMENTER 'QA' 'QB' '111' 'B'
1111
RUN ∆BEAVER 'QA' 'QD' '0' '0'
111111
</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
=={{header|AutoHotkey}}==
| |||