I am, indeed, back. July is just an approximate date; I actually mean "the final exam's date". The Exam finished on Jun 21st.
Code: Select all
#ReGatesWorld5s
!
@RULE GatesWorld5s
Yet another circuitry rule by islptng
Successor: islptng's NORworld3
with inspiration by EvinZL
@COLORS
0 0 0 0
1 96 96 96 Wire
2 96 255 255 Head
3 255 255 255 Body
4 96 0 0 Tail
@TABLE
n_states:5
neighborhood:Moore
symmetries:rotate4reflect
var a = {0,1,2,3,4}
var b = a
var c = a
var d = a
var e = a
var f = a
var g = a
var h = a
var o = {1,2,3,4}
var p = o
var q = o
var r = o
var m = o
var n = {2,3} # Non-zero state
var N = n
var z = {1,4} # Zero state
var Z = z
var s = {1,3} # Stable state
var t = {2,4} # Transitional state
var T = t
# Forced flow in crossover
o p,0,q,r,m,a,0,b p
# Tilted-Stable: XOR
s n,0,N,0,0,a,0,0 1
s n,0,z,0,0,a,0,0 3
s z,0,Z,0,0,a,0,0 1
# Tilted-Trans: AND
t n,0,N,0,0,a,0,0 2
t p,0,q,0,0,a,0,0 4
# Trans-Wire: Equivalence Flip-Flop
1 p,0,t,0,q,a,0,b 1
t 0,n,1,N,0,a,b,c 2
t 0,z,1,Z,0,a,b,c 4
t 0,p,1,q,0,a,b,c t
# Trans-Body: XORed Toggle Flip-Flop
3 p,0,t,0,q,a,0,b 3
2 0,n,3,z,0,a,b,c 4
4 0,n,3,z,0,a,b,c 2
t 0,p,3,q,0,a,b,c t
# Trans-Trans: Serial Adder
t n,0,T,0,N,a,0,b 2
t z,0,T,0,Z,a,0,b 4
t p,0,T,0,q,a,0,b t
t 0,z,4,Z,0,a,b,c 4
t 0,z,2,Z,0,a,b,c 2
t 0,n,4,N,0,a,b,c 4
t 0,n,2,N,0,a,b,c 2
t 0,n,4,z,0,a,b,c 2
t 0,n,2,z,0,a,b,c 4
# Stable-Wire: XOR
1 p,0,s,0,q,a,0,b 1
s 0,n,1,N,0,a,b,c 1
s 0,z,1,Z,0,a,b,c 1
s 0,n,1,z,0,a,b,c 3
# Stable-Head: NOR
2 p,0,s,0,q,a,0,b 2
s 0,n,2,q,0,a,b,c 1
s 0,p,2,q,0,a,b,c 3
# Stable-Body: AND
3 p,0,s,0,q,a,0,b 3
s 0,n,3,N,0,a,b,c 3
s 0,p,3,q,0,a,b,c 1
# Stable-Tail: OR
4 p,0,s,0,q,a,0,b 4
s 0,n,4,q,0,a,b,c 3
s 0,p,4,q,0,a,b,c 1
# Propagation
1 a,0,n,0,b,c,d,e 2 # Edge
1 0,n,0,a,b,c,d,e 2 # Corner
1 p,n,q,a,b,c,d,e 2 # Crossover
2 a,0,n,0,b,c,d,e 3
2 0,n,0,a,b,c,d,e 3
2 p,n,q,a,b,c,d,e 3
2 a,0,z,0,b,c,d,e 4
2 0,z,0,a,b,c,d,e 4
2 p,z,q,a,b,c,d,e 4
3 a,0,z,0,b,c,d,e 4
3 0,z,0,a,b,c,d,e 4
3 p,z,q,a,b,c,d,e 4
4 a,0,z,0,b,c,d,e 1
4 0,z,0,a,b,c,d,e 1
4 p,z,q,a,b,c,d,e 1
4 a,0,n,0,b,c,d,e 2
4 0,n,0,a,b,c,d,e 2
4 p,n,q,a,b,c,d,e 2
2 a,b,c,d,e,f,g,h 3
4 a,b,c,d,e,f,g,h 1