next up previous
Next: MOESI Up: MESI Previous: Refal encoding

Result of supercompilation


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

* InputFormat: <Go e.41 >
$ENTRY Go {
 (e.101 )  = True ;
 A e.41 (s.103 e.101 )  = <F24 (e.41 ) (e.101 ) s.103 > ;
 D e.41 (s.104 e.101 )  = <F35 (e.41 ) (e.101 ) s.104 > ;
}

* InputFormat: <F35 (e.109 ) (e.110 ) s.111 e.112 >
F35 {
 () (e.110 ) s.111 e.112  = True ;
 (A e.109 ) (e.110 ) s.111 s.118 e.112  = <F24 (e.109 ) (e.112 e.110 ) s.118 
                                           s.111 > ;
 (A e.109 ) (s.119 e.110 ) s.111  = <F24 (e.109 ) (e.110 ) s.119 s.111 >
 ;
 (B ) (e.110 ) s.111 e.112  = True ;
 (B A e.109 ) (e.110 ) s.111 s.125 e.112  = <F24 (e.109 ) (e.112 e.110 )
                                              s.125 s.111 > ;
 (B A e.109 ) (s.126 e.110 ) s.111  = <F24 (e.109 ) (e.110 ) s.126 s.111 
                                       > ;
 (B D e.109 ) (e.110 ) s.111 s.127 e.112  = <F35 (e.109 ) (s.111 e.112 e.110 
                                             ) s.127 > ;
 (B D e.109 ) (s.128 e.110 ) s.111  = <F35 (e.109 ) (s.111 e.110 ) s.128 
                                       > ;
 (D e.109 ) (e.110 ) s.111 s.120 e.112  = <F35 (e.109 ) (s.111 e.112 e.110 
                                           ) s.120 > ;
 (D e.109 ) (s.121 e.110 ) s.111  = <F35 (e.109 ) (s.111 e.110 ) s.121 >
 ;
}

* InputFormat: <F24 (e.109 ) (e.110 ) s.111 e.112 >
F24 {
 () (e.110 ) s.111 e.112  = True ;
 (A e.109 ) (s.114 e.110 ) s.111 e.112  = <F24 (e.109 ) (e.110 ) s.114 s.111 
                                           e.112 > ;
 (C e.109 ) (e.110 ) s.111 e.112  = <F35 (e.109 ) (e.110 ) s.111 e.112 >
 ;
 (D e.109 ) (s.115 e.110 ) s.111 e.112  = <F35 (e.109 ) (s.111 e.112 e.110 
                                           ) s.115 > ;
}

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


Alexei Lisitsa 2005-07-14