Rule:B-Univ-Original
@RULE B-Univ-Original
- 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 b1 = {0,5} var b2 = {0,5} var b3 = {0,5} var b4 = {0,5} var b5 = {0,5} var b6 = {0,5} var b7 = {0,5} var l1 = {0,3} var l2 = {0,3} var l3 = {0,3} var l4 = {0,3} var l5 = {0,3} var l6 = {0,3} var l7 = {0,3} var l8 = {0,3} 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 0,3,0,3,0,0,0,0,0,3 0,0,3,3,0,0,0,0,0,3 5,5,b1,b2,b3,b4,b5,b6,b7,0 5,b1,5,b2,b3,b4,b5,b6,b7,0 5,ts,0,5,a1,0,a2,0,0,1 5,ts,0,0,a1,0,a2,5,0,1 5,5,s,w1,w2,w3,w4,w5,w6,5 1,0,1,1,1,1,1,1,1,0 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