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

      6) Событие S6 будет состоять из трех ветвей, т.к. было ранее найдено,
что S4 = 0.
                                  S 6 t  1  x4 S 2 .
                                    1
         а)       Ветвь                                      Для        этой      ветви        имеем:
[ X 16]  [ 2 ]  [ x4 ] ,    X 6  2   x4 .
                                 1

        Дальнейший               анализ    выполняем      как    в    п.4,а. Так                  как
[ X 16]  [ 2 ]  [ 5 ]   ,   то запись этой ветви остается без изменения.
     б) Ветвь S 62 t  1  x2 S1 . Для этой ветви имеем [ X 62]  [1 ]   , поэтому
запись этой ветви остается без изменения.
                                 S 6 t  1  x1 S 3 .
                                   3
         в)       Ветвь                                      Для        этой      ветви        имеем:
[ X 36]  [ 3 ]  [ x1] , X 36  3   x1 .
                                                                                 1, 2
        Для         события             S3   в      п.1,б     получено         X 3  x1 .      Откуда
[ X 36  3 ]  [ X 13, 2]  , X 36  3  & X 13,2  x1 , поэтому новая запись входного
сигнала для события S 36 будет иметь вид: X 36  1 .
       После произведенного анализа исходной СКУ с целью ее минимизации
за счет учета распределения сдвигов ее новая запись, где введена замена Si =
ai; будет иметь следующий вид (3.11):
                    a1 (t  1)  x1 a0  x 2 x3 a1;
                               a2 (t  1)  a5 ;
                               a3 (t  1)  x1 x2 a0 ;
                                                                                      (3.11)
                               a4 (t  1)  0;
                               a5 (t  1)  x1 x2 a0  x4 a2  x 2 x3 a1;
                               a6 (t  1)  x4 a2  x 2 a1  a3.



                              Контрольные вопросы к главе 3.
      1. Чем характеризуются основные этапы минимизации СКУ,
представляющей алгоритм функционирования автомата?
      2. Назовите условия эквивалентности событий. Чем отличаются Q-
эквивалентные события от 1-эквивалентных событий?
      3. Укажите признаки, характеризующие разбиение событий на классы
при решении задач минимизации событий.
      4. Чем характеризуются эквивалентные разбиения событий?
      5. На чем основан метод таблиц пар определения эквивалентного
разбиения событий?
      6. Как обозначаются столбцы таблицы пар, используемой для
минимизации числа событий?

                                                                                                   60