Составители:
42
z(1)z(2) = z
0
z
0
ïðåîáðàçóåòñÿ íåîäíîçíà÷íî, ñïðàâà îò ïåðâûõ äâóõ âõîä-
íûõ ñëîâ äîïèñûâàåì áóêâó α, à ñëåâà îò ïåðâûõ äâóõ âûõîäíûõ ñëîâ
äîïèñûâàåì áóêâó β (òàáë. 5.3). Òî÷íî òàê æå ïîñòóïàåì ñî âòîðîé è ÷åò-
âåðòîé ïàðàìè âõîäíûõ è âûõîäíûõ ñëîâ. Â òðåòüåé ïàðå ñëîâ êîìáèíàöèÿ
z(1)z(2) = z
1
z
0
ïðåîáðàçóåòñÿ îäíîçíà÷íî (ñì. òàáë. 5.2) â w(1)w(2) = βw
0
.
Ïî ýòîé ïðè÷èíå òðåòüþ ïàðó âõîäíûõ è âûõîäíûõ ñëîâ íå èçìåíÿåì
(ñì. òàáë. 5.3). Òðåõáóêâåííûå íà÷àëüíûå îòðåçêè âõîäíûõ ñëîâ â òàáë.
5.2 âñå ðàçëè÷íû, ïîýòîìó îíè ïðåîáðàçóþòñÿ îäíîçíà÷íî. Òî æå ñàìîå
îòíîñèòñÿ ê ÷åòûðåõáóêâåííûì íà÷àëüíûì îòðåçêàì âõîäíûõ ñëîâ è ê
ïîëíûì âõîäíûì ñëîâàì â òàáë. 5.3. Òàêèì îáðàçîì, çàäàâàåìûé òàáë.
5.3 àëôàâèòíûé îïåðàòîð ϕ, áóäåò àâòîìàòíûì.
Åñëè áû èñõîäíûé îïåðàòîð ñîäåðæàë íå òðåõáóêâåííûå, à ÷åòûðåõáóê-
âåííûå âõîäíûå è âûõîäíûå ñëîâà, äëÿ ïðèâåäåíèÿ åãî ê àâòîìàòíîìó âèäó
òîëüêî ÷òî ðàññìîòðåííûì ñïîñîáîì ïðèøëîñü áû ïðîâåðÿòü îäíîçíà÷íîñòü
ïðåîáðàçîâàíèÿ è òðåõáóêâåííûõ íà÷àëüíûõ îòðåçêîâ âõîäíûõ ñëîâ.
Ïîñòðîèì òåïåðü ïî òàáë. 5.3 ãðàôû àâòîìàòîâ Ìèëè è Ìóðà. Áóäåì
ïðè ýòîì ïðåäïîëàãàòü, ÷òî ïîñëåäíèé ñèìâîë êàæäîãî âõîäíîãî ñëîâà
äîëæåí ïåðåâîäèòü àâòîìàò â íà÷àëüíîå ñîñòîÿíèå. Íà÷íåì ñ ãðàôà
àâòîìàòà Ìèëè (ðèñ. 5.1).
a
1
a
2
a
1
2
a
1
3
a
3
a
4
a
8
a
1
7
a
9
a
1
8
a
1
4
a
7
a
1
6
a
5
a
6
a
1
0
a
1
9
a
1
1
a
2
0
a
1
5
a
0
z
z
z
z
z
/
/
/
/
/
β
β
β
β
β
0
1
1
1
0
z
z
/
/
w
w
0
0
1
1
z
z
z
/
/
/
w
w
w
0
0
0
0
0
0
α
/
w
0
α
/
w
0
α
/
w
0
α
/
w
0
α
/
w
0
α
/
w
0
α
/
w
0
α
/
w
0
α
/
w
1
α
/
w
1
α
/
w
1
α
/
w
1
α
/
w
1
α
/
w
1
z
/
w
1
1
z
z
z
/
/
/
w
w
w
1
1
1
0
0
0
Ðèñ. 5.1
Страницы
- « первая
- ‹ предыдущая
- …
- 40
- 41
- 42
- 43
- 44
- …
- следующая ›
- последняя »
