2. Кодирование состояний автомата

Эвристический метод кодирования рассмотрим на данном примере.

Для автомата Мура построим матрицу М, состоящую из номеров состояний, для которых есть переходы в таблице переходов. Причём она строится таким образом, чтобы один из элементов данной строки содержался в предыдущей.

Закодируем состояния из первой строки матрицы

a₀=000, a₁=001.

На карте Карно отметим закодированные состояния:

Таблица 4.11 – Закодированные состояния на карте Карно.

Q1\Q2Q3	00	01	11	10
0	0	1
1

Из матрицы М вычеркнем строки, состоящие из закодированных состояний. Получим матрицу М’.

Выберем из первой строки матрицы М’ незакодированный элемент 2. Построим матрицу , состоящую из строк матрицы М’, включающих элемент 2. В этой матрице выберем уже закодированные элементы. Получим множество B₂={1}. Для каждого элемента В₂ найдём множество кодов, соседних с кодом рассматриваемого состояния и ёще незанятых для кодирования. . Для выбора кода найдем значение весовой функции W, которая характеризует расстояние между кодами состояний, равная числу элементов памяти, изменяющих своё состояние при переходе.

Выберем тот код, для которого весовая функция минимальна. В данном случае для обоих кодов множества мы получили равные значения весовой функции, значит, возьмём любой код. Например, a₂=101.

Отметим на карте Карно новое состояние a₂.

Таблица 4.12 – Закодированные состояния на карте Карно.

Q1\Q2Q3	00	01	11	10
0	0	1
1		2

Далее вычеркиваем строки, содержащие уже закодированные состояния, и производим описанные выше действия.

,

a₃=100

Таблица 4.13 – Закодированные состояния на карте Карно.

Q1\Q2Q3	00	01	11	10
0	0	1
1	3	2

Подобным образом получим a₄=011.