BlinkerSpawn wrote:...
And what remains is:
B01[234]/S[012] (64 rules)
B0(2||3)[4]/S[0]1 (12 rules)
76 "interesting" rules pass this test for non-explosivity.
(A||B is common notation for logical OR)
EDIT: I've manually checked the group of 12 and they're all explosive and chaotic.
It is completely wrong. Please check it, no glider could exist:
Code: Select all
1:B01/SV ('B234/S01234V', 'B/S34V')
2:B01/S2V ('B234/S0134V', 'B2/S34V')
3:B01/S1V ('B234/S0234V', 'B3/S34V')
4:B01/S12V ('B234/S034V', 'B23/S34V')
5:B01/S0V ('B234/S1234V', 'B4/S34V')
6:B01/S02V ('B234/S134V', 'B24/S34V')
7:B01/S01V ('B234/S234V', 'B34/S34V')
8:B01/S012V ('B234/S34V', 'B234/S34V')
9:B014/SV ('B23/S01234V', 'B/S034V')
10:B014/S2V ('B23/S0134V', 'B2/S034V')
11:B014/S1V ('B23/S0234V', 'B3/S034V')
12:B014/S12V ('B23/S034V', 'B23/S034V')
13:B014/S0V ('B23/S1234V', 'B4/S034V')
14:B014/S02V ('B23/S134V', 'B24/S034V')
15:B014/S01V ('B23/S234V', 'B34/S034V')
16:B014/S012V ('B23/S34V', 'B234/S034V')
17:B013/SV ('B24/S01234V', 'B/S134V')
18:B013/S2V ('B24/S0134V', 'B2/S134V')
19:B013/S1V ('B24/S0234V', 'B3/S134V')
20:B013/S12V ('B24/S034V', 'B23/S134V')
21:B013/S0V ('B24/S1234V', 'B4/S134V')
22:B013/S02V ('B24/S134V', 'B24/S134V')
23:B013/S01V ('B24/S234V', 'B34/S134V')
24:B013/S012V ('B24/S34V', 'B234/S134V')
25:B0134/SV ('B2/S01234V', 'B/S0134V')
26:B0134/S2V ('B2/S0134V', 'B2/S0134V')
27:B0134/S1V ('B2/S0234V', 'B3/S0134V')
28:B0134/S12V ('B2/S034V', 'B23/S0134V')
29:B0134/S0V ('B2/S1234V', 'B4/S0134V')
30:B0134/S02V ('B2/S134V', 'B24/S0134V')
31:B0134/S01V ('B2/S234V', 'B34/S0134V')
32:B0134/S012V ('B2/S34V', 'B234/S0134V')
33:B012/SV ('B34/S01234V', 'B/S234V')
34:B012/S2V ('B34/S0134V', 'B2/S234V')
35:B012/S1V ('B34/S0234V', 'B3/S234V')
36:B012/S12V ('B34/S034V', 'B23/S234V')
37:B012/S0V ('B34/S1234V', 'B4/S234V')
38:B012/S02V ('B34/S134V', 'B24/S234V')
39:B012/S01V ('B34/S234V', 'B34/S234V')
40:B012/S012V ('B34/S34V', 'B234/S234V')
41:B0124/SV ('B3/S01234V', 'B/S0234V')
42:B0124/S2V ('B3/S0134V', 'B2/S0234V')
43:B0124/S1V ('B3/S0234V', 'B3/S0234V')
44:B0124/S12V ('B3/S034V', 'B23/S0234V')
45:B0124/S0V ('B3/S1234V', 'B4/S0234V')
46:B0124/S02V ('B3/S134V', 'B24/S0234V')
47:B0124/S01V ('B3/S234V', 'B34/S0234V')
48:B0124/S012V ('B3/S34V', 'B234/S0234V')
49:B0123/SV ('B4/S01234V', 'B/S1234V')
50:B0123/S2V ('B4/S0134V', 'B2/S1234V')
51:B0123/S1V ('B4/S0234V', 'B3/S1234V')
52:B0123/S12V ('B4/S034V', 'B23/S1234V')
53:B0123/S0V ('B4/S1234V', 'B4/S1234V')
54:B0123/S02V ('B4/S134V', 'B24/S1234V')
55:B0123/S01V ('B4/S234V', 'B34/S1234V')
56:B0123/S012V ('B4/S34V', 'B234/S1234V')
57:B01234/SV ('B/S01234V', 'B/S01234V')
58:B01234/S2V ('B/S0134V', 'B2/S01234V')
59:B01234/S1V ('B/S0234V', 'B3/S01234V')
60:B01234/S12V ('B/S034V', 'B23/S01234V')
61:B01234/S0V ('B/S1234V', 'B4/S01234V')
62:B01234/S02V ('B/S134V', 'B24/S01234V')
63:B01234/S01V ('B/S234V', 'B34/S01234V')
64:B01234/S012V ('B/S34V', 'B234/S01234V')
I am not sure in '*4V' but I am certain that finite patterns in these rules cannot escape from their bounding rectangle.
EDIT #1:
Should avoid the following 64 rules, too:
Code: Select all
$ for i in B0{,1}{,2}{,3}{,4}/S{,0}{,1}{,2}{,3}V; do echo -n "$i "; ./decodeB0rulestring.py "$i"; done | grep "'B1.*'B1" | grep -n '^'
1:B0/S3V ('B1234/S0124V', 'B1/S4V')
2:B0/S23V ('B1234/S014V', 'B12/S4V')
3:B0/S13V ('B1234/S024V', 'B13/S4V')
4:B0/S123V ('B1234/S04V', 'B123/S4V')
5:B0/S03V ('B1234/S124V', 'B14/S4V')
6:B0/S023V ('B1234/S14V', 'B124/S4V')
7:B0/S013V ('B1234/S24V', 'B134/S4V')
8:B0/S0123V ('B1234/S4V', 'B1234/S4V')
9:B04/S3V ('B123/S0124V', 'B1/S04V')
10:B04/S23V ('B123/S014V', 'B12/S04V')
11:B04/S13V ('B123/S024V', 'B13/S04V')
12:B04/S123V ('B123/S04V', 'B123/S04V')
13:B04/S03V ('B123/S124V', 'B14/S04V')
14:B04/S023V ('B123/S14V', 'B124/S04V')
15:B04/S013V ('B123/S24V', 'B134/S04V')
16:B04/S0123V ('B123/S4V', 'B1234/S04V')
17:B03/S3V ('B124/S0124V', 'B1/S14V')
18:B03/S23V ('B124/S014V', 'B12/S14V')
19:B03/S13V ('B124/S024V', 'B13/S14V')
20:B03/S123V ('B124/S04V', 'B123/S14V')
21:B03/S03V ('B124/S124V', 'B14/S14V')
22:B03/S023V ('B124/S14V', 'B124/S14V')
23:B03/S013V ('B124/S24V', 'B134/S14V')
24:B03/S0123V ('B124/S4V', 'B1234/S14V')
25:B034/S3V ('B12/S0124V', 'B1/S014V')
26:B034/S23V ('B12/S014V', 'B12/S014V')
27:B034/S13V ('B12/S024V', 'B13/S014V')
28:B034/S123V ('B12/S04V', 'B123/S014V')
29:B034/S03V ('B12/S124V', 'B14/S014V')
30:B034/S023V ('B12/S14V', 'B124/S014V')
31:B034/S013V ('B12/S24V', 'B134/S014V')
32:B034/S0123V ('B12/S4V', 'B1234/S014V')
33:B02/S3V ('B134/S0124V', 'B1/S24V')
34:B02/S23V ('B134/S014V', 'B12/S24V')
35:B02/S13V ('B134/S024V', 'B13/S24V')
36:B02/S123V ('B134/S04V', 'B123/S24V')
37:B02/S03V ('B134/S124V', 'B14/S24V')
38:B02/S023V ('B134/S14V', 'B124/S24V')
39:B02/S013V ('B134/S24V', 'B134/S24V')
40:B02/S0123V ('B134/S4V', 'B1234/S24V')
41:B024/S3V ('B13/S0124V', 'B1/S024V')
42:B024/S23V ('B13/S014V', 'B12/S024V')
43:B024/S13V ('B13/S024V', 'B13/S024V')
44:B024/S123V ('B13/S04V', 'B123/S024V')
45:B024/S03V ('B13/S124V', 'B14/S024V')
46:B024/S023V ('B13/S14V', 'B124/S024V')
47:B024/S013V ('B13/S24V', 'B134/S024V')
48:B024/S0123V ('B13/S4V', 'B1234/S024V')
49:B023/S3V ('B14/S0124V', 'B1/S124V')
50:B023/S23V ('B14/S014V', 'B12/S124V')
51:B023/S13V ('B14/S024V', 'B13/S124V')
52:B023/S123V ('B14/S04V', 'B123/S124V')
53:B023/S03V ('B14/S124V', 'B14/S124V')
54:B023/S023V ('B14/S14V', 'B124/S124V')
55:B023/S013V ('B14/S24V', 'B134/S124V')
56:B023/S0123V ('B14/S4V', 'B1234/S124V')
57:B0234/S3V ('B1/S0124V', 'B1/S0124V')
58:B0234/S23V ('B1/S014V', 'B12/S0124V')
59:B0234/S13V ('B1/S024V', 'B13/S0124V')
60:B0234/S123V ('B1/S04V', 'B123/S0124V')
61:B0234/S03V ('B1/S124V', 'B14/S0124V')
62:B0234/S023V ('B1/S14V', 'B124/S0124V')
63:B0234/S013V ('B1/S24V', 'B134/S0124V')
64:B0234/S0123V ('B1/S4V', 'B1234/S0124V')
In the above rules, all patterns will explode in all four axial directions.
Remaining 128 rules should be investigated for gliders:
Code: Select all
1:B0/SV 2:B0/S2V 3:B0/S1V 4:B0/S12V 5:B0/S0V 6:B0/S02V 7:B0/S01V 8:B0/S012V
9:B04/SV 10:B04/S2V 11:B04/S1V 12:B04/S12V 13:B04/S0V 14:B04/S02V 15:B04/S01V 16:B04/S012V
17:B03/SV 18:B03/S2V 19:B03/S1V 20:B03/S12V 21:B03/S0V 22:B03/S02V 23:B03/S01V 24:B03/S012V
25:B034/SV 26:B034/S2V 27:B034/S1V 28:B034/S12V 29:B034/S0V 30:B034/S02V 31:B034/S01V 32:B034/S012V
33:B02/SV 34:B02/S2V 35:B02/S1V 36:B02/S12V 37:B02/S0V 38:B02/S02V 39:B02/S01V 40:B02/S012V
41:B024/SV 42:B024/S2V 43:B024/S1V 44:B024/S12V 45:B024/S0V 46:B024/S02V 47:B024/S01V 48:B024/S012V
49:B023/SV 50:B023/S2V 51:B023/S1V 52:B023/S12V 53:B023/S0V 54:B023/S02V 55:B023/S01V 56:B023/S012V
57:B0234/SV 58:B0234/S2V 59:B0234/S1V 60:B0234/S12V 61:B0234/S0V 62:B0234/S02V 63:B0234/S01V 64:B0234/S012V
65:B01/S3V 66:B01/S23V 67:B01/S13V 68:B01/S123V 69:B01/S03V 70:B01/S023V 71:B01/S013V 72:B01/S0123V
73:B014/S3V 74:B014/S23V 75:B014/S13V 76:B014/S123V 77:B014/S03V 78:B014/S023V 79:B014/S013V 80:B014/S0123V
81:B013/S3V 82:B013/S23V 83:B013/S13V 84:B013/S123V 85:B013/S03V 86:B013/S023V 87:B013/S013V 88:B013/S0123V
89:B0134/S3V 90:B0134/S23V 91:B0134/S13V 92:B0134/S123V 93:B0134/S03V 94:B0134/S023V 95:B0134/S013V 96:B0134/S0123V
97:B012/S3V 98:B012/S23V 99:B012/S13V 100:B012/S123V 101:B012/S03V 102:B012/S023V 103:B012/S013V 104:B012/S0123V
105:B0124/S3V 106:B0124/S23V 107:B0124/S13V 108:B0124/S123V 109:B0124/S03V 110:B0124/S023V 111:B0124/S013V 112:B0124/S0123V
113:B0123/S3V 114:B0123/S23V 115:B0123/S13V 116:B0123/S123V 117:B0123/S03V 118:B0123/S023V 119:B0123/S013V 120:B0123/S0123V
121:B01234/S3V 122:B01234/S23V 123:B01234/S13V 124:B01234/S123V 125:B01234/S03V 126:B01234/S023V 127:B01234/S013V 128:B01234/S0123V