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

      6) Минимизация функций возбуждения элементов памяти и функций
выходов
      Из таблицы функций перехода, возбуждения и выходов автомата Мура
(Мили) получаем систему логических уравнений для цифрового автомата
Мура (Мили).
      Система логических уравнений для цифрового автомата Мура:
     D1  Q1 Q2 Q3 X 1  Q1Q2Q3 X 2  Q1Q2Q3 X 2  Q1 Q2 Q3 
           Q1 Q2 Q3 X 1  Q1Q2Q3  Q1 Q2 Q3
     D2  Q1 Q2Q3  Q1Q2 Q3 X1
     D3  Q1 Q2 Q3  Q1 Q2 Q3 X 1  Q1 Q2 Q3 X 1  Q1 Q2Q3 X 2 
           Q1 Q2 Q3  Q2 Q3  Q1 Q2 Q3  Q1 Q2Q3 X 2
     Y1  Q1 Q2Q3  Q1Q2Q3  Q1 Q2 Q3  Q1Q3  Q1Q2 Q3
     Y2  Q1 Q2Q3  Q1Q2 Q3  Q1Q2Q3  Q1 Q2 Q3  Q1 Q2 Q3 
            Q2Q3  Q1Q2  Q1 Q2 Q3
     Y3  Q1 Q2Q3  Q1Q2 Q3  Q1 Q2 Q3  Q1 Q2 Q3  Q2Q3 
            Q1Q2 Q3  Q1 Q2 Q3
     Y4  Q1 Q2 Q3

      Система логических уравнений для цифрового автомата Мили:
     D1  Q1 Q2 Q3 X1  Q1Q2Q3 X 2  Q1Q2Q3 X 2  Q1 Q2 Q3 X1  Q1Q2Q3
     D2  Q1 Q2Q3  Q1 Q2 Q3 X1
     D3  Q1 Q2 Q3  Q1Q2 Q3 X1
     Y1  Q1 Q2 Q3  Q1Q2 Q3 X1  Q1 Q3Q3 X 2
     Y2  Q1 Q2 Q3  Q1 Q2Q3  Q1Q2 Q3 X 1  Q1 Q2Q3 X 2  Q1 Q2 Q3 
           Q2 Q3  Q1 Q2Q3  Q1Q2 Q3 X 1  Q1 Q2Q3 X 2
     Y3  Q1 Q2 Q3  Q1 Q2Q3  Q1 Q2Q3 X 2  Q1 Q2 Q3 
           Q1 Q2  Q1 Q2Q3 X 2  Q1 Q2 Q3
     Y4  Q1 Q2 Q3




22