48125 (608469), страница 5
Текст из файла (страница 5)
Классы пятеричной совместимости
| G1(5) | 0 | 1 | |||
| 0 | 2 | 6 | |||
| G2(5) | 0 | 1 | |||
| 1 | 3 | 7 | |||
| G3(5) | 0 | 1 | |||
| 3 | 4 | 8 | |||
| G4(5) | 0 | 1 | |||
| 7 | 5 | 9 | |||
| G5(5) | 0 | 1 | |||
| 12 | 10 | - | |||
| G6(5) | 0 | 1 | |||
| 2 | 11 | 14 | |||
| G7(5) | 0 | 1 | |||
| 4 | 12 | - | |||
| G8(5) | 0 | 1 | |||
| 8 | 12 | 15 | |||
| G9(5) | 0 | 1 | |||
| 13 | 16 | - | |||
| G10(5) | 0 | 1 | |||
| 22 | 17 | - | |||
| 26 | 17 | - | |||
| G11(5) | 0 | 1 | |||
| 5 | 18 | - | |||
| G12(5) | 0 | 1 | |||
| 9 | 20 | 19 | |||
| G13(5) | 0 | 1 | |||
| 14 | 21 | - | |||
| 18 | 21 | - | |||
| G14(5) | 0 | 1 | |||
| 6 | 23 | - | |||
| G15(5) | 0 | 1 | |||
| 15 | 26 | - | |||
| 19 | 26 | - | |||
| G16(5) | 0 | 1 | |||
| 23 | 22 | - | |||
| 27 | 22 | - | |||
| G17(5) | 0 | 1 | |||
| 32 | 1 | - | |||
| 34 | 1 | - | |||
| 36 | 1 | - | |||
| 38 | 1 | - | |||
| 40 | 1 | - | |||
| G18(5) | 0 | 1 | |||
| 10 | 13 | 15 | |||
| G19(5) | 0 | 1 | |||
| 17 | 16 | - | |||
| G20(5) | 0 | 1 | |||
| 16 | 10 | - | |||
| G21(5) | 0 | 1 | |||
| 24 | 17 | - | |||
| 28 | 17 | - | |||
| 30 | 17 | - | |||
| G22(5) | 0 | 1 | |||
| 33 | 1 | - | |||
| 35 | 1 | - | |||
| 37 | 1 | - | |||
| 39 | 1 | - | |||
| 41 | 1 | - | |||
| G23(5) | 0 | 1 | |||
| 11 | 25 | 24 | |||
| G24(5) | 0 | 1 | |||
| 21 | 26 | - | |||
| G25(5) | 0 | 1 | |||
| 20 | 21 | - | |||
| G26(5) | 0 | 1 | |||
| 25 | 22 | - | |||
| 29 | 22 | - | |||
| 31 | 22 | - | |||
При построении нормализованного автомата переход = (Ci, zj) считается неопределённым, если для всех состояний этого класса не определены переходы в другое состояние. Если хотя бы для одного состояния класса переход определён, то в клетку таблицы нормализованного автомата заносится индекс класса, в который переходит цифровой автомат из этого состояния. Таким образом, доопределяются неопределённые переходы исходного автомата. Нормализованный автомат является эквивалентным любому из минимизированных автоматов и не имеет, как минимум, ни одной пары совместимых состояний. В соответствии с изложенной методикой минимизации получаются либо полностью определённые, либо частичные нормализованные автоматы.
У полностью определённых автоматов класс конечной совместимости не пересекаются, поэтому нормализованный автомат является единственным и процесс минимизации этим заканчивается. В случае получения частичного автомата классы i-совместимости пересекаются. Это приводит к тому, что нормализованный автомат может описываться конечным количеством вариантов таблиц или графов. В случае частичных автоматов часто отказываются от достижения абсолютной минимизации и ограничиваются нахождением нормализованного автомата и его эвристическим доопределением.
Таблица состояний и выходов нормализованного автомата
| Вх/сост | G1 | G2 | G3 | G4 | G5 | G6 | G7 | G8 | G9 | G10 | G11 | G12 | G13 |
| 0 | G2/0 | G3/0 | G4/0 | G5/0 | G10/0 | G11/0 | G12/0 | G13/0 | G16/0 | G17/0 | G18/0 | G20/0 | G21/0 |
| 1 | G6/0 | G7/0 | G8/0 | G9/0 | -/- | G14/0 | -/- | G15/0 | -/- | -/- | -/- | G19/0 | -/- |
| Вх/сост | G14 | G15 | G16 | G17 | G18 | G19 | G20 | G21 | G23 | G24 | G25 | G26 | |
| 0 | G23/0 | G26/0 | G22/0 | G1/0 | G13/0 | G16/0 | G10/1 | G17/1 | G25/1 | G26/1 | G21/0 | G22/1 | |
| 1 | -/- | -/- | -/- | -/- | G15/1 | -/- | -/- | -/- | G24/1 | -/- | -/- | -/- |
В результате всех преобразований мы получили нормализованный минимизированный автомат, по которому построим граф автомата Мили:
Структурный синтез цифрового автомата
Структурный синтез цифрового автомата - это кодирование его входных и переменных и состояний автомата и получение функции возбуждения и функций выходов триггера.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
