Эквивалентные состояния и эквивалентные автоматы. Задача минимизации автоматов

Пример:
1/0
0/0
0/0
1/1
1/1
0/1
0
0
0
0
1
1
1
1
S
T
1/0
1/1
S~
T
0/0
0/1

§2. Теорема о существовании минимального автомата
x
x

Схема доказательства

Алгоритм минимизации автомата.
(алгоритм Ауфенкампа и Хона)

Пример:
1.
2.

3.
4.

5.
Smin

Обоснование алгоритма

Тогда
И т.д., пока не дойдем до классов первого порядка