2.4.4
Слияние двух проходов в один:
остаточная программа
¯
<C
0
e
1
>
e
1
®
пусто
l
m
e
1
®
s
2
e
3
<C
1
(s
2
) (e
3
)>
s
2
®
A
l
m
иначе
C
<C
2
e
3
>
<C
3
(s
2
) (e
3
)
>
¯
s
2
®
B
l
m
иначе
e
1
:= e
3
C
<C
4
e
3
>
s
2
<C
5
e
3
>
¯
¯
e
1
:= e
3
e
1
:= e
3
Fabc
{
= ;
A
e
3
= C <Fabc e
3
>;
B
e
3
= C <Fabc e
3
>;
s
2
e
3
= s
2
<Fabc e
3
>;
}