Минимизировать автомат, заданный таблицей.
Y1 Y1 Y3 Y3 Y3 Y2 Y3 Y1 Y2 Y2 Y2 Y3
q1 q2 q3 q4 q5 q6 q7 q8 q9 q10 q11 q12
X1 q10 q12 q5 q7 q3 q7 q3 q10 q2 q1 q5 q2
X2 q5 q7 q6 q11 q9 q11 q6 q4 q6 q8 q9 q8
Решение
1) │p│= 1. Определим одно-эквивалентные состояния (1-эквивалентные), т.е. эквивалентные состояния на входные слова длины р=1.
Обозначим классы 1-эквивалентности буквой А.
Y1 Y1 Y3 Y3 Y3 Y2 Y3 Y1 Y2 Y2 Y2 Y3
q1 q2 q3 q4 q5 q6 q7 q8 q9 q10 q11 q12
X1 q10 q12 q5 q7 q3 q7 q3 q10 q2 q1 q5 q2
X2 q5 q7 q6 q11 q9 q11 q6 q4 q6 q8 q9 q8
А1 А1 А3 А3 А3 А2 А3 А1 А2 А2 А2 А3
1 класс: А1 = {q1, q2, q8},
2 класс: А2 = {q6, q9, q10, q11},
3 класс: А3 = {q3, q4, q5, q7, q12}.
π1 = {А1, А2, А3} = {q1, q2, q8; q6, q9, q10, q11; q3, q4, q5, q7, q12}.
2) │p│= 2. Определим 2-эквивалентные состояния, т.е. эквивалентные состояния на входные слова длины р=2
.
Обозначим классы 2-эквивалентности буквой B.
1 класс: B1 = {q1, q8},
2 класс: B2 = {q2},
3 класс: B3 = {q6, q11},
4 класс: B4 = {q9},
5 класс: B5 = {q10},
6 класс: B6 = {q3, q4, q5, q7},
7 класс: B7 = {q12}.
π2 = {B1, B2, B3, B4, B5, B6, B7} = {q1, q8; q2; q6, q11; q9; q10; q3, q4, q5, q7; q12}
π2 ≠ π1.
А1 А2 А3
q1 q8 q2 q6 q11 q9 q10 q3 q4 q7 q5 q12
X1 А2 А2 А3 А3 А3 А1 А1 А3 А3 А3 А3 А1
X2 А3 А3 А3 А2 А2 А2 А1 А2 А2 А2 А2 А1
B1 B2 B3 B4 B5 B6 B7
X1 B5 B5 B7 B6 B6 B2 B1 B6 B6 B6 B6 B2
X2 B6 B6 B6 B3 B4 B3 B1 B3 B3 B3 B4 B1
C1 C2 C3 C4 C5 C6 C7 C8 C9
3) │p│= 3. Определим 3-эквивалентные состояния, т.е. эквивалентные состояния на входные слова длины р=3