4.1.4

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

                                           
 <Parity e1> 
  ¯                     
  e1  
e1 ® пусто  l m  e1 ® s2 e3
  O  
   s2, e3 
 s2 ® '0' l m  иначе
e1 := e3
  e3  
   s2, e3 
 s2 ® '1' l m  иначе
  e3  
...
e3 ® пусто  l m  e3 ® s4 e5
   I   
   s4, e5  
s4 ® '0'  l m  иначе
e3 := e5
   e5  
  s4, e5 
s4 ® '1' l m  иначе
e1 := e5
  e5  
...