Пример минимизации числа состояний автомата Мура

Шаг 1 – Автомат задан совмещенной таблицей переходов/выходов

Шаг 2 – Выполняется разбиение на 0-эквивалентные множества по значению выходов автомата

			П0 = {A0, A1} A0 = { a0, a1, a2, a3, a4, a6} A1 = { a5} * т.к. в множестве А1 есть только одно состояние, то состояние a5 отмечается звездочкой в таблице и не участвует в дальнейшей минимизации, как состояние не имеющее эквивалентных y
a0	a2	a1	0
a1	a3	a4	А0 0
a2	a4	a3
a3	a5	a6
a4	a6	a5	А1 0
* a5	a2	a1	А0 1
a6	a2	a1

Шаг 3 – Таблица переходов автомата записывается без выделенных «звездочкой» состояний. В ячейках таблицы вместо названий состояний записываются названия классов эквивалентности, к которым они относятся.

		П1 = {B0, B1, B2} B0 = { a0, a1, a2, a6} B1 = { a3} * B2 = { a4} * т.к. в множестве B1 и В2 есть только одно состояние, то состояние a3 и a4 отмечаются звездочкой в таблице и не участвуют в дальнейшей минимизации, как состояния не имеющие эквивалентных 1
a0	A0	B0 A0
a1	A0	A0
* a2	A0	B1 A0
a3	A1	B2 A0
* a4	A0	A1
* a5	a2	B0 a1
a6	A0	A0

Шаг 4 – Таблица переходов автомата записывается без выделенных «звездочкой» состояний. В ячейках таблицы вместо названий состояний записываются названия классов эквивалентности, к которым они относятся.

		C0 П2 = {C0, C1, C2} C0 = { a0, a6} C1 = { a1} * C2 = { a2} * т.к. в множестве C1 и C2 есть только одно состояние, то состояние a1 и a2 отмечаются звездочкой в таблице и не участвуют в дальнейшей минимизации, как состояния не имеющие эквивалентных 1
a0	B0	C1 B0
a1	B1	C2 B2
* * * a2	B2	B1
a3	A1	B1 A0
* a4	A0	B2 A0 A1
* a5	a2	C0 a1
a6	B0	B0

Шаг 5 – Таблица переходов автомата записывается без выделенных «звездочкой» состояний. В ячейках таблицы вместо названий состояний записываются названия классов эквивалентности, к которым они относятся.

		П3 = {D0 } D0 = { a0, a6} т.к. в множестве D0 и C0 одинаковые состояния, а сами множества получены на двух последовательных шагах разбиения, то состояния a0 и a6, которые составляют данное множество являются полностью эквивалентными D0 1
* a0	C1	C1 C2
* a1	B1	C2 B2
* a2	B2	B1
a3	A1	B1 A0
* a4	A0	B2 A0 A1
* a5	a2	D0 a1
a6	C1	C2

На данном шаге минимизация окончена, т.к. выделено множество полностью эквивалентных состояний, а все остальные состояния не имеют эквивалентных т.к. они попали в множества из одного элемента.

В исходной таблице переходов/выходов цифрового автомата вычеркивается строка, которая соответствует состоянию a₆, а в остальных строках a₆ заменяется на a₀

			y
a0	a2	a1
a1	a3	a4
a2	a4	a3
a3	a5	a6
a4	a6	a5
a5	a2	a1
a6	a2	a1

Таблица переходов/выходов автомата после минимизации будет иметь следующий вид: