next up previous
Next: Finite state systems Up: Reader-Writer protocol Previous: Refal encoding

Result of supercompilation



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

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

* InputFormat: <F218 (e.194 ) s.195 (e.197 ) (e.198 ) e.199 >
F218 {
 () s.195 (e.197 ) (e.198 ) e.199  = True ;
 (C e.194 ) s.195 (e.197 ) (e.198 ) e.199  = <F207 (e.194 ) s.195 () (s.195 
                                              e.197 ) (e.198 ) e.199 > ;
 (E e.194 ) s.195 (s.206 e.197 ) (e.198 ) e.199  = <F218 (e.194 ) s.195 
(e.197 ) (s.206 e.198 ) e.199 > ;
 (F e.194 ) s.195 (s.206 e.197 ) (e.198 ) e.199  = <F218 (e.194 ) s.195 
(e.197 ) (e.198 ) s.206 e.199 > ;
}

* InputFormat: <F207 (e.194 ) s.195 (e.196 ) (e.197 ) (e.198 ) e.199 >
F207 {
 () s.195 (e.196 ) (e.197 ) (e.198 ) e.199  = True ;
 (A e.194 ) s.195 () (e.197 ) (e.198 ) s.201 e.199  = <F218 (e.194 ) s.195 
(e.197 ) (e.198 ) e.199 > ;
 (B e.194 ) s.195 (e.196 ) (e.197 ) (s.202 e.198 ) e.199  = <F207 (e.194 
) s.195 (s.202 e.196 ) (e.197 ) (e.198 ) e.199 > ;
 (D e.194 ) s.195 (s.203 e.196 ) (e.197 ) (e.198 ) e.199  = <F207 (e.194 
) s.195 (e.196 ) (s.203 e.197 ) (e.198 ) e.199 > ;
 (E e.194 ) s.195 (e.196 ) (s.204 e.197 ) (e.198 ) e.199  = <F207 (e.194 
) s.195 (e.196 ) (e.197 ) (s.204 e.198 ) e.199 > ;
 (F e.194 ) s.195 (e.196 ) (s.204 e.197 ) (e.198 ) e.199  = <F207 (e.194 
) s.195 (e.196 ) (e.197 ) (e.198 ) s.204 e.199 > ;
}

* InputFormat: <F106 (e.146 ) s.147 (e.148 ) (e.149 ) e.150 >
F106 {
 () s.147 (e.148 ) (e.149 ) e.150  = True ;
 (B e.146 ) s.147 (e.148 ) (e.149 ) s.152 e.150  = <F106 (e.146 ) s.147 
(s.152 e.148 ) (e.149 ) e.150 > ;
 (D e.146 ) s.147 (s.153 e.148 ) (e.149 ) e.150  = <F106 (e.146 ) s.147 
(e.148 ) (s.153 e.149 ) e.150 > ;
 (E e.146 ) s.147 (e.148 ) (s.154 e.149 ) e.150  = <F106 (e.146 ) s.147 
(e.148 ) (e.149 ) s.154 e.150 > ;
 (F e.146 ) s.147 (e.148 ) (s.154 e.149 ) e.150  = <F207 (e.146 ) s.147 
(e.148 ) (e.149 ) (e.150 ) s.154 > ;
}

* InputFormat: <F60 (e.122 ) s.123 (e.124 ) e.125 >
F60 {
 () s.123 (e.124 ) e.125  = True ;
 (D e.122 ) s.123 (s.127 e.124 ) e.125  = <F60 (e.122 ) s.123 (e.124 ) s.127 
                                           e.125 > ;
 (E e.122 ) s.123 (e.124 ) s.128 e.125  = <F106 (e.122 ) s.123 (e.124 ) 
                                           (e.125 ) s.128 > ;
 (F e.122 ) s.123 (e.124 ) s.128 e.125  = <F207 (e.122 ) s.123 (e.124 ) 
                                           (e.125 ) () s.128 > ;
}

* InputFormat: <F5 (e.41 ) s.102 e.103 >
F5 {
 () s.102 e.103  = True ;
 (E ) s.102 s.105 e.103  = True ;
 (E B e.41 ) s.102 s.105 e.103  = <F60 (e.41 ) s.102 (s.105 ) e.103 > ;
 (E E e.41 ) s.102 s.105 s.107 e.103  = <F207 (e.41 ) s.102 () (e.103 ) 
                                         (s.107 s.105 )> ;
 (E F e.41 ) s.102 s.105 s.107 e.103  = <F207 (e.41 ) s.102 () (e.103 ) 
                                         (s.105 ) s.107 > ;
 (F e.41 ) s.102 s.105 e.103  = <F207 (e.41 ) s.102 () (e.103 ) () s.105 
                                 > ;
}

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


Alexei Lisitsa 2005-07-14