Скорочені формули для автомату Мілі
J1=A14*~X2+A15+A16
J2=A6*~X2+A7+A8+A20*~X4*~X2*X1+A21*~X3+A22+A23*X1+A24
J3=A3*~X5+A4+A10+A12+A19+A20*X4+A20*~X4*X2+A20*~X4*~X2*X1+A25
J4=A2+A5+A6*X2+A9+A10+A13+A14*X2+A18+A21*X3
J5=A1+A3*X5+A3*~X5*~X6+A5+A9*X5+A11+A15*X5+A17+A23+X1+A25
K1=A20*~X4*~X2+A23+A24+A25
K2=A13+A14*~X2*A15 +A16
K3=A6*~X2+A7+A8 +A13+A14*~X2+A15 +A16+A21*~X3+A22+A23~X1
K4=A3*~X5*~X6+A4+A7+A8*X2+A12*~X4+A15+A19+A20*X4+A20*~X4*~X2+~X4~X2X1+A23 +A24
K5=A4*~X1+A6*~X2+A8*~X2+A10+A12+A14*~X2+A18*~X4+A20*~X4*~X2*~X1+A22
Y1=A4*~X1+A5+A6*X2+A16+A18*X4+A19+A20*~X4*~X2*X1+A23*X1+A24+A25
Y2=A1+A6*~X2+A7+A10+A12+A16+A18*~X4+A21*~X3+A22
Y3=A3*~X5*X6+A5+A6*X2+A13+A20*X4+A20*~X4*~X2*X1+A23*X1+A24+A25
Y4=A1+A8*X2+A14*X2+A19+A20*~X4*X2
Y5=A20*~X4*X2
Y6=A8*~X2+A9*~X5+A13+A14*~X2+A15*~X5+A21*~X3+A22
Y7=A2+A3*X5+A9*X5+A11+A15*X5+A17+A21*X3
Y8=A3*~X5*~X6+A4*X1
Y9=A4*~X1
Y10=A9*X5+A11+A15*X5+A17
Гса автомату Мура
Таблиця синтезу автомату Мура
bm |
код bm |
bS
|
код bs |
Условие XI |
Функция Y |
Тригер t1,t2,t3,t4,t5 |
B1 |
00000 |
B2 |
00001 |
1 |
Y2Y4 |
00001 |
B2 |
00001 |
B4 |
00011 |
1 |
Y7 |
00010 |
B3 B3 B3 |
00010 00010 00010 |
B4 B6 B7 |
00011 00101 00110 |
X5 ~X5~X6 ~X5X6 |
Y7 Y8 Y3 |
00001 00111 00101 |
B4 B4 |
00011 00011 |
B5 B6 |
00100 00101 |
~X1 X1 |
Y1,Y9 Y8 |
00111 00110 |
B5 |
00100 |
B8 |
00111 |
1 |
Y1,Y3 |
00011 |
B6 B6 |
00101 00101 |
B8 B9 |
00111 01000 |
X2 ~X2 |
Y1,Y3 Y2 |
00010 01101 |
B7 |
00110 |
B9 |
01000 |
1 |
Y2 |
01110 |
B8 B8 |
00111 00111 |
B10 B11 |
01001 01010 |
X2 ~X2 |
Y4 Y6 |
01110 01101 |
B9 B9 |
01000 01000 |
B11 B12 |
01010 01011 |
~X5 X5 |
Y6 Y7,Y10 |
00010 00011 |
B10 |
01001 |
B15 |
01110 |
1 |
Y2 |
00111 |
B11 |
01010 |
B12 |
01011 |
1 |
Y7,Y10 |
00001 |
B12 B12 |
01011 01011 |
B13 B15 |
01100 01110 |
~X4 X4 |
Y2 Y2 |
00111 00101 |
B13 |
01100 |
B3 |
00010 |
1 |
Y3,Y6 |
01110 |
B14 B14 |
01101 01101 |
B16 B17 |
01111 10000 |
X2 ~X2 |
Y4 Y6 |
00010 11101 |
B15 B15 |
01110 01110 |
B17 B18 |
10000 10001 |
~X5 X5 |
Y6 Y7,Y10 |
11110 11111 |
B16 |
01111 |
B20 |
10011 |
1 |
Y1,Y2 |
11100 |
B17 |
10000 |
B18 |
10001 |
1 |
Y7,Y10 |
00001 |
B18 B18 |
10001 10001 |
B19 B20 |
10010 10011 |
~X4 X4 |
Y2 Y1,Y2 |
00011 00010 |
B19 |
10010 |
B21 |
10100 |
1 |
Y1,Y4 |
00110 |
B20 B20 B20 B20 |
10011 10011 10011 10011 |
B22 B24 B1 B14 |
10101 10111 00000 01101 |
X4 ~X4X2 ~X4~X2~X1 ~X4~X2X1 |
Y3 Y4,Y5
Y1,Y3 |
00110 00100 10011 11110 |
B21 B21 |
10100 10100 |
B23 B25 |
10110 11000 |
X3 ~X3 |
Y7 Y2,Y6 |
00010 01100 |
B22 |
10101 |
B25 |
11000 |
1 |
Y2,Y6 |
01101 |
B23 B23 |
10110 10110 |
B14 B1 |
01101 00000 |
X1 ~X1 |
Y1,Y3 |
11011 10110 |
B24 |
10111 |
B14 |
01101 |
1 |
Y1,Y3 |
11010 |
B25 |
11000 |
B14 |
01101 |
1 |
Y1,Y3 |
10101 |