Next: Finite state systems
Up: Reader-Writer protocol
Previous: Refal encoding
/*
$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