2.4.3

Слияние двух проходов в один:
остаточный граф конфигураций

 
¯
   <C0 e1>  
e1 ® пусто  l      m  e1 ® s2 e3
    
  <C1 (s2) (e3)> 
s2 ® A  l     m  иначе
  C
  <C2 e3> 
 
  <C3 (s2) (e3)> 
¯ s2 ® B  l     m  иначе
e1 := e3
  C
  <C4 e3> 
 
  s2
  <C5 e3> 
 
  ¯ ¯
  e1 := e3 e1 := e3
 
   
 
   
C0   {   =  ;
s2 e3  =  <C1 (s2) (e3)>;
}
C1 { (A) (e3)  =  C <C2 e3>;
(s2) (e3)  =  <C3 (s2) (e3)>;
}
C2 {
}		 e3  =  <C0 e3>;
C3 { (B) (e3)  =  C <C4 e3>;
(s2) (e3)  =  s2 <C5 (s2) (e3)>;
}
C4 {
}		 e3  =  <C0 e3>;
C5 {
}		 e3  =  <C0 e3>;