Составители:
62
C
1
= K
3
= {b
1
}, C
7
= K
9
= {b
11
},
C
2
= K
4
= {b
2
}, C
8
= K
10
= {b
12
},
C
3
= K
5
= {b
6
}, C
9
= K
11
= {b
13
, b
14
}.
C
4
= K
6
= {b
1
, b
10
},
Ïîëó÷åííîå ìíîæåñòâî ôèíàëüíûõ êëàññîâ óäîâëåòâîðÿåò óñëîâèÿì
ïîëíîòû è çàìêíóòîñòè, â ÷åì ëåãêî óáåäèòüñÿ ñ ïîìîùüþ òàáë. 5.15.
Äëÿ ýòîãî ìíîæåñòâà ñòðîèì íîðìàëüíóþ ôîðìó àâòîìàòà, êîòîðàÿ è
áóäåò ìèíèìàëüíûì àâòîìàòîì ýêâèâàëåíòíî ïðîäîëæàþùèì àâòîìàò
A. Îòìå÷åííàÿ òàáëèöà ïåðåõîäîâ ìèíèìàëüíîãî àâòîìàòà ïðèâåäåíà
â òàáë. 5.17. Ïî íåé íà ðèñ. 5.12 ïîñòðîåí ãðàô ìèíèìàëüíîãî àâòîìàòà
Ìóðà.
Òàáëèöà 5.17
w t c t
α
z
z
w
c
c
c
c
$
w
c
c
c
c
$
β
c
c
c
!
β
c
c
c
β
c
!
c
c
"
w
c
"
c
#
c
'
c
5
w
c
#
c
β
c
$
c
"
c
%
β
c
%
c
'
c
&
w
c
&
c
'
w
c
'
c
c´´
0
α
α
α
α
α
α∨
z
1
z
1
z
1
z
1
z
1
z
1
z
0
z
0
z
0
z
0
z
0
c
7
c
5
c
8
c
6
c
9
c
4
c
3
c
2
c
1
w
1
w
1
w
1
w
0
w
0
w
0
β
β
β
β
β
c´
0
Ðèñ. 5.12
z
1
z
0
α
