4.4. Построим граф переходов автомата Ax b.

Перед нами несвязный граф (есть вершины, которые не связаны ребрами). В графе переходов прямого произведения автоматов есть недостижимые состояния (в них не существует пути из начального состояния, автомат не может перейти в эти состояния). Недостижимые состояния и переходы из них можно отбросить, т.к. они не влияют на поведение конечного автомата.

4.5. Исключим недостижимые состояния.

Прямое произведение автоматов А и В с выброшенными недостижимыми состояниями

Проверка: если на любую входную цепочку сигналов произведение автоматов реагирует также как и исходные автоматы, то исходные автоматы эквивалентны

Входная цепочка сигналов	Входная цепочка сигналов автомата А	Входная цепочка сигналов автомата В	Входная цепочка сигналов автомата А х В
abab	1100	1100	1100 1100
bbba	1010	1010	1010 1010
abba	1101	1101	1101 1101

По графу переходов видно, что из всех достижимых состояний под воздействием входных сигналов автомат А х В выдает такие же пары выходных сигналов, как и исходные автоматы, следовательно автоматы А и В эквивалентны.