ify"> Далі коди станів заносимо у відповідні стовпці прямий таблиці переходів (таблиця 5) і за відомим правилом формуємо логічні вирази для функцій збудження.
мікропрограмних автомат алгоритм множення число
Таблиця 6. Пряма структурна таблиця переходів і виходів автомата Мура. p align="justify"> Вихідний стан bmВиходние сігналиКод bmСостояніе переходу bsКод bsВходной сігналФункціі збудження тріггеровb0-0110b11111x1D1D2D3D4b1y0y11111b2 b3 b4 b5 b14 b151101 0111 0100 1000 0001 0000 ~ x2x1 ~ x2x1x3 ~ x2x1 ~ x3x4 ~ x2x1 ~ x3 ~ x4 x2 ~ x11 x2x11D1D2D4 D2D3D4 D2 D1 D4-b2-1101b2 b3 b4 b51101 0111 0100 1000 ~ x1 x1x3 x1 ~ x3x4 x1 ~ x3 ~ x4D1D2D4 D2D3D4 D2 D1b3y2y30111b4 b50100 1000x4 ~ x4D2 D1b4y1y4y5y60100b6 b7 b8 b14 b150101 1100 1010 0001 0000 ~ x2x5 ~ x2 ~ x5x4 ~ x2 ~ x5 ~ x4 x2 ~ x11 x2x11D2D4 D1D2 D1D3 D4-b5y1y61000b6 b7 b8 b14 b150101 1100 1010 0001 0000 ~ x2x5 ~ x2 ~ x5x4 ~ x2 ~ x5 ~ x4 x2 ~ x11 x2x11D2D4 D1D2 D1D3 D4-b6y2y30101b7 b81100 1010x4 ~ x4D1D2 D1D3b7y4y5y6y71100b9 b10 b111110 1001 0010x6 ~ x6x7 ~ x6 ~ x7D1D2D3 D1D4 D3b8y6y71010b9 b10 b111110 1001 0010x6 ~ x6x7 ~ x6 ~ x7D1D2D3 D1D4 D3b9y101110b001101D2D3b10Y31001b1100101D3b11Y80010b10 b11 b12 b13 b14 b151001 0010 1011 0011 0001 0000 ~ x8x7 ~ x8 ~ x7 x8 ~ x9 x8x9x10 x8x9 ~ x10 ~ x11 x8x9 ~ x10x11D1D4 D3 D1D3D4 D3D4 D4-b12Y91011b13 b14 b150011 0001 0000x10 ~ x10 ~ x11 ~ x10x11D3D4 D4-b13y5y6y110011b14 b150001 0000 ~ x11 x11D4-b14-0001b14 b150001 0000 ~ x11 x11D4-b15y120000b001101D2D3
D1 = b0 x1 v b1 ~ x2x1 v b1 ~ x2x1 ~ x3 ~ x4 v b2 ~ x1 v b2 x1 ~ x3 ~ x4 v b3 ~ x4 v b4 ~ x2 ~ x5 v b5 ~ x2 ~ x5 v b6 v b7x6 v b7 ~ x6x7 v b8x6 v b8 ~ x6x7 v b11 ~ x8x7 v b11 x8 ~ x9
D2 = b0 x1 v b1 ~ x2x1 v b1 ~ x2x1x3 v b1 ~ x2x1 ~ x3x4 v b2 ~ x1 v b2 x1 ~ x3x4 v b3 x4 v b4 ~ x2x5
v b4 ~ x2 ~ x5x4 v b5 ~ x2x5 v b5 ~ x2 ~ x5x4 v b6 x4 v b7 x6 v b8 x6 v b9 v b15
D3 = b0 x1 v b1 ~ x2x1x3 v b2 x1x3 v b4 ~ x2 ~ x5 ~ x4 v b5 ~ x2 ~ x5 ~ x4 v b6 ~ x4 v b7 x6 v b8 x6
v b8 ~ x6 ~ x7 v b9 v b10 v b11 ~ x8 ~ x7 v b11 x8 ~ x9 v b11 x8x9x10 v b12 x10 v b15
D4 = b0 x1 v b1 ~ x2x1 v b1 ~ x2x1x3 v b1 x2 ~ x11 v b2 ~ x1 v b2 x1x3 v b4 ~ x2x5 v b4 x2 ~ x11 v b5 ~ x2x5 v b5 x2 ~ x11 v b7 ~ x6x7 v b8 ~ x6x7 v b11 ~ x8x7 v b11 x8 ~ x9 v b11 x8x9x10 v b11x8x9 ~ x10 ~ x11 v b12 x10 v b12 ~ x10 ~ x11 v b13 ~ x11v b14 ~ x11
Так як для автомата Мура функції виходів не залежать від вхідних сигналів, то відповідно з другим стовпцем таблиці 6 запишемо логічні вирази для керуючих сигналів.
y0 = b1 = b1 v b4 v b5 = b3 v b6 = b3 v b6 v b10 = b4 v b7 = b4 v b7 v b13 = b4 v b5 v b7 v b8 v b13 = b7 v b8 = b11 = b12 = b911 = b13
y12 = b12
Навіть після виділення загальних частин в логічних рівняннях і спроще...