-
Notifications
You must be signed in to change notification settings - Fork 0
/
rule31PAR.ma
74 lines (69 loc) · 4.8 KB
/
rule31PAR.ma
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
%/*******************************************************************
%*
%* DESCRIPTION: building RNG model using new CD++ for rule 31,
%*
%* AUTHOR: Abdulelah Alsanad
%*
%* EMAIL: [email protected]
%*
%* DATE: 1/12/2005
%*
%*******************************************************************/
[top]
components : rng
[rng]
type : cell
width : 8
height : 8
delay : transport
defaultDelayTime : 100
border : wrapped
neighbors : rng(-1,0)
neighbors : rng(0,-1) rng(0,0) rng(0,1)
neighbors : rng(1,0)
initialvalue : 0
initialrowvalue : 0 00010000
%initialrowvalue : 1 11010101
%initialrowvalue : 2 00001010
%initialrowvalue : 3 11010100
%initialrowvalue : 4 01010111
%initialrowvalue : 6 11111111
%initialrowvalue : 7 10100011
localtransition : rng-rule31
statevariables: value
statevalues: 0
initialvariablesvalue: rng.sval
% Rule 31
[rng-rule31]
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 1 and $value = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 1 and $value = 0)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 0 and $value = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 0 and $value = 0)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 1 and $value = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 1 and $value = 0)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 0 and $value = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 0 and $value = 0)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 1 and $value = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 1 and $value = 0)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 0 and $value = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 0 and $value = 0)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 1 and $value = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 1 and $value = 0)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 0 and $value = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 1 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 0 and $value = 0)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 1 and $value = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 1 and $value = 0)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 0 and $value = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 1 and (0,1) = 0 and $value = 0)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 1 and $value = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 1 and $value = 0)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 0 and $value = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 1 and (1,0) = 0 and (0,1) = 0 and $value = 0)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 1 and $value = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 1 and $value = 0)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 0 and $value = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 1 and (0,1) = 0 and $value = 0)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 1 and $value = 1)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 1 and $value = 0)}
rule : { $value } { $value := 1; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 0 and $value = 1)}
rule : { $value } { $value := 0; } {randInt(100)} { ((-1,0) = 0 and (0,-1) = 0 and (1,0) = 0 and (0,1) = 0 and $value = 0)}