AbstractMachine/Text.txt at main · supthos/AbstractMachine · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
add one, successor:
load name iszero write 1
load name isone write 0 right call addone left
load name addone branch 0 iszero isone
call addone

left add one:
load name iszero write 1
load name wasone write 0 left call laddone right
load name laddone branch 0 iszero wasone
call laddone

subtract one, predecessor:
load name a write false
load name b write true right call subone left
load name subone branch true a b
call subone


3-state Busy Beaver:
reset
load name subao write 1 left call b
load name subai write 1 right call c
load name a branch 0 subao subai
load name subbo write 1 right call a
load name subbi write 1 left call b
load name b branch 0 subbo subbi
load name subco write 1 right call b
load name subci write 1 end
load name c branch 0 subco subci
call a


Recursive addition:
load name iszero write 1
load name isone write 0 right call addone left
load name addone branch 0 iszero isone
load name recadd call addone end call recadd
call recadd