next up previous
Next: Berkley Up: Illinois Previous: Refal encoding

Result of supercompilation

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

* InputFormat: <Go e.41 >
$ENTRY Go {
 (e.102 ) (e.101 )  = <F5 (e.101 ) e.102 > ;
}

* InputFormat: <F142 (e.183 ) (e.184 ) (e.185 ) s.192 >
F142 {
 () (e.184 ) (e.185 ) s.192  = True ;
 (B e.183 ) (s.200 e.184 ) (e.185 ) s.192  = <F126 (e.183 ) (e.184 e.185 
                                              ) s.200 s.192 > ;
 (B e.183 ) () (s.201 e.185 ) s.192  = <F126 (e.183 ) (e.185 ) s.201 s.192 
                                        > ;
 (G e.183 ) (s.206 e.184 ) (e.185 ) s.192  = <F142 (e.183 ) () (s.192 e.184 
                                              e.185 ) s.206 > ;
 (G e.183 ) () (s.207 e.185 ) s.192  = <F142 (e.183 ) () (s.192 e.185 ) 
                                        s.207 > ;
 (H e.183 ) (e.184 ) (e.185 ) s.192  = <F5 (s.192 e.184 e.185 ) e.183 > 
;
}

* InputFormat: <F126 (e.183 ) (e.184 ) e.185 >
F126 {
 () (e.184 ) e.185  = True ;
 (A e.183 ) (s.187 e.184 )  = <F12 (e.184 ) (e.183 ) s.187 > ;
 (C e.183 ) (s.189 e.184 ) s.190 e.185  = <F126 (e.183 ) (e.184 ) s.189 
                                           s.190 e.185 > ;
 (F e.183 ) (e.184 ) s.192 e.185  = <F142 (e.183 ) (e.184 ) (e.185 ) s.192 
                                     > ;
 (G e.183 ) (s.193 e.184 ) e.185  = <F142 (e.183 ) () (e.185 e.184 ) s.193 
                                     > ;
 (I e.183 ) (e.184 ) s.194 e.185  = <F126 (e.183 ) (s.194 e.184 ) e.185 
                                     > ;
}

* InputFormat: <F12 (e.101 ) (e.102 ) s.108 >
F12 {
 (e.101 ) () s.108  = True ;
 (s.117 e.101 ) (D e.102 ) s.108  = <F126 (e.102 ) (e.101 ) s.117 s.108 
                                     > ;
 (e.101 ) (E e.102 ) s.108  = <F142 (e.102 ) () (e.101 ) s.108 > ;
 (s.118 e.101 ) (G e.102 ) s.108  = <F142 (e.102 ) () (s.108 e.101 ) s.118 
                                     > ;
 (e.101 ) (J e.102 ) s.108  = <F5 (s.108 e.101 ) e.102 > ;
}

* InputFormat: <F5 (e.101 ) e.102 >
F5 {
 (e.101 )  = True ;
 (s.108 e.101 ) A e.102  = <F12 (e.101 ) (e.102 ) s.108 > ;
 (s.112 e.101 ) G e.102  = <F142 (e.102 ) () (e.101 ) s.112 > ;
}

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


Alexei Lisitsa 2005-07-14