2.4.2

Слияние двух проходов в один:
построение графа конфигураций
 
Fab     {    = ;
A ex   =   B <Fab ex >;
sa  ex   =   sa <Fab ex >;
}
Fbc     {   = ;
B ex   =   C <Fbс ex >;
sa ex   =   sa <Fbс ex >;
}
Fabc { ex   =   <Fbc <Fab ex>>;
}
 
   <Fabc e1>  
¯
   <Fbc <Fab e1>>  
e1 ® пусто  l m  e1 ® s2 e3
   <Fbc>  
   <Fbc <Fab s2 e1>> 
¯ s2 ® A  l m   иначе
   
   <Fbc B <Fab e3>> 
   <Fbc s2 <Fab e3>> 
¯ s2 ® B  l m  иначе
   C <Fbc <Fab e3>> 
   C <Fbc <Fab e3>> 
   s2 <Fbc <Fab e3>> 
¯ ¯ ¯
  C
 <Fbc <Fab e3>>
 
  C
 <Fbc <Fab e3>> 
 
  s2
 <Fbc <Fab e3>> 
 
¯ ¯ ¯
e1 := e3 e1 := e3 e1 := e3