Rule:Univ1234
@RULE Univ1234
Designed to be TC and CU. 1 -> One ruleset 2 -> Two kinds of wire 3 -> Three kinds of signal 4 -> Quaternary logic by islptng
1: Wire A 2: Tail A 3: Signal Same A 4: Signal Different A 5: Signal Neutral A 6: Wire B 7: Tail B 8: Signal Same B 9: Signal Different B 10: Signal Neutral B 11: Marker 12: Smoke 13-15: Reader
@TABLE n_states:16 neighborhood:Moore symmetries:rotate4reflect
var any0 = {0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15} var any1 = any0 var any2 = any0 var any3 = any0 var any4 = any0 var any5 = any0 var any6 = any0 var any7 = any0
- Construct arm
- Extend
0,2,3,0,0,0,0,0,12,12 0,2,3,0,0,0,0,0,0,12 0,3,2,0,0,0,0,0,0,12 12,12,2,1,0,0,0,0,0,1 12,12,1,2,0,0,0,0,0,1 2,12,12,1,1,0,0,0,0,0
- Turn 90 deg
0,2,4,1,0,0,0,0,1,12 0,4,12,0,0,0,0,0,0,12 0,12,4,0,0,0,0,0,0,12 12,12,2,0,0,0,0,0,0,1 12,2,0,12,0,0,0,0,0,1
- Hand 1
0,2,5,1,0,0,0,0,1,12 2,5,12,1,0,0,0,0,0,11
- Change direction
1,11,3,0,0,0,0,0,0,0 11,1,0,3,0,0,0,0,0,1
- Retract
0,1,11,4,2,0,0,0,0,12 1,11,2,12,0,0,0,0,0,0 11,2,12,1,0,0,0,0,0,0 12,1,11,2,1,0,0,0,0,1
- Retract turning
0,1,5,2,1,1,any0,0,0,12 0,1,11,4,2,1,1,0,0,12 11,7,0,2,12,1,0,0,0,0
- Hand 2
11,1,0,5,0,0,0,0,0,5 1,11,5,0,0,0,0,0,0,11 0,11,5,2,1,0,0,0,0,12 0,11,12,0,any0,any1,any2,0,0,11 11,2,1,12,0,0,0,0,0,1 11,1,1,0,0,0,0,0,0,0
- Set Cell (A)
0,11,3,0,0,0,any0,any1,any2,2 2,11,2,0,0,0,any0,any1,any2,0 11,2,0,2,0,2,any0,any1,any2,0 0,any0,2,11,2,any1,any2,any3,any4,1 1,any0,2,11,2,any1,any2,any3,any4,0 6,any0,2,11,2,any1,any2,any3,any4,0
- Set Cell (B)
0,11,4,0,0,0,any0,any1,any2,7 7,11,2,0,0,0,any0,any1,any2,0 11,7,0,2,0,7,any0,any1,any2,0 0,any0,7,11,7,any1,any2,any3,any4,6 1,any0,7,11,7,any1,any2,any3,any4,0 6,any0,7,11,7,any1,any2,any3,any4,0
- Read Cell
11,5,0,0,any0,0,any1,0,0,13 11,5,0,0,any0,1,any1,0,0,14 11,5,0,0,any0,6,any1,0,0,15 13,any0,any1,any2,any3,any4,any5,any6,any7,12 14,any0,any1,any2,any3,any4,any5,any6,any7,12 15,any0,any1,any2,any3,any4,any5,any6,any7,12 2,1,1,0,0,13,0,0,0,5 2,1,1,0,0,14,0,0,0,3 2,1,1,0,0,15,0,0,0,4 0,0,1,3,12,0,0,0,0,12
- Construct arm B
- Extend
0,7,8,0,0,0,0,0,12,12 0,7,8,0,0,0,0,0,0,12 0,8,7,0,0,0,0,0,0,12 12,12,7,6,0,0,0,0,0,6 12,12,6,7,0,0,0,0,0,6 7,12,12,6,6,0,0,0,0,0
- Turn 90 deg
0,7,9,6,0,0,0,0,6,12 0,9,12,0,0,0,0,0,0,12 0,12,9,0,0,0,0,0,0,12 12,12,7,0,0,0,0,0,0,6 12,7,0,12,0,0,0,0,0,6
- Hand 1
0,7,10,6,0,0,0,0,6,12 7,10,12,6,0,0,0,0,0,11
- Change direction
6,11,8,0,0,0,0,0,0,0 11,6,0,8,0,0,0,0,0,6
- Retract
0,6,11,9,7,0,0,0,0,12 6,11,7,12,0,0,0,0,0,0 11,7,12,6,0,0,0,0,0,0 12,6,11,7,6,0,0,0,0,6
- Retract turning
0,6,10,7,6,6,any0,0,0,12 0,6,11,9,7,6,6,0,0,12 11,2,0,7,12,6,0,0,0,0
- Hand 2
11,6,0,10,0,0,0,0,0,10 6,11,10,0,0,0,0,0,0,11 0,11,10,7,6,0,0,0,0,12 0,11,12,0,any0,any1,any2,0,0,11 11,7,6,12,0,0,0,0,0,6 11,6,6,0,0,0,0,0,0,0
- Set Cell (A)
0,11,9,0,0,0,any0,any1,any2,2 11,2,0,7,0,2,any0,any1,any2,0 2,11,7,0,0,0,any0,any1,any2,0
- Set Cell (B)
0,11,8,0,0,0,any0,any1,any2,7 11,7,0,7,0,7,any0,any1,any2,0 7,11,7,0,0,0,any0,any1,any2,0
- Read Cell
11,10,0,0,any0,0,any1,0,0,13 11,10,0,0,any0,1,any1,0,0,14 11,10,0,0,any0,6,any1,0,0,15 13,any0,any1,any2,any3,any4,any5,any6,any7,12 14,any0,any1,any2,any3,any4,any5,any6,any7,12 15,any0,any1,any2,any3,any4,any5,any6,any7,12 7,6,6,0,0,13,0,0,0,10 7,6,6,0,0,14,0,0,0,9 7,6,6,0,0,15,0,0,0,8 0,0,6,8,12,0,0,0,0,12
- Injection
1,11,2,0,0,0,0,1,0,3 1,11,7,0,0,0,0,1,0,4 6,11,2,0,0,0,0,6,0,9 6,11,7,0,0,0,0,6,0,8
- Default 12 Become 0
12,any0,any1,any2,any3,any4,any5,any6,any7,0
- ExpBt32 propagation
var a = {0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15} var b = a var c = a var d = a var bsig = {3,4,5} var wsig = {8,9,10} var p = {0,1,2,6,7,11,12,13,14,15} var q = p var r = p bsig,a,any0,b,any1,c,any2,d,any3,2 2,a,any0,b,any1,c,any2,d,any3,1 wsig,a,any0,b,any1,c,any2,d,any3,7 7,a,any0,b,any1,c,any2,d,any3,6 1,bsig,any0,p,any1,q,any2,r,any3,bsig 6,wsig,any0,p,any1,q,any2,r,any3,wsig 1,8,any0,8,any1,p,any2,q,any3,4 1,8,any0,p,any1,8,any2,q,any3,4 1,9,any0,9,any1,p,any2,q,any3,5 1,9,any0,p,any1,9,any2,q,any3,5 1,10,any0,10,any1,p,any2,q,any3,3 1,10,any0,p,any1,10,any2,q,any3,3 6,3,any0,3,any1,p,any2,q,any3,9 6,3,any0,p,any1,3,any2,q,any3,9 6,4,any0,4,any1,p,any2,q,any3,10 6,4,any0,p,any1,4,any2,q,any3,10 6,5,any0,5,any1,p,any2,q,any3,8 6,5,any0,p,any1,5,any2,q,any3,8 1,4,any0,8,any1,p,any2,q,any3,5 1,5,any0,8,any1,p,any2,q,any3,3 1,3,any0,8,any1,p,any2,q,any3,3 6,9,any0,3,any1,p,any2,q,any3,10 6,10,any0,3,any1,p,any2,q,any3,8 6,8,any0,3,any1,p,any2,q,any3,8
@COLORS
0 128 128 128 1 0 0 0 2 0 128 128 3 0 0 255 4 0 255 0 5 0 255 255 6 255 255 255 7 164 108 0 8 255 255 0 9 255 0 0
10 255 128 0 11 255 0 255 12 64 64 64 13 128 128 255 14 128 128 255 15 128 128 255