next up previous
Next: Futurebus+ Up: Firefly Previous: Refal encoding

Result of supercompilation

/*
$ENTRY Go {
 = <Prout <Go e.1 >> ;
}
*/

* InputFormat: <Go e.41 >
$ENTRY Go {
 (e.101 )  = True ;
 A (s.103 e.101 )  = True ;
 A C e.41 (s.103 s.110 e.101 )  = <F31 (e.41 ) (e.101 ) s.110 s.103 > ;
 A D e.41 (s.103 e.101 )  = <F54 (e.41 ) (e.101 ) s.103 > ;
 D e.41 (s.106 e.101 )  = <F54 (e.41 ) (e.101 ) s.106 > ;
}

* InputFormat: <F54 (e.41 ) (e.101 ) s.103 >
F54 {
 () (e.101 ) s.103  = True ;
 (B e.41 ) (s.134 e.101 ) s.103  = <F31 (e.41 ) (e.101 ) s.134 s.103 > ;
 (D e.41 ) (s.136 e.101 ) s.103  = <F54 (e.41 ) (s.103 e.101 ) s.136 > ;
}

* InputFormat: <F41 (e.118 ) (e.119 ) s.120 s.121 (e.122 ) s.127 >
F41 {
 () (e.119 ) s.120 s.121 (e.122 ) s.127  = True ;
 (B e.118 ) (e.119 ) s.120 s.121 (e.122 ) s.127  = <F31 (e.118 ) (s.121 
e.122 e.119 ) s.120 s.127 > ;
 (D e.118 ) (e.119 ) s.120 s.121 (e.122 ) s.127  = <F41 (e.118 ) (e.122 
e.119 ) s.127 s.121 () s.120 > ;
}

* InputFormat: <F31 (e.118 ) (e.119 ) s.120 s.121 e.122 >
F31 {
 () (e.119 ) s.120 s.121 e.122  = True ;
 (C e.118 ) (s.126 e.119 ) s.120 s.121 e.122  = <F31 (e.118 ) (e.119 ) s.126 
                                                 s.120 s.121 e.122 > ;
 (D e.118 ) (s.127 e.119 ) s.120 s.121 e.122  = <F41 (e.118 ) (e.119 ) s.120 
                                                 s.121 (e.122 ) s.127 > 
;
}

****************************** The End ************************************


Alexei Lisitsa 2005-07-14