Недетерминированные автоматы в проектировании систем параллельной обработки. Вашкевич Н.П. - 73 стр.

                                           x0  x1x0 x1 ;
       4) множество всех последовательностей, состоящее лишь из единиц,
имеет вид:
                                 x1x1;
      5)    таким    образом   все   искомое     множество   двоичных
последовательностей можно представить в виде следующего события:
                                                   
        S y  x0  x1x1 x1 x1x0  x1 & x0  x1 x0 x1  x1x1   S1 & S 2 ;
      6) на основе рассмотренного алгоритма преобразования РВАС
описание события S αy преобразуется в следующую СКУ:
                S1 t  1  S3 t  & x1 t   S1 t  & x0 t   x1 t ,
                S3 t  1  S4 t  & x1 t ,
                S4 t  1  S5 t  & x1 t ,
                S5 t  1  S0 t   S5 t  & x0 t   x1 t ,
                S 2 t  1  S0 t  & x1 t   S 6 t  & x1 t   S7 t  & x1 t ,
                S 6 t  1  S5 t  & x0 t ,
                S 7 t  1  S0 t  & x1 t   S 7 t  & x1 t ;
      7) для построения отмеченной таблицы переходов ЦА Мура по СКУ
строится вспомогательная НД ПТП ЦА Мура, в которой первый столбец
отмечается совокупностью событий S 0 и S 5 , т.к. событие S 5 выводимо из
события S 0 , т.к. имеем S 0  S 5 .




                                                                                            73