Составители:
60
Òàáëèöà 5.15
Èç òàáë. 5.16 èìååì ñëåäóþùèå ïàðû ñîâìåñòèìûõ ñîñòîÿíèé:
(b
0
', b
4
), (b
0
", b
3
), (b
3
, b
15
), (b
4
, b
5
), (b
5
, b
10
),
(b
0
', b
5
), (b
0
", b
8
), (b
4
, b
10
),
(b
0
', b
7
), (b
0
", b
12
),
(b
0
', b
13
), (b
0
", b
15
),
(b
0
', b
14
),
(b
7
, b
10
), (b
10
, b
13
), (b
13
, b
14
).
(b
7
, b
13
), (b
10
, b
14
),
Ïîñëå ïðîâåäåíèÿ óêðóïíåíèÿ ãðóïï ñîâìåñòèìûõ ñîñòîÿíèé ïîëó-
÷èì ôèíàëüíûå êëàññû è ñîîòâåòñòâóþùèå èì ñîñòîÿíèÿ ìèíèìàëüíî-
ãî àâòîìàòà C.
C
0
' = K
1
= {b
0
', b
4
, b
5
}, C
5
= K
7
= {b
8
},
C
0
' = K
2
= {b
0
', b
3
, b
15
}, C
6
= K
8
= {b
9
},
w t b t
α
z
z
w
b
b
b
'
w
b
b
b
'
β
b
b
b
$
β
b
b
3
b
#
w
b
!
b
"
w
b
"
b
w
b
#
b
"
β
b
$
b
!
b
%
w
b
%
b
&
w
b
&
b
β
b
'
b
b
w
b
b
!
b
&
β
b
b
"
b
w
b
b
!
w
b
!
b
w
b
"
b
#
w
b
#
b
