Теория автоматов. Жукалина И.В. - 23 стр.

       Из системы логических уравнений для цифрового автомата Мура
получаем полное множество конъюнкций для данного автомата:
         K1  Q1Q2 Q3 X1             K 7  Q1 Q2 Q3
         K 2  Q1Q2Q3             K8  Q1Q2Q3 X 2
         K3  Q1 Q2 Q3            K 9  Q1Q3
         K 4  Q1 Q2Q3            K10  Q2Q3
         K5  Q1 Q2 Q3 X1         K11  Q1Q2
         K 6  Q2 Q3              K12  Q1 Q2 Q3


       Из системы логических уравнений для цифрового автомата Мили
получаем полное множество конъюнкций для данного автомата:
        K1  Q1 Q2 Q3 X 1             K 5  Q1 Q2 Q3             K9  Q1 Q2 Q3
     K 2  Q1Q2 Q3                    K 6  Q1 Q2Q3 X 2
     K3  Q1 Q2Q3                     K 7  Q2 Q3
     K 4  Q1Q2 Q3 X1                 K8  Q1 Q2

        Из полного множества конъюнкций             получаем таблицу покрытия
конъюнкциями системы логических уравнений.

Таблица 6 - Таблица покрытия конъюнкциями для цифрового автомата Мура

           K1   K2     K3   K4   K5     K6    K7       K8   K9    K10   K11   K12
   D1      +    +      +
   D2                       +    +
   D3                                    +     +       +
   Y1                  +                                    +
   Y2                  +                                           +    +
   Y3                  +                       +                   +
   Y4                                                                         +




                                                                                  23