b> .3 Автомат Моли
Кодування станів виконуємо за алгоритмом, розробленим для D - тригера. Для цього будуємо таблицю переходів автомата, а потім підраховуємо статистику зустрічей кожного стану. Відсортувавши стану, кодуємо їх так, щоб ті, які зустрічаються частіше, мали найменше одиниць. br/>
b1 - 00000 b3 - 00011 b8 - 00111 - 00001 b7 - 00101 b9 - 01011 - 00010 b10 - 01001 b11 - 10011
b17 - 00100 b12 - 10001 b16 - 10101
b18 - 01000 b2 - 00110 b19 - 11001
b22 - 10000 b5 - 01010 b21 - 11010
b13 - 10010
b6 - 0110015 - 10100
b20 - 11000
Записуємо результати в таблицю:
D 1 = b9 * nx5 * nx6 + b9 * nx5 * x6 + b10 * x1 + b14 * x4 + b17 + b18 + b19nx4 * x3 + b20 * nx4 * nx1 + b20 * x4 * x3 + b20 * nx4 * x1 + b22 = b9 * nx5 + b10 * x1 + b14 * x4 + b17 + b18 + b19nx4 * x3 + b20 * nx4 + b20 * x4 * x3 + b22
D 2 = b4 * x2 + b4 * nx2 + b7 + b8 + b9 * x5 + b14 * nx4 * x3 + b15 * x4 * x3 + b15 * nx4 * x1 + b15 * nx4 * nx1 + b17 + b18 + b19 * x4 = b4 + b7 + b8 + b9 * x5 + b14 * nx4 * x3 + b15 * x4 * x3 + b15 * nx4 + b17 + b18 + b19 * x4
D 3 = b1 + b4 * nx2 + b5 * nx4 + b5 * x4 + b6 * x6 + b14 * x4 + b14 * nx4 * nx3 + b15 * x4 * nx3 + b16 + b20 * nx4 * nx1 + b22 = b1 + b4 * nx2 + b5 + b6 * x6 + b14 * x4...
