Rule:TrafficFlow

@RULE TrafficFlow

State 1: Critters travelling downwards State 2: Critters travelling to the right State 3: Background allowing S1 to move State 4: Background allowing S2 to move

@TABLE n_states:5 neighborhood:Moore symmetries:none

1. "Don't care" variables

var a={0,1,2,3,4} var b={0,1,2,3,4} var c={0,1,2,3,4} var d={0,1,2,3,4} var e={0,1,2,3,4} var f={0,1,2,3,4} var g={0,1,2,3,4} var h={0,1,2,3,4}

1. "State 1 go ahead" variables

var i={0,2,3} var j={0,2,3}

1. "State 2 go ahead" variables

var k={0,1,4} var l={0,1,4}

1. State 1 Motion

1,i,a,b,c,3,d,e,f,4 1,1,a,b,c,3,d,e,f,4 3,1,a,b,c,1,d,e,f,1 3,1,a,b,c,j,d,e,f,1

1. State 2 Motion

2,a,b,4,c,d,e,k,f,3 2,a,b,4,c,d,e,2,f,3 4,a,b,2,c,d,e,2,f,2 4,a,b,l,c,d,e,2,f,2

1. Background

3,a,b,c,d,e,f,g,h,4 4,a,b,c,d,e,f,g,h,3