Эксперимент с автоматом Мили и Мура на произвольное входное слово

1) │p│= 1. Определим одно-эквивалентные состояния (1-эквивалентные), т.е. эквивалентные состояния на входные слова длины р=1.
Обозначим классы 1-эквивалентности буквой А.
S1 S2 S3 S4 S5 S6 S7 S8 S9 S10 S11 S12
z1 S10
Y2 S12
Y1 S5
Y2 S7
Y2 S3
Y1 S7
Y2 S3
Y1 S10
Y2 S7
Y2 S1
Y2 S5
Y2 S2
Y2
z2 S4
Y2 S8
Y2 S6
Y1 S11
Y1 S9
Y2 S11
Y1 S6
Y2 S4
Y2 S6
Y1 S8
Y1 S9
Y1 S8
Y1
А1 А2 А3 А3 А2 А3 А2 А1 А3 А3 А3 А3
1 класс: А1 = {S1, S8},
2 класс: А2 = {S2, S5, S7},
3 класс: А3 = {S3, S4, S6, S9, S10, S11, S12}.
π1 = {А1, А2, А3} = {S1, S8; S2, S5, S7; S3, S4, S6, S9, S10, S11, S12}.
2) │p│= 2 . Определим 2-эквивалентные состояния, т.е. эквивалентные состояния на входные слова длины р=2.
Обозначим классы 2-эквивалентности буквой B.
1 класс: B1 = {S1, S8},
2 класс: B2 = {S2},
3 класс: B3 = {S5, S7},
4 класс: B4 = {S3, S4, S6, S9, S11},
5 класс: B5 = {S10},
6 класс: B6 = {S12},
π2 = {B1, B2, B3, B4, B5, B6} = {S1, S8; S2; S5, S7; S3, S4, S6, S9, S11; S10; S12} ≠ π1.
А1 А2 А3
S1 S8 S2 S5 S7 S3 S4 S6 S9 S11 S10 S12
z1 А3 А3 А3 А3 А3 А2 А2 А2 А2 А2 А1 А2
z2 А3 А3 А1 А3 А3 А3 А3 А3 А3 А3 А1 А1
B1 B2 B3 B4 B5 B6
z1 B5 B5 B6 B4 B4 B3 B3 B3 B3 B3 B1 B2
z2 B4 B4 B1 B4 B4 B4 B4 B4 B4 B4 B1 B1
C1 C2 C3 C4 C5 C6
3) │p│= 3