Rule:B-UnivL/oldname
@RULE B-UnivL
- State 1 is wire
- State 2 is turn right signal
- State 3 is signal tail
- State 4 is turn left signal
- State 5 is the arm
- State 6 is retract signal
- State 7 is extend signal
@TABLE n_states:8 neighborhood:Moore symmetries:rotate4 var s = {2,4,6,7} var s1 = {2,4,6,7} var ts = {2,4} var a1 = {0,1,2,3,4,5,6,7} var a2 = {0,1,2,3,4,5,6,7} var a3 = {0,1,2,3,4,5,6,7} var a4 = {0,1,2,3,4,5,6,7} var a5 = {0,1,2,3,4,5,6,7} var a6 = {0,1,2,3,4,5,6,7} var a7 = {0,1,2,3,4,5,6,7} var a8 = {0,1,2,3,4,5,6,7} var w1 = {0,1,3,5} var w2 = {0,1,3,5} var w3 = {0,1,3,5} var w4 = {0,1,3,5} var w5 = {0,1,3,5} var w6 = {0,1,3,5} var w7 = {0,1,3,5} var w8 = {0,1,3,5} var l1 = {0,1} var l2 = {0,1}
w1,a1,4,7,a2,a3,a4,a5,a6,7 7,4,a1,a2,a3,a4,a5,a6,a7,4
0,5,4,a1,a2,a3,a4,a5,0,5 0,a1,2,5,a2,a3,a4,a5,0,5 0,6,5,w1,w2,w3,w4,w5,5,1 5,ts,0,5,0,0,0,0,0,1 5,ts,0,0,0,0,0,5,0,1 5,5,s,w1,w2,w3,w4,w5,w6,5 1,s,w1,w2,a3,w4,a5,w6,w7,s 3,1,a1,a2,5,6,5,a3,a4,5 6,3,w1,w2,w3,5,w4,w5,w6,5 7,5,a1,a2,a3,a4,a5,a6,a7,3 s,1,a1,a2,a3,a4,a5,a6,a7,3 3,a1,a2,a3,a4,a5,a6,a7,a8,1 5,7,a1,a2,a3,a4,a5,a6,a7,7 5,6,a1,a2,a3,a4,a5,a6,a7,0 0,7,0,a1,a2,a3,a4,a5,0,5 6,0,a1,a2,a3,a4,a5,a6,a7,0 s,0,a1,a2,a3,a4,a5,a6,a7,1
@COLORS 1 0 0 255 2 0 255 0 3 255 0 0 4 255 255 0 5 255 0 255 6 255 255 255 7 0 255 255