Degeneralization Algorithm for Generation of Büchi Automata Based on Contented Situation

Algorithm 1

(1)  ;                (*)

(2)  if    with     and     then

   else

   ;

   endif                     (**)

(3)  if    with   )   and     then

   else

   ;

   endif;                  (***)