Синтез абстрактного автомата Милли на элементах памяти D или T-триггерах, страница 3

Строим таблицу  П4:

D1

D2

D3

D4

D5

D6

D7

D8

D9

D10

D11

D12

D13

D14

D15

Z1

Z16

Z15

Z4

Z2

Z5

Z7

Z3

Z6

Z8

Z12

Z9

Z10

Z14

Z11

Z13

X1

  D1

D1

   D2

  D2

D4

  D6

  D5

   D5

  D7

  D9 

   D9

   D14

 D10

  D10

  D13

   D14

X2

   D3

D3

   D1

 D1

  D5

  D4

 D8

 D8

 D3

  D11

   D11

   D12

  D11

D15

D15

   D12

X3

   D2

D2

   D3

   D10

   D7

 D8

   D7

 D4

  D8

D14

 D10

   D9

   D14

  D14

D12

   D10

1

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

По разбиению П4 можно заметить, что оно полностью идентично разбиению П3, следовательно алгоритм минимизации необходимо прекратить. Из таблицы  П4 видно, что вершины Z1 и Z16 принадлежат к одному классу, т.е. они имеют одинаковые переходы и значения выходной функции, значит целесообразнее всего одно из этих состоянии исключить из таблицы переходов. Исключим состояние Z16 и таблица переходов и выходов примет вид:

( d / l )

Z1

Z2

Z3

Z4

Z5

Z6

Z7

Z8

Z9

Z10

Z11

Z12

Z13

Z14

Z15

X1

Z1   Y3

Z2   Y2

Z5   Y1

Z15 Y3

Z7   Y2

Z3   Y1

Z5   Y2

Z8   Y1

Z11  Y2

Z12  Y2

Z14   Y1

Z8   Y1

Z11   Y2

Z12  Y2

Z15   Y3

X2

Z4   Y1

Z5  Y2

Z6   Y3

Z1  Y1

Z2   Y2

Z4  Y2

Z6   Y2

Z9  Y1

Z10   Y2

Z9  Y2

Z13

Y1

Z9  Y1

Z10 Y2

Z13  Y2

Z1 Y1

X3

Z15  Y1

Z3   Y3

Z2   Y1

Z12  Y1

Z6   Y3

Z6   Y1

Z3   Y3

z11   Y2

Z8  Y1

Z11   Y3

z10  Y1

Z12  Y2

z12   Y2

Z11  Y1

Z4  Y1

Анализ автомата.

Граф минимизированного автомата:

Автоматная матрица.

По минимизированной таблице переходов и выходов составим автоматную матрицу: