Теория автоматов. Лупал А.М. - 59 стр.

UptoLike

ВУЗ: 

СПб ГУАП | Санкт-Петербург

Составители: 

Рубрика: 

59
íûìè ñëîâàìè áóäóò ëèøü äâóõáóêâåííîå ñëîâî p
1
= αα, êîòîðîìó
ñîîòâåòñòâóåò âûõîäíîå ñëîâî q
1
= w
0
w
0
è îäíîáóêâåííîå ñëîâî p = α,
êîòîðîìó ñîîòâåòñòâóåò âûõîäíîå ñëîâî q = w
0
. Ñëåäîâàòåëüíî, ñîñòî-
ÿíèÿ a
3
è a
8
ñîâìåñòèìû, è èõ ìîæíî çàìåíèòü îäíèì ñîñòîÿíèåì. Ïå-
ðåîáîçíà÷èâ òåïåðü íà ðèñ. 5.2 a
0
" íà b
0
", a
0
' íà b
0
', a
1
íà b
1
, a
2
íà b
2
, a
5
íà
b
5
, a
7
íà b
6
, a
10
íà b
7
, a
11
íà b
8
, a
12
íà b
9
, a
13
íà b
10
, a
16
íà b
11
, a
19
íà b
12
, a
20
íà b
13
, a
17
íà b
14
, a
18
íà b
15
, ïîëó÷èì ãðàô àâòîìàòà Ìóðà B, èçîáðàæåí-
íûé íà ðèñ. 5.11.
Àâòîìàò B èìååò 17 ñîñòîÿíèé âìåñòî 22 ó àâòîìàòà A è ýòè àâòî-
ìàòû ýêâèâàëåíòíû.
Äåéñòâèòåëüíî, ïðîéäÿ âñå ïóòè èç íà÷àëüíûõ ñîñòîÿíèé ÷åðåç äðó-
ãèå ñîñòîÿíèÿ îïÿòü â íà÷àëüíûå, óáåæäàåìñÿ â òîì, ÷òî îïåðàòîð àâ-
òîìàòà îïðåäåëåí íà âñåõ âõîäíûõ ñëîâàõ èç òàáë. 5.3 è íà íà÷àëüíûõ
îòðåçêàõ è òîëüêî íà íèõ. Ïðè ýòîì êàæäîìó âõîäíîìó ñëîâó îí ñîïîñ-
òàâëÿåò òî æå ñàìîå åäèíñòâåííîå âûõîäíîå ñëîâî, ÷òî è îïåðàòîð àâ-
òîìàòà A.
Ãðàôó ðèñ. 5.11 ñîîòâåòñòâóåò îòìå÷åííàÿ òàáëèöà ïåðåõîäîâ
(òàáë. 5.15) àâòîìàòà B. Ôèíàëüíûå êëàññû àâòîìàòà B áóäåì íàõî-
äèòü ñ ïîìîùüþ òðåóãîëüíîé òàáëèöû (òàáë. 5.16), êîòîðàÿ çàïîëíÿåò-
ñÿ òàê æå, êàê è äëÿ àâòîìàòà Ìèëè. Ôèíàëüíûå êëàññû íàõîäÿòñÿ èç
íåå äëÿ àâòîìàòà Ìóðà ïî òåì æå ïðàâèëàì, ÷òî è àâòîìàòà Ìèëè.
z
1
z
1
z
1
z
1
z
1
z
1
z
1
z
1
z
z
0
z
0
z
0
z
0
z
0
z
0
z
0
b
1
0
b
1
4
b
1
5
b
1
3
a
3
b
8
a
5
b
1
2
w
0
w
1
w
1
w
0
w
0
w
0
w
0
w
0
w
1
w
1
b
2
b
6
b
7
b
3
b
1
1
b´
0
b
´
0
b
´
0
b´´
0
b
´
´
0
b
´
´
0
w
0
β
β
β
β
β
αα
αα
α
α
α
α
α
w
1
Ðèñ. 5.11

Страницы