Next: MOESI
Up: MESI
Previous: Refal encoding
/*
$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