2.4.1
Слияние двух проходов в один:
программа на Рефале
Fab
{
=
;
A
e
x
= B
<Fab e
x
>;
s
a
e
x
= s
a
<Fab e
x
>;
}
Fbc
{
=
;
B
e
x
= C
<Fbс e
x
>;
s
a
e
x
= s
a
<Fbс e
x
>;
}
Fabc
{
e
x
= <Fbc <Fab
e
x
>>;
}
Пример вычисления:
<Fabc A B D>
<Fbc
<Fab A B D>
>
<Fbc B
<Fab B D>
>
<Fbc B B
<Fab D>
>
<Fbc B B D
<Fab>
>
<Fbc B B D>
C
<Fbc B D>
C C
<Fbc D>
C C D
<Fbc>
C C D