repos
/
INblobs
/ headblob
summary
|
shortlog
|
log
|
tree
|
annotate
|
headblob
|
filehistory
plain
/
examples
/
/examples/LafontAritmetic.txt
1
/* Automatically generated by INBlobs */
2
3
agents
4
5
Add 2;
6
Z 0;
7
S 1;
8
Erase 0;
9
Mult 2;
10
Dupl 2;
11
Max 2;
12
Aux 2;
13
14
rules
15
16
Add(a, a) >< Z;
17
Add(S(d), b) >< S(Add(d, b));
18
Mult(Z, Erase) >< Z;
19
Mult(c, Dupl(e, f)) >< S(Mult(Add(c, f), e));
20
Dupl(Z, Z) >< Z;
21
Dupl(S(d), S(e)) >< S(Dupl(d, e));
22
Erase >< Z;
23
Erase >< S(Erase);
24
Max(a, a) >< Z;
25
Max(c, Aux(a, c)) >< S(a);
26
Aux(a, S(a)) >< Z;
27
Aux(Max(d, b), S(d)) >< S(b);
28
29
net
30
31
32
interface
33
34
35
36
end