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

                                                                               Таблица 4.1
    1              2                       3                          4
    1          S0 & S5                     z1                         S6
                                           z2                     S 4 & Sα
    2              S6                      z2                         S5
    3              S4                      z1                        S4
                                           z2                     S3 & S 4
    4              S5                      z1                       S6
                                           z2                         Sα
    5              S3                      z1                         Sα
    6              S                      z1                         
                                           z2                         

                                                                            Таблица 4.2
   w       e            e      w       e           e          e            w    e
   a    S0 & S5        S6   S 4 & Sα   S5         S4       S 4 & S3        Sα      
   z
   z1     S6                 S4       S6         S4       S 4 & Sα               
   z2   S 4 & Sα       S5   S 4 & S3   Sα       S 4 & S3   S 4 & S3               

         П р и м е р 4.4. Предположим, что необходимо описать множество
всех последовательностей из нулей и единиц, которые имеют три подряд
стоящих единицы, но не кончающиеся на 01 и не состоящие лишь из единиц.
По полученному описанию построить отмеченную таблицу переходов (ТП)
цифрового автомата Мура.
         В данном примере рассматривается представление двоичных слов в
виде событий на языке РВАС с использованием дополнительных операций
алгебры событий с построением СКУ и ТП ЦА Мура, реализующего
представляющее событие.
         Решение:
         1) закодируем исходные двоичные цифры следующим образом:
0  x0 , 1  x1 ;
      2) множество всех последовательностей, которые имеют подряд три
единицы, можно записать так:
                          x0  x1x1 x1 x1x0  x1;
      3) множество всех последовательностей, кончающееся на 01,
запишется таким образом:

                                                                                        72