Next: Result of supercompilation Up: Futurebus+ Previous: Futurebus+

### Refal encoding

```*\$MST_FROM_ENTRY;
*\$STRATEGY Applicative;
*\$LENGTH 0;

\$ENTRY Go {e.A (e.p) = <Loop (e.A) (P e.p)(Q)(R)(S)(T)(U)(V)(X)(Y) >;}

Loop {
() (P e.1)(Q e.2)(R e.3)(S e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9) =
<Result (P e.1)(Q e.2)(R e.3)(S e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9)>;
(s.A e.A) (P e.1)(Q e.2)(R e.3)(S e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9) =
<Loop (e.A)
<RandomAction s.A
(P e.1)(Q e.2)(R e.3)(S e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9)>>;
}

RandomAction {
* r2
A (P s.1 e.1) (Q e.2) (R e.3) (S e.4)(T e.5)(U)(V e.7)(X e.8)(Y e.9)
=(P e.1 )(Q)(R)(S)(T s.1 e.5)(U)(V e.7 e.4)(X e.8)(Y e.2 e.3 e.9)   ;
* r3
B (P e.1)(Q e.2)(R e.3)(S e.4)(T e.5)(U e.6)(V s.7 e.7)(X e.8)(Y e.9) =
(P e.1)(Q s.7 e.2 e.5)(R e.3)(S e.4)(T )(U e.6)(V e.7)(X e.8)(Y e.9);
*r4
C (P e.1)(Q e.2)(R e.3)(S e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y s.9 e.9) =
(P e.1)(Q e.2 e.5 s.9 e.9)(R e.3)(S e.4)(T )(U e.6)(V e.7)(X e.8)(Y);
*r5
E (P e.1)(Q e.2)(R e.3)(S e.4)(T s.51 s.52 e.5)(U e.6)(V)(X e.8)(Y) =
(P e.1)(Q s.51 s.52 e.5 e.2)(R e.3)(S e.4)(T )(U e.6)(V)(X e.8)(Y);

*r6
D (P e.1)(Q e.2)(R e.3)(S e.4)(T s.5)(U e.6)(V)(X e.8)(Y) =
(P e.1)(Q e.2)(R s.5 e.3)(S e.4)(T )(U e.6)(V)(X e.8)(Y);
*wm1
H (P s.1 e.1)(Q e.2)(R e.3)(S e.4)(T e.5)(U)(V e.7)(X e.8)(Y e.9) =
(P e.1 e.3 e.2 e.9 e.5 e.7)(Q )(R )(S )(T)(U s.1)(V)(X e.4 e.8)(Y);
*wm2
I (P e.1)(Q e.2)(R e.3)(S e.4)(T e.5)(U e.6)(V e.7)(X s.8 e.8)(Y e.9) =
(P s.8 e.1)(Q e.2)(R e.3)(S e.6 e.4)(T e.5)(U)(V e.7)(X e.8)(Y e.9);

*wm3
K (P e.1)(Q e.2)(R e.3)(S e.4)(T e.5)(U e.6)(V e.7)(X)(Y e.9) =
(P e.1)(Q e.2)(R e.3)(S e.6 e.4)(T e.5)(U)(V e.7)(X)(Y e.9);

*wh2
F (P e.1)(Q e.2)(R s.3 e.3)(S e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9) =
(P e.1)(Q e.2)(R e.3)(S s.3 e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9);
*wh3
G (P e.1)(Q s.2 e.2)(R e.3)(S e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9) =
(P e.2 e.1)(Q)(R e.3)(S s.2 e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9);
}

Result{
(P e.1)(Q e.2)(R s.31 s.32 e.3)(S e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9) = False;
(P e.1)(Q e.2)(R s.3 e.3)(S s.4 e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9)  = False;
(P e.1)(Q e.2)(R e.3)(S s.41 s.42 e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9) = False;

(P e.1)(Q s.2 e.2)(R s.3 e.3)(S e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9) = False;
(P e.1)(Q s.2 e.2)(R e.3)(S s.4 e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9) = False;

(P e.1)(Q e.2)(R e.3)(S e.4)(T e.5)(U e.6)(V e.7)(X e.8)(Y e.9) = True;
}
```

Alexei Lisitsa 2005-07-14