*************************************************************************** * Here is a residual program of the last supercompilation by the SCP4. * The residual program is in Refal5. * You have to change the parametrs of the call of TRINT3 with data. * Please, be carefull: * a) the order of the parametrs can be incorrect; * b) the residual program cannot be supercompiled * without some transformation to a fragment of Refal5; *************************************************************************** $ENTRY Go { = <Prout <TRINT3 e.1 >> ; } * InputFormat: <TRINT3 e.1 > TRINT3 { s.41 e.1 = <F23 s.41 () (e.1 )> ; = 'z' (('1' ) ' ' ) ; } * InputFormat: <F570 s.211 (e.212 ) s.214 (e.215 ) > F570 { 'L' (e.212 s.216 ) s.214 (e.215 ) = <F570 s.216 (e.212 ) 'L' (s.214 e.215 )> ; 'L' () s.214 (e.215 ) = 'z' (('0' ) 'L' s.214 e.215 '*' ) ; 'R' (e.212 s.221 ) s.214 (e.215 ) = <F570 s.221 (e.212 ) 'R' (s.214 e.215 )> ; 'R' () s.214 (e.215 ) = 'z' (('0' ) 'R' s.214 e.215 '*' ) ; '(' (e.212 ) s.214 (e.215 ) = <F23 s.214 (e.212 'L' ) (e.215 )> ; '*' (e.212 ) s.214 (e.215 ) = 'z' (('*' e.212 '0' ) s.214 e.215 '*' ) ; } * InputFormat: <F435 s.150 (e.151 ) s.153 (e.154 ) > F435 { 'L' (e.151 s.155 ) s.153 (e.154 ) , <F435 s.155 (e.151 ) '(' (s.153 e.154 )>:s.265 (e.264 ) s.266 (e.267 ) = s.265 (e.264 ) s.266 (e.267 ) ; 'L' () s.153 (e.154 ) = '1' () '(' (s.153 e.154 ) ; 'R' (e.151 s.160 ) s.153 (e.154 ) , <F435 s.160 (e.151 ) ')' (s.153 e.154 )>:s.269 (e.268 ) s.270 (e.271 ) = s.269 (e.268 ) s.270 (e.271 ) ; 'R' () s.153 (e.154 ) = '1' () ')' (s.153 e.154 ) ; '(' (e.151 ) s.153 (e.154 ) = '0' ('*' e.151 ) s.153 (e.154 ) ; '*' (e.151 ) s.153 (e.154 ) = '1' ('*' e.151 ) s.153 (e.154 ) ; } * InputFormat: <F259 s.95 (e.96 ) (e.98 ) > F259 { 'L' (e.96 s.99 ) (e.98 ) , <F259 s.99 (e.96 ) ('(' e.98 )>:s.259 (e.258 ) (e.260 ) = s.259 (e.258 ) (e.260 ) ; 'L' () (e.98 ) = '1' () ('(' e.98 ) ; 'R' (e.96 s.103 ) (e.98 ) , <F259 s.103 (e.96 ) (')' e.98 )>:s.262 (e.261 ) (e.263 ) = s.262 (e.261 ) (e.263 ) ; 'R' () (e.98 ) = '1' () (')' e.98 ) ; '(' (e.96 ) (e.98 ) = '0' ('*' e.96 ) (e.98 ) ; '*' (e.96 ) (e.98 ) = '1' ('*' e.96 ) (e.98 ) ; } * InputFormat: <F89 s.52 (e.53 ) (e.55 ) > F89 { 'L' (e.53 s.56 ) (e.55 ) , <F89 s.56 (e.53 ) ('(' e.55 )>:s.253 (e.252 ) (e.254 ) = s.253 (e.252 ) (e.254 ) ; 'L' () (e.55 ) = '1' () ('(' e.55 ) ; 'R' (e.53 s.60 ) (e.55 ) , <F89 s.60 (e.53 ) (')' e.55 )>:s.256 (e.255 ) (e.257 ) = s.256 (e.255 ) (e.257 ) ; 'R' () (e.55 ) = '1' () (')' e.55 ) ; '(' (e.53 ) (e.55 ) = '0' ('*' e.53 ) (e.55 ) ; '*' (e.53 ) (e.55 ) = '1' ('*' e.53 ) (e.55 ) ; } * InputFormat: <F23 s.44 (e.45 ) (e.47 ) > F23 { 'L' (e.45 ) (s.48 e.47 ) = <F23 s.48 (e.45 'L' ) (e.47 )> ; 'L' (e.45 s.50 ) () , <F89 s.50 (e.45 ) ()>:s.82 (e.83 ) (e.84 ) = 'z' ((e.83 s.82 ) e.84 '( ' ) ; 'L' () () = 'z' (('1' ) '( ' ) ; 'R' (e.45 ) (s.91 e.47 ) = <F23 s.91 (e.45 'R' ) (e.47 )> ; 'R' (e.45 s.93 ) () , <F259 s.93 (e.45 ) ()>:s.125 (e.126 ) (e.127 ) = 'z' ((e.126 s.125 ) e.127 ') ' ) ; 'R' () () = 'z' (('1' ) ') ' ) ; '(' (e.45 ) (s.137 e.47 ) = <F23 s.137 (e.45 '(' ) (e.47 )> ; '(' (e.45 ) () = 'z' (('*' e.45 '0' ) ' ' ) ; '*' (e.45 s.148 ) (e.47 ) , <F435 s.148 (e.45 ) (e.47 ) > :s.189 (e.190 ) s.191 (e.192 ) = 'z' ((e.190 s.189 ) s.191 e.192 '*' ) ; '*' () (e.47 ) = 'z' (('1' ) e.47 '*' ) ; ')' (e.45 s.209 ) (e.47 ) = <F570 s.209 (e.45 ) 'R' (e.47 )> ; ')' () (e.47 ) = 'z' (('0' ) 'R' e.47 '*' ) ; } ****************************** The End ************************************