Rule:Codd-ICRA

@RULE Codd-ICRA

@TABLE

1. Codd-ICRA rule table

n_states:8 neighborhood:vonNeumann symmetries:rotate4

var a={0,1,2,3,4,5,6,7} var b={0,1,2,3,4,5,6,7} var c={0,1,2,3,4,5,6,7} var d={0,1,2,3,4,5,6,7}

1. Note: In the original rule table, it says 'even'.
2. I believe that this should say 'odd'.

var e={1,3,5,7}

1. TJH added some extra cases for collisions between sheathing-signals:
2. (see top of file)
3. for 2-way collisions:

0,0,6,6,2,2 # sh 0,6,6,0,2,2 # sh (reflected form of above)

1. for 3-way collisions:

1,6,6,6,0,6 # sh

1. TJH added some extra cases to allow sense after extend_left
2. (sense after extend_right works, and is used on the program tape)

2,0,0,3,4,3 0,0,3,1,2,1 # path end self-repair

1. Original rule table

0,0,0,0,6,2 0,0,0,0,7,3 0,0,0,1,5,3 0,0,0,1,6,2 0,0,0,2,5,2 0,0,0,2,6,2 0,0,0,4,2,2 0,0,0,5,1,3 0,0,0,6,1,2 0,0,0,6,2,2 0,0,0,6,6,2 0,0,1,0,6,2 0,0,1,0,7,3 0,0,1,1,6,2 0,0,1,2,6,2 0,0,1,6,1,2 0,0,1,6,2,2 0,0,1,6,6,2 0,0,2,0,6,2 0,0,2,0,7,3 0,0,2,1,3,1 0,0,2,2,6,2 0,0,2,2,7,1 0,0,2,6,1,2 0,0,2,6,2,2 0,0,2,7,2,1 0,0,3,6,3,1 0,0,6,1,1,2 0,0,6,2,1,2 0,0,6,2,2,2 0,0,6,2,6,2 0,0,6,6,1,2 0,0,7,2,2,1

0,1,1,1,6,2 0,1,1,2,4,1 0,1,1,2,5,1 0,1,1,2,6,1 0,1,1,2,7,1 0,1,1,4,2,1 0,1,1,5,2,1 0,1,1,6,2,1 0,1,1,6,6,2

0,1,2,1,2,1 0,1,2,1,4,1 0,1,2,1,5,1 0,1,2,1,6,1 0,1,2,1,7,1 0,1,2,2,2,7 0,1,2,2,3,1 0,1,2,2,4,1 0,1,2,2,5,1 0,1,2,2,6,1 0,1,2,2,7,1 0,1,2,3,2,6 0,1,2,3,5,1 0,1,2,4,2,1 0,1,2,4,4,1 0,1,2,5,2,1 0,1,2,5,3,1 0,1,2,5,5,1 0,1,2,6,2,1 0,1,2,6,6,1 0,1,2,7,2,1 0,1,2,7,3,1 0,1,2,7,7,1

0,1,3,1,3,1 0,1,3,2,2,1 0,1,3,2,4,1 0,1,3,4,2,1 0,1,3,5,2,1 0,1,3,6,2,1 0,1,3,6,3,1 0,1,3,7,2,1 0,1,3,7,3,1

0,1,4,2,2,1 0,1,4,2,4,1 0,1,4,3,2,1 0,1,4,4,2,1

0,1,5,2,2,1 0,1,5,2,3,1 0,1,5,2,5,1 0,1,5,3,2,1 0,1,5,5,2,1

0,1,6,1,6,1 0,1,6,2,2,1 0,1,6,2,6,1 0,1,6,6,2,1 0,1,6,6,6,1

0,1,7,1,7,1 0,1,7,2,2,1 0,1,7,2,7,1 0,1,7,7,2,1 0,1,7,7,7,1

0,2,2,2,6,2 0,2,2,6,6,2

1,0,0,0,4,0 1,0,0,0,6,6 1,0,0,0,7,3 1,0,0,1,4,0 1,0,0,1,6,6 1,0,0,1,7,2 1,0,0,2,4,4 1,0,0,2,6,6 1,0,0,3,6,6 1,0,0,4,1,0 1,0,0,5,2,5 1,0,0,6,1,6 1,0,0,6,2,6 1,0,0,6,3,6 1,0,0,6,6,6 1,0,0,7,1,7

1,0,1,0,4,0 1,0,1,0,5,5 1,0,1,0,6,6 1,0,1,0,7,2 1,0,1,1,4,0 1,0,1,1,6,6 1,0,1,2,6,6 1,0,1,4,1,0 1,0,1,6,1,6 1,0,1,6,2,6 1,0,1,6,6,6

1,0,2,2,6,6 1,0,2,2,7,7 1,0,2,4,2,4 1,0,2,4,3,4 1,0,2,5,2,5 1,0,2,5,3,5 1,0,2,6,1,6 1,0,2,6,2,6 1,0,2,6,3,6 1,0,2,7,2,7 1,0,2,7,3,7

1,0,3,4,2,4 1,0,3,4,3,4 1,0,3,5,2,5 1,0,3,5,3,5 1,0,3,6,2,6 1,0,3,6,3,6 1,0,3,7,2,7 1,0,3,7,3,7

1,0,4,1,1,0

1,0,6,0,6,6 1,0,6,1,1,6 1,0,6,1,6,6 1,0,6,2,1,6 1,0,6,2,2,6 1,0,6,2,6,6 1,0,6,6,1,6

1,0,7,2,2,7

1,1,1,1,4,0 1,1,1,1,5,6 1,1,1,1,6,6 1,1,1,1,7,7 1,1,1,2,4,4 1,1,1,2,5,5 1,1,1,2,6,6 1,1,1,2,7,7 1,1,1,4,2,4 1,1,1,5,2,5 1,1,1,6,2,6 1,1,1,6,6,3 1,1,1,7,2,7 1,1,1,7,7,3

1,1,2,1,4,4 1,1,2,1,5,5 1,1,2,1,6,6 1,1,2,1,7,7 1,1,2,2,4,4 1,1,2,2,5,5 1,1,2,2,6,6 1,1,2,2,7,7 1,1,2,4,2,4 1,1,2,4,3,4 1,1,2,4,4,5 1,1,2,5,2,5 1,1,2,5,3,5 1,1,2,5,5,6 1,1,2,6,2,6 1,1,2,6,3,6 1,1,2,6,6,6 1,1,2,7,2,7 1,1,2,7,3,7 1,1,2,7,7,4

1,1,3,4,3,7 1,1,3,5,3,7 1,1,3,6,3,7 1,1,3,7,3,7 1,1,4,2,2,4 1,1,4,2,4,5 1,1,4,4,2,5 1,1,5,2,2,5 1,1,5,2,5,6 1,1,5,5,2,6 1,1,6,1,6,6 1,1,6,2,2,6 1,1,6,2,6,6 1,1,6,6,2,6 1,1,6,6,6,3

1,1,7,1,7,7 1,1,7,2,2,7 1,1,7,2,7,4 1,1,7,7,2,4 1,1,7,7,7,3

1,2,2,2,4,4 1,2,2,2,5,5 1,2,2,2,6,6 1,2,2,2,7,7 1,2,2,3,4,4 1,2,2,3,5,5 1,2,2,3,6,6 1,2,2,3,7,7 1,2,2,4,3,4 1,2,2,4,4,4 1,2,2,5,3,5 1,2,2,5,5,5 1,2,2,6,3,6 1,2,2,6,6,6 1,2,2,7,3,7 1,2,2,7,7,3

1,2,3,2,4,4 1,2,3,2,5,5 1,2,3,2,6,6 1,2,3,2,7,7 1,2,3,3,4,4 1,2,3,3,5,5 1,2,3,3,6,6 1,2,3,3,7,7 1,2,3,4,3,4 1,2,3,5,3,5 1,2,3,6,3,6 1,2,3,7,3,7

1,2,4,2,4,4 1,2,4,3,3,4

1,2,5,2,5,5 1,2,5,3,3,5

1,2,6,2,6,6 1,2,6,3,3,6

1,2,7,2,7,7 1,2,7,3,3,7

1,3,3,3,4,4 1,3,3,3,5,5 1,3,3,3,6,6 1,3,3,3,7,7

2,0,0,0,6,0 2,0,0,0,7,1 2,0,0,1,7,1 2,0,0,2,5,3 2,0,0,4,2,3 2,0,0,7,1,1

2,0,1,0,6,0 2,0,1,0,7,1 2,0,1,1,7,1 2,0,1,4,2,3 2,0,1,7,1,1

2,0,2,0,6,0 2,0,2,0,7,3 2,0,2,5,1,3

2,0,3,0,6,3 2,0,3,0,7,3

2,0,7,1,1,1

2,1,1,1,7,1 2,1,1,1,7,1

2,1,2,3,2,3

2,2,3,2,4,3 2,2,3,2,5,3 2,2,3,2,6,3 2,2,3,2,7,3

3,0,0,0,2,2 3,0,0,0,6,1 3,0,0,2,5,1 3,0,0,2,6,0 3,0,0,2,7,0 3,0,0,4,2,1 3,0,0,6,2,0 3,0,0,7,2,0

3,0,1,0,2,2 3,0,1,0,3,0 3,0,1,0,6,4 3,0,1,0,7,7 3,0,1,1,1,1 3,0,1,6,2,0 3,0,1,7,2,0 3,0,2,6,1,0 3,0,2,7,1,0

3,1,1,1,1,1 3,1,2,3,2,2

3,2,3,2,4,2 3,2,3,2,5,2 3,2,3,2,6,2 3,2,3,2,7,2

1. Special rules

4,a,b,c,1,0 4,a,b,c,d,1

5,a,b,c,1,0 5,a,b,c,d,1

6,a,b,c,e,0 6,a,b,c,d,1

7,a,b,c,e,0 7,a,b,c,d,1