Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Lupal A.M. Teoriya Avtomatov. Uchebnoe Posobie (SPB, 2000) (Ru) (120s) - CsAl
Lupal A.M. Teoriya Avtomatov. Uchebnoe Posobie (SPB, 2000) (Ru) (120s) - CsAl
Ñàíêò-Ïåòåðáóðãñêèé
ãîñóäàðñòâåííûé óíèâåðñèòåò àýðîêîñìè÷åñêîãî ïðèáîðîñòðîåíèÿ
À. Ì. Ëóïàë
ÒÅÎÐÈß ÀÂÒÎÌÀÒÎÂ
Ó÷åáíîå ïîñîáèå
Ñàíêò-Ïåòåðáóðã
2000
ÓÄÊ 519.7(075)
ÁÁÊ 32.815
Ë85
Ëóïàë À. Ì.
Ë77 Òåîðèÿ àâòîìàòîâ: Ó÷åá. ïîñîáèå/ ÑÏáÃÓÀÏ. ÑÏá., 2000. 119 ñ.: èë.
ISBN 5808800447
Ðåöåíçåíòû:
êàôåäðà àâòîìàòèêè è ïðîöåññîâ óïðàâëåíèÿ
Ñàíêò-Ïåòåðáóðãñêîãî ãî ñóäàðñòâåííîãî ýëåêò ðîòåõíè÷å ñêîãî óíèâåðñèòåò à;
êàíäèäàò òåõíè÷åñêèõ íàóê äîöåíò Ë. À. ×óãóíîâ
Óòâåðæäåíî
ðåäàêöèîííî-èçäàòåëüñêèì ñîâåòîì óíèâåðñèòåòà
â êà÷åñòâå ó÷åáíîãî ïîñîáèå
© À. Ì. Ëóïàë,2000
2
1. ÊÈÁÅÐÍÅÒÈÊÀ ÍÀÓÊÀ ÎÁ ÓÏÐÀÂËÅÍÈÈ
4
òàêóþ æå èëè ïðèìåðíî òàêóþ æå ïåðåðàáîòêó èíôîðìàöèè, êàê è èñ-
õîäíûé ïðîöåññ, à çàòåì îöåíèòü êà÷åñòâî ïðèáëèæåíèÿ.
Èñïîëüçóåìûå â êèáåðíåòèêå ìåòîäû èññëåäîâàíèÿ ìîæíî ðàçäå-
ëèòü íà ìàòåìàòè÷åñêèå è ýêñïåðèìåíòàëüíûå, ïðè÷åì èìåííî ê ïîñëå-
äíèì îòíîñÿòñÿ ëîãè÷åñêèé àíàëèç è ñèíòåç ñèñòåì óïðàâëåíèÿ. Ïîýòî-
ìó äèñöèïëèíû Äèñêðåòíàÿ ìàòåìàòèêà, è Òåîðèÿ àâòîìàòîâ ÿâëÿ-
þòñÿ ñîñòàâíûìè ÷àñòÿìè íàóêè êèáåðíåòèêè.
5
2. ÂÂÅÄÅÍÈÅ Â ÒÅÎÐÈÞ ÀËÃÎÐÈÒÌÎÂ
9
ýòîìó íàçûâàåòñÿ êîìïîçèöèåé ôóíêöèé, áóäåò èìåòü âèä, ïðåäñòàâ-
ëåííûé íà ðèñ. 2.1.
Íà÷àëî À1 À2 Êîíåö
10
âûáèðàåòñÿ êîíå÷íûé íàáîð ñïîñîáîâ ïîñòðîåíèÿ èç íèõ íîâûõ
îáúåêòîâ;
ôèêñèðóåòñÿ íàáîð ýëåìåíòàðíûõ øàãîâ;
ðàçðàáàòûâàåòñÿ ñïîñîá ñîçäàíèÿ ïàìÿòè è âûáîðêè èíôîðìàöèè
èç ïàìÿòè.
 ðåçóëüòàòå ýòèõ äåéñòâèé ñîçäàåòñÿ êîíêðåòíàÿ àëãîðèòìè÷åñêàÿ
ìîäåëü.
Ìîæíî âûäåëèòü òðè îñíîâíûõ òèïà àëãîðèòìè÷åñêèõ ìîäåëåé, êî-
òîðûå ðàçëè÷àþòñÿ ýâðèñòè÷åñêèìè ñîîáðàæåíèÿìè îòíîñèòåëüíî òîãî,
÷òî òàêîå àëãîðèòì.
1. Â ïåðâîé ìîäåëè ïîíÿòèå àëãîðèòìà ñâÿçûâàåòñÿ ñ íàèáîëåå òðà-
äèöèîííûìè ïîíÿòèÿìè ìàòåìàòèêè âû÷èñëåíèÿìè è ÷èñëîâûìè ôóí-
êöèÿìè. Íàèáîëåå øèðîêî èñïîëüçóåìàÿ ìîäåëü ýòîãî òèïà ðåêóðñèâ-
íûå ôóíêöèè. Ðåêóðñèâíàÿ ôóíêöèÿ îïèñûâàåòñÿ ïîñðåäñòâîì òàê íà-
çûâàåìûõ èíäóêòèâíûõ (èëè ðåêóððåíòíûõ) îïðåäåëåíèé, îñíîâàííûõ
íà ïåðåõîäå îò n ê n+1. Ñëîâî ðåêóððåíòíûé îçíà÷àåò âîçâðàòíûé
îò ëàòèíñêîãî ñëîâà recurso âîçâðàùàþñü, áåãó íàçàä. È åñëè àëãî-
ðèòì íîñèò âîçâðàòíûé õàðàêòåð, òî îí è íàçûâàåòñÿ ðåêóðñèâíûì. Ïðè-
ìåðîì ìîæåò ñëóæèòü àëãîðèòì ïîëó÷åíèÿ íàòóðàëüíîãî ðÿäà ÷èñåë:
÷òîáû îïðåäåëèòü ÷èñëî 4, íóæíî ñíà÷àëà îïðåäåëèòü ÷èñëî 3, à ÷òîáû
îïðåäåëèòü ÷èñëî 3, íóæíî ñíà÷àëà îïðåäåëèòü ÷èñëî 2 è ò.ä. âïëîòü äî 1.
Ðåêóðñèâíûå ôóíêöèè ìîãóò áûòü îïðåäåëåíû êàê íåêîòîðûå íîâûå
ôóíêöèè, ïîëó÷àåìûå èç óæå èìåþùèõñÿ ôóíêöèé ñ ïîìîùüþ îïåðàöèè
ñóïåðïîçèöèè.
Îïåðàòîðîì ñóïåðïîçèöèè Smn íàçûâàåòñÿ ïîäñòàíîâêà â ôóíêöèþ
îò m ïåðåìåííûõ m ôóíêöèé îò n îäíèõ è òåõ æå ïåðåìåííûõ. Íàïðè-
ìåð, åñëè èìååì ôóíêöèè h(x1, x2, ...,xm), g1(x1, x2,...xn), g2(x1, x2, ...xn), ...,
gm(x1, x2, ..., xn) , òî Smn (h, g1, g2, ..., gm) = h(g1(x1, x2, ..., xn), g2(x1, x2, ...,
xn), ..., gm(x1, x2, ...,xn)) = f(x1, x2, ..., xn).
2. Âòîðîé òèï àëãîðèòìè÷åñêîé ìîäåëè îñíîâàí íà ïðåäñòàâëåíèè îá
àëãîðèòìå êàê î íåêîòîðîì äåòåðìèíèðîâàííîì óñòðîéñòâå, ñïîñîáíîì
âûïîëíÿòü â êàæäûé îòäåëüíûé ìîìåíò âðåìåíè ëèøü âåñüìà ïðèìè-
òèâíûå îïåðàöèè.
Ýâðèñòèêà ýòèõ ìîäåëåé áëèçêà ê ÝÂÌ è, ñëåäîâàòåëüíî, áëèçêà ê
èíæåíåðíîé èíòóèöèè. Îñíîâíîé òåîðåòè÷åñêîé ìîäåëüþ ýòîãî òèïà, ñî-
çäàííîé â 30-õ ãîäàõ, ÿâëÿåòñÿ ìàøèíà Òüþðèíãà.
11
3. Òðåòèé òèï àëãîðèòìè÷åñêèõ ìîäåëåé ýòî ïðåîáðàçîâàíèÿ ñëîâ
â ïðîèçâîëüíûõ àëôàâèòàõ, â êîòîðûõ ýëåìåíòàðíûìè îïåðàöèÿìè ÿâ-
ëÿþòñÿ îïåðàöèè ïîäñòàíîâêè, ò. å. çàìåíû ÷àñòè ñëîâà (ïîäñëîâà) äðó-
ãèì ñëîâîì. Ïðèìåðàìè òàêèõ ìîäåëåé ÿâëÿþòñÿ êîíå÷íûå àâòîìà-
òû, ñîçäàííûå ïî àëôàâèòíîìó îòîáðàæåíèþ.
12
3. ÌÀØÈÍÀ ÒÜÞÐÈÍÃÀ
 1937 ãîäó àíãëèéñêèé ìàòåìàòèê À.Ì. Òüþðèíã, êîòîðûé áûë ïîñ-
ëåäîâàòåëåì òåîðèè î òîì, ÷òî ìàøèíà ñïîñîáíà ìûñëèòü è ñ åå ïîìî-
ùüþ ìîæíî ñìîäåëèðîâàòü ïñèõè÷åñêóþ äåÿòåëüíîñòü ÷åëîâåêà, ïðåä-
ëîæèë îáùóþ è âìåñòå ñ òåì î÷åíü ïðîñòóþ êîíöåïöèþ âû÷èñëèòåëü-
íîé ìàøèíû. Â ñâîåì òðóäå Òüþðèíã èñõîäèë èç òîãî, ÷òî ïðåäëàãàå-
ìàÿ èì âû÷èñëèòåëüíàÿ ìàøèíà óïîäîáëÿåòñÿ âû÷èñëèòåëþ, êîòîðûé
âûïîëíÿåò îïåðàöèè â òî÷íîì ñîîòâåòñòâèè ñ íåêîòîðûì ñòðîãèì îïè-
ñàíèåì. Ðàáîòà ìàøèíû Òüþðèíãà íàïîìèíàåò äåéñòâèÿ âû÷èñëèòåëÿ,
êîòîðûé, áóäó÷è íå â ñîñòîÿíèè ñðàçó îáîçðåòü âñþ, ÷àñòî î÷åíü ãðî-
ìîçäêóþ ñèñòåìó äàííûõ è ïðåäïèñàíèé, ïðîèçâîäèò êàæäûé ðàç ëèøü
êàêîå-ëèáî ýëåìåíòàðíîå äåéñòâèå, ïðè÷åì òîëüêî íàä íåêîòîðîé âîñ-
ïðèíèìàåìîé èì ÷àñòüþ äàííûõ (èëè ïðîìåæóòî÷íûõ ðåçóëüòàòîâ).
Íà ñëåäóþùåì ýòàïå îí ëèáî ïðîäîëæàåò âîñïðèíèìàòü òó æå ÷àñòü
äàííûõ, ëèáî ïåðåõîäèò ê äðóãîé ÷àñòè, íàõîäÿùåéñÿ ðÿäîì ñ íåé.
qi : sj
⇑ îáîçðåâàåìàÿ
ÿ÷åéêà
ãîëîâêà
Ðèñ. 3.1
q1 q2 q3 … qr
s1
s2 q8s7L
s3
…
sk
Ðèñ. 3.2
15
Ëîãè÷åñêàÿ ôóíêöèÿ ìîæåò áûòü çàäàíà òàêæå ñ ïîìîùüþ ñ è ñ ò å -
ì û Ò ü þ ð è í ã î â û õ ê î ì à í ä (ΣÒ), êîòîðûå èìåþò âèä
qi sj → qi′ si′ dk , (1)
ãäå çíàê → ÷èòàåòñÿ âëå÷åò çà ñîáîé èëè ïðèâîäèò ê .... Êîìàíäà,
ñîîòâåòñòâóþùàÿ ôðàãìåíòó ôóíêöèîíàëüíîé ñõåìû, ïðåäñòàâëåííîé
íà ðèñ. 3.2, èìååò âèä q2 s2 → q8 s7 L .
Òðåòüèì ñïîñîáîì çàäàíèÿ ëîãè÷åñêîé ôóíêöèè ÿâëÿåòñÿ á ë î ê
ñ õ å ì à , íàçûâàåìàÿ ä è à ã ð à ì ì î é ( ã ð à ô î ì ) ï å ð å õ î -
ä î â è èçîáðàæàåìàÿ â âèäå ãðàôà, â êîòîðîì ñîñòîÿíèÿì ìàøèíû
Òüþðèíãà ñîîòâåòñòâóþò âåðøèíû (óçëû), à êîìàíäàì âèäà (1) ðåáðà,
âåäóùèå èç qi â qi′ , íà êîòîðûõ çàïèñàíî sj → si′ dk.
Íà ðèñ. 3.3 ïðèâåäåí ôðàãìåíò äèàãðàììû ïåðåõîäîâ ìàøèíû Òüþ-
ðèíãà, ñîîòâåòñòâóþùèé ôðàãìåíòó ôóíêöèîíàëüíîé ñõåìû, ïðåäñòàâ-
ëåííîé íà ðèñ. 3.2.
Òàêèì îáðàçîì, ìàøèíà Òüþðèíãà ïðåäñòàâ-
ëÿåò ñîáîé ìàêñèìàëüíî óïðîùåííûé âàðèàíò âû-
s → s% L
q q& ÷èñëèòåëüíîé ìàøèíû, èìåþùåé îäíîàäðåñíóþ
ñòðóêòóðó, ñ âîçìîæíîñòüþ èçìåíåíèÿ àäðåñà îáî-
Ðèñ. 3.3 çðåâàåìîé ÿ÷åéêè òîëüêî íà 1. Ïîýòîìó íåîáõî-
äèìîå äëÿ ïðîöåññà âû÷èñëåíèé ñîäåðæàíèå êà-
êîé-ëèáî ÿ÷åéêè îòûñêèâàåòñÿ ïóòåì ïîñòåïåííîé ïðîâåðêè âñåõ ÿ÷ååê
ïîäðÿä äî òåõ ïîð, ïîêà íå áóäåò îáíàðóæåíà íóæíàÿ ÿ÷åéêà.
q1: 1 1 1 1 1
16
Ëîãè÷åñêàÿ ôóíêöèÿ ðàññìàòðèâàåìîé ìàøèíû îïèñûâàåòñÿ ôóíê-
öèîíàëüíîé ñõåìîé (ðèñ. 3.4).
q q q! q" q#
λ q" λ R q! λ L q λ R q# λ L q# λ E
q αE q β E q R q# λ R q# E
α q" α L q αR q! L q" λ R q# α E
β q β L q βR q! λ L q" R q# β E
Ðèñ. 3.4
q 2: 1 α 1 1 1
↑
Òàêò 2 t2
Òàê êàê ñäâèãà íå áûëî, òî âíîâü îáîçðåâàåòñÿ 4-ÿ ÿ÷åéêà, íî óæå â
ñîñòîÿíèè q2.
17
Ðåçóëüòàò: q2 α R, ò. å. âûïîëíÿåòñÿ êîìàíäà q2 α → q2 α R. Ñëåäîâà-
òåëüíî, ãîëîâêà ïåðåäâèíóëàñü â 3-þ ÿ÷åéêó (âïðàâî), â îáîçðåâàåìîé
4-é ÿ÷åéêå ëåíòû îñòàëñÿ ñèìâîë α, à ìàøèíà Òüþðèíãà îñòàëàñü â
ñîñòîÿíèè q2. Ïîëó÷èì
5 4 3 2 1
q 2: 1 α 1 1 1
↑
Òàêò 3 t3
Îáîçðåâàåòñÿ 1 èç 3-é ÿ÷åéêè. Ðåçóëüòàò: q1 β E , ò. å. âûïîëíÿåòñÿ
êîìàíäà q2 1 → q1 β E , ñäâèãà íåò. Ïîëó÷èì
5 4 3 2 1
G1: 1 α β 1 1
↑
Òàêò 4 t4
Âíîâü àíàëèçèðóåòñÿ 3-ÿ ÿ÷åéêà â ñîñòîÿíèè q1 è îáîçðåâàåòñÿ ñèì-
âîë β. Ðåçóëüòàò: q1 β L , ò. å. âûïîëíÿåòñÿ êîìàíäà q1 β → q1 β L , è
îñóùåñòâëÿåòñÿ ñäâèã âëåâî. Ïîëó÷èì
5 4 3 2 1
G4: 1 α β 1 1
↑
Òàêò 5 t5
Àíàëèçèðóåòñÿ 4-ÿ ÿ÷åéêà â ñîñòîÿíèè q1, îáîçðåâàåòñÿ ñèìâîë α.
Ðåçóëüòàò: q4 α L, ò. å. âûïîëíÿåòñÿ êîìàíäà q1 α → q4 α L, îñóùå-
ñòâëÿåòñÿ ñäâèã ãîëîâêè âëåâî. Ïîëó÷èì
5 4 3 2 1
G4: 1 α β 1 1
↑
Òàêò 6 t6
Îáîçðåâàåòñÿ 5-ÿ ÿ÷åéêà â ñîñòîÿíèè q4. Òàì íàõîäèòñÿ ñèìâîë 1,
ïîýòîìó ðåçóëüòàò: q5 λ R , ò. å. âûïîëíÿåòñÿ êîìàíäà q4 1 → q5 λ R , è
îñóùåñòâëÿåòñÿ ñäâèã âïðàâî. Ïîëó÷èì
18
5 4 3 2 1
G5: λ α β 1 1
↑
Òàêò 7 t7
Îáîçðåâàåòñÿ 4-ÿ ÿ÷åéêà â ñîñòîÿíèè q5. Òàì íàõîäèòñÿ ñèìâîë α,
ïîýòîìó ðåçóëüòàò: q5 α E, ò. å. âûïîëíÿåòñÿ êîìàíäà q5 α → q5 α E ,
ñîñòîÿíèå è ñèìâîë íå ìåíÿþòñÿ, ñäâèãà íåò. Ïîëó÷èì
5 4 3 2 1
G5: λ α β 1 1
↑
Ñîñòîÿíèå q5 ÿâëÿåòñÿ êîíå÷íûì ñîñòîÿíèåì ìàøèíû Òüþðèíãà èëè
ñòîïñîñòîÿíèåì, òàê êàê ïîñëå àíàëèçà ñèìâîëà α â ñîñòîÿíèè q5, íèêà-
êèõ èçìåíåíèé íà ëåíòå íå ïðîèñõîäèò è â íîâîå ñîñòîÿíèå ìàøèíà íå ïåðåéäåò.
Ýòîò âûâîä ïîäòâåðæäàåòñÿ àíàëèçîì ïîñëåäíåãî ñòîëáöà ôóíêöè-
îíàëüíîé ñõåìû, èç êîòîðîãî âèäíî, ÷òî ïðè âîçíèêíîâåíèè ñîñòîÿíèÿ q5
ïðîèçîéäåò îñòàíîâêà ìàøèíû, òàê êàê ëþáîé îáîçðåâàåìûé ñèìâîë íå
çàìåíÿåòñÿ äðóãèì, à îñòàåòñÿ. Ñäâèãà òàêæå íå ïðîèñõîäèò, è ìàøèíà
ñíîâà è ñíîâà áóäåò îáîçðåâàòü îäèí è òîò æå ñèìâîë. Ýòî è åñòü ñòîï-
ñîñòîÿíèå, ñèãíàëèçèðóþùåå î ðåçóëüòàòèâíîì çàâåðøåíèè ïðîöåññà, î
åãî ñõîäèìîñòè.  ýòîì ñëó÷àå ãîâîðÿò, ÷òî ìàøèíà Òüþðèíãà ïðèìå-
íèìà ê èíôîðìàöèè, ïîäàííîé íà íåå äî çàïóñêà.
 ðåçóëüòàòå ðàáîòû ìàøèíû Òüþðèíãà áûëà ïîëó÷åíà ñëåäóþùàÿ
ñõåìà èçìåíåíèÿ èíôîðìàöèè íà ëåíòå.
# " !
J
J α
J α
J! α β
J" α β
J# α β
J$ α β
J% α β
19
Îñîáåííîñòüþ îïèñàíèÿ ìàøèíû Òüþðèíãà ÿâëÿåòñÿ òî, ÷òî ôóíê-
öèîíàëüíàÿ ñõåìà è ñòðóêòóðíàÿ ñõåìà, åå ðåàëèçóþùàÿ, ìîãóò áûòü
îòîæäåñòâëåíû, òàê êàê ñòðóêòóðíàÿ ñõåìà âñåãäà îäèíàêîâà äëÿ ëþ-
áîé ìàøèíû. Òàêèì îáðàçîì, ìàøèíû Òüþðèíãà îòëè÷àþòñÿ ðåàëèçóå-
ìîé ëîãè÷åñêîé ôóíêöèåé (Òüþðèíãîâîé ïðîãðàììîé), êîòîðàÿ ñóùåñòâóåò
èëè â âèäå ôóíêöèîíàëüíîé ñõåìû èëè â âèäå ñèñòåìû êîìàíä (∑Ò). Ïî-
ýòîìó òåðìèíû Ôóíêöèîíàëüíàÿ ñõåìà ÌÒ è Òüþðèíãîâà ïðîãðàì-
ìà ÿâëÿþòñÿ ñèíîíèìàìè.
Óäîáíåå ïîëüçîâàòüñÿ óïðîùåííîé çàïèñüþ Òüþðèíãîâûõ êîìàíä è
ôóíêöèîíàëüíûõ ñõåì, â êîòîðûõ íå çàïèñûâàþòñÿ âûõîäíûå ñèìâîëû
àëôàâèòà è íîâûå ñîñòîÿíèÿ, åñëè îíè íå ìåíÿþòñÿ, à òàêæå íå ôèêñè-
ðóåòñÿ çíàê Å, óêàçûâàþùèé íà îòñóòñòâèå ñäâèãà. Ýòî ïîçâîëÿåò â
òàáëèöå îïóñòèòü ñòîëáåö, ñîîòâåòñòâóþùèé ñòîï-ñîñòîÿíèþ, ñàìî
ñòîï-ñîñòîÿíèå îòìåòèòü çíàêîì ! , à â ñèñòåìå êîìàíä íåò íåîáõî-
äèìîñòè ôèêñèðîâàòü ïîñëåäíþþ êîìàíäó.
Íàïðèìåð, âìåñòî q2α→q2αR ìîæíî ïèñàòü q2α→R. Òîãäà óïðî-
ùåííàÿ ôóíêöèîíàëüíàÿ ñõåìà, ïðåäñòàâëåííàÿ íà ðèñ. 3.4, áóäåò èìåòü
âèä, ïîêàçàííûé íà ðèñ. 3.5.
q q q! q"
λ q" R q! L q R L
q α q β q R λ R
α q" L R L λR
β L R R
Ðèñ. 3.5
20
âíóòðåííåãî ñîñòîÿíèÿ;
ñîñòîÿíèÿ ëåíòû (ò. å. ñëîâà, çàïèñàííîãî íà ëåíòå);
ïîëîæåíèÿ ãîëîâêè íà ëåíòå.
Êîíôèãóðàöèÿ îáîçíà÷àåòñÿ òðîéêîé ñèìâîëîâ K = α1qi α2 , ãäå qi
òåêóùåå âíóòðåííåå ñîñòîÿíèå, α1 ñëîâî ñëåâà îò ãîëîâêè; α2 ñëîâî,
îáðàçîâàííîå ñèìâîëîì, îáîçðåâàåìûì ãîëîâêîé, è ñèìâîëîì ñïðàâà
îò íåãî, ïðè÷åì, ñëåâà îò α1 è ñïðàâà îò α2 íåò íåïóñòûõ ñèìâîëîâ (ò. å.
ëèáî çàïèñàíî λ, ëèáî íè÷åãî).
Íàïðèìåð, åñëè âíóòðåííåå ñîñòîÿíèå qi = abcde, à ãîëîâêà îáîçðå-
âàåò ñèìâîë d, òîãäà êîíôèãóðàöèÿ ìàøèíû Òüþðèíãà K = abcqi de, ò. å.
qi= a b c d e
α1 α2
Ñòàíäàðòíàÿ íà÷àëüíàÿ êîíôèãóðàöèÿ îáîçíà÷àåòñÿ êàê K1=q1α, ãäå
q1 íà÷àëüíîå ñîñòîÿíèå, à ãîëîâêà îáîçðåâàåò êðàéíèé ëåâûé ñèìâîë.
Ñòàíäàðòíàÿ êîíå÷íàÿ êîíôèãóðàöèÿ èìååò âèä Kz=qzα, ãäå qz êîíå÷-
íîå ñîñòîÿíèå è âîêðóã îáîçðåâàåìîé ÿ÷åéêè ïóñòûå ñèìâîëû.
Ðàáîòà ìàøèíû Òüþðèíãà ìîæåò áûòü îïèñàíà ñ ïîìîùüþ ïîñëå-
äîâàòåëüíîñòè êîíôèãóðàöèé.
Îïðåäåëåíèå. Åñëè ê íåêîòîðîé êîíôèãóðàöèè ìàøèíû Òüþðèíãà
K ïðèìåíèìà ðîâíî îäíà êîìàíäà, ïðèâîäÿùàÿ ê êîíôèãóðàöèè K ,
òî ãîâîðÿò, ÷òî ìåæäó êîíôèãóðàöèÿìè K è K ñóùåñòâóåò îòíîøå-
íèå K → K , ÷òî îçíà÷àåò: K ïåðåõîäèò â K ïî Òüþðèíãó.
T
Åñëè æå äëÿ K1 è Kn ñóùåñòâóåò ïîñëåäîâàòåëüíîñòü ðàçëè÷íûõ êîí-
ôèãóðàöèé òàêàÿ, ÷òî K1 → K2 → K3 → ... → Kn, òî òàêàÿ ïîñëåäîâà-
T T T T
òåëüíîñòü îáîçíà÷àåòñÿ K1 ⇒ T
Kn. Ïîñëåäîâàòåëüíîñòü êîíôèãóðàöèé
K1 → K2 → ... →T
Kn îäíîçíà÷íî îïðåäåëÿåòñÿ èñõîäíîé êîíôèãóðàöèåé
T T
K1 è ïîëíîñòüþ îïèñûâàåò ðàáîòó ìàøèíû Òüþðèíãà, íà÷èíàÿ ñ K1.
 êà÷åñòâå ïðèìåðà ðàññìîòðèì ñèñòåìó êîìàíä ΣÒ, ñîñòàâëåííóþ
íà îñíîâå ôóíêöèîíàëüíîé ñõåìû, ïðèâåäåííîé íà ðèñ. 3.4 (âûïèñûâàåì
òîëüêî òå êîìàíäû, êîòîðûå ïîíàäîáÿòñÿ äëÿ èëëþñòðàöèè):
q1 1 → q2 α E (1) q1 b → q1 β L (4) q4 1 → q5 λ R (6)
21
q2 α → q2 α R (2) q1 α → q4 α L (5) q5 α → q5 α E (7)
q2 1 → q1 β E (3)
Ïðè çàäàííîé âõîäíîé èíôîðìàöèè (11111) è íà÷àëüíîé ÿ÷åéêå (4-é)
ïîëó÷èì ñëåäóþùóþ ïîñëåäîâàòåëüíîñòü êîíôèãóðàöèé ìàøèíû Òüþ-
ðèíãà:
1q1 1111 → 1q2α111→ 1α q2 111→ 1αq1β11→
Ê1 Ê2 Ê3 Ê4-
→ 1q1αβ11→ q41αβ11→ λq5 αβ11→λq5αβ11
Ê5 Ê6 Ê7 !
ñòîï-ñîñòîÿíèå
Ñëåäîâàòåëüíî, 1q11111 ⇒ λq5αβ11 .
T
↑
Íåîáõîäèìî íàéòè èõ ñóììó, ò. å. çàïèñàòü ïîäðÿä 10 åäèíèö, ïîëó-
÷èâ
22
íîãî ðÿäà. Äëÿ ðåàëèçàöèè ñëîæåíèÿ íåîáõîäèìî èñïîëüçîâàòü ôóíêöè-
îíàëüíóþ ñõåìó ìàøèíû Òüþðèíãà, èçîáðàæåííóþ íà ðèñ. 3.6.
q q q
1 q λR L R
λ R qR q
∗ λ L R
Ðèñ. 3.6
G2: λ 1 1 1 1 1 * 1 1 1 1
↑ ↑ ↑ ... ↑ ... ↑
J1 J2 J3 J6 J10
23
Òàêò 11 t11
G2: λ 1 1 1 1 1 * 1 1 1 1
↑
J11
Òàêò 12 t12
q2 λ → q1 1, ò. å. â ïóñòóþ ÿ÷åéêó âïèñûâàåì 1 è ïåðåõîäèì â
ñîñòîÿíèå q1
G1: λ 1 1 1 1 1 * 1 1 1 1 1
↑
J12
Òåïåðü âíîâü ïîïàëè â íà÷àëüíóþ ñèòóàöèþ, íî óæå íå â ñîñòîÿíèè
q0, à â ñîñòîÿíèè q1.
Òàêò 13 t13
q1 1 → L
⇐L
q1: λ 1 1 1 1 1 * 1 1 1 1 1
↑ ↑ ↑ ... ↑ ↑ ... ↑ ↑
G1: λ 1 1 1 1 1 * 1 1 1 1 1
↑
J23
Òàêò 24 t24
q1 λ → q0 R, ïåðåõîäèì â ñîñòîÿíèå q0 è ñäâèãàåìñÿ âïðàâî ê ïåðâîé
1
24
⇒4
G0: λ 1 1 1 1 1 * 1 1 1 1
↑ ↑ ↑
G1: λ λ 1 1 1 1 * 1 1 1 1 1 1
↑ ↑
J47 J37 (àíàëîã J12)
Òàêò 48 t48
G0: λ λ 1 1 1 1 * 1 1 1 1 1 1
↑
J48 (àíàëîã J0) J35 (àíàëîã J10)
Òàêò 49 t49
q01 → q2 λR
G2: λ λ λ 1 1 1 * 1 1 1 1 1 1 1
↑ ↑ ↑
J49 J50 (àíàëîã J2) J60
Ïðåäïîñëåäíèé òàêò (t143)
G0: λ λ λ λ λ λ * 1 1 1 1 1 1 1 1
↑
25
Ïîñëåäíèé òàêò (t144)
q0 * → ! λ, ïåðåõîäèì â êîíå÷íîå ñîñòîÿíèå è ïîìåùàåì ïðîáåë,
âìåñòî *
G0: λ λ λ λ λ λ λ 1 1 1 1 1 1 1 1
↑
 ðåçóëüòàòå ïîëó÷åíà íóæíàÿ ñóììà.
Äëèòåëüíîñòü âûïîëíåíèÿ îïåðàöèè Ñëîæåíèå çàâèñèò îò âåëè÷è-
íû ñëàãàåìûõ, òàê êàê âðåìåííûå çàòðàòû íà îäèí öèêë ñëîæåíèÿ ñî-
ñòàâëÿþò Töèêë = 2 (m+n+1) òàêòîâ, ãäå m ÷èñëî ñèìâîëîâ ïåðåä *,
n ÷èñëî ñèìâîëîâ ïîñëå *.
Ïîëíîñòüþ íà âûïîëíåíèå ñëîæåíèÿ ïîíàäîáèòñÿ
Tñëîæ = 2 (m+n+1) m +2m = 2m (m+n+2) òàêòîâ
âðåìÿ íà ïîäãîòîâêó ê öèêëó
÷èñëî öèêëîâ è íà çàâåðøåíèå öèêëà.
J0 J1 ` J2 J12 J23
J24 J25 ` J26 J36 J"%
J48 J49 ` J50 J60 J71
J72 J73 ` J74 J84 J95
J96 J97 ` J98 J108 J119
J120 J121 ` J122 J132 J143`J144 (ñòîï- ñîñòîÿíèå)
26
3.6. Òåçèñ Òüþðèíãà
Ïðè ðåàëèçàöèè àëãîðèòìîâ íà ìàøèíå Òüþðèíãà ìîæåò âîçíèêíóòü
âîïðîñ äëÿ âñåõ ëè êîíñòðóêòèâíûõ ïðîöåäóð, ò. å. äëÿ òåõ ïðîöåäóð,
äëÿ êîòîðûõ ìîæíî ïîñòðîèòü àëãîðèòì, ìîæíî ðàçðàáîòàòü ðåàëèçóþ-
ùèå èõ ìàøèíû Òüþðèíãà. Â òåçèñå Òüþðèíãà, êîòîðûé ÿâëÿåòñÿ îñíîâ-
íîé ãèïîòåçîé òåîðèè àëãîðèòìîâ, ñîäåðæèòñÿ óòâåðäèòåëüíûé îòâåò
íà ýòîò âîïðîñ.
Òåçèñ ôîðìóëèðóåòñÿ ñëåäóþùèì îáðàçîì: âñÿêèé àëãîðèòì ìîæåò
áûòü çàäàí ïîñðåäñòâîì Òüþðèíãîâîé ôóíêöèîíàëüíîé ñõåìû è ðåàëè-
çîâàí â ñîîòâåòñòâóþùåé ìàøèíå Òüþðèíãà. Äîêàçàòü òåçèñ Òüþðèíãà
íåëüçÿ, òàê êàê ñàìî ïîíÿòèå àëãîðèòìà ÿâëÿåòñÿ íåòî÷íûì.  ôîðìó-
ëèðîâêå òåçèñà Òüþðèíãà èäåò ðå÷ü, ñ îäíîé ñòîðîíû, î âñÿêîì àëãîðèò-
ìå, ò. å. îá îáùåì ïîíÿòèè àëãîðèòìà, êîòîðîå íå ÿâëÿåòñÿ òî÷íûì ìà-
òåìàòè÷åñêèì ïîíÿòèåì; à ñ äðóãîé ñòîðîíû, â ýòîé æå ôîðìóëèðîâêå
ðå÷ü èäåò î òî÷íîì ìàòåìàòè÷åñêîì ïîíÿòèè î Òüþðèíãîâîé ôóíêöè-
îíàëüíîé ñõåìå.
Çíà÷åíèå ãèïîòåçû êàê ðàç è çàêëþ÷àåòñÿ â òîì, ÷òî îíà óòî÷íÿåò
îáùåå, íî ðàñïëûâ÷àòîå ïîíÿòèå âñÿêîãî àëãîðèòìà ÷åðåç áîëåå ñïå-
öèàëüíîå, íî óæå ñîâåðøåííî òî÷íîå ìàòåìàòè÷åñêîå ïîíÿòèå Òüþ-
ðèíãîâîé ôóíêöèîíàëüíîé ñõåìû (è åå ðåàëèçàöèè â ìàøèíå Òüþðèí-
ãà), ò. å. îáùåå ðàñïëûâ÷àòîå ïîíÿòèå àëãîðèòìà îòîæäåñòâëÿåòñÿ ñ
òî÷íûì ïîíÿòèåì ôóíêöèîíàëüíîé ñõåìû ìàøèíû Òüþðèíãà.
Óâåðåííîñòü â ñïðàâåäëèâîñòè òåçèñà Òüþðèíãà îñíîâàíà ãëàâíûì
îáðàçîì íà îïûòå. Âñå èçâåñòíûå àëãîðèòìû, êîòîðûå áûëè ïðèäóìà-
íû â òå÷åíèå ìíîãèõ âåêîâ èñòîðèè ìàòåìàòèêè, ìîãóò áûòü çàäàíû
ïîñðåäñòâîì Òüþðèíãîâûõ ôóíêöèîíàëüíûõ ñõåì. Ïî ñâîåìó õàðàêòå-
ðó òåçèñ Òüþðèíãà íàïîìèíàåò îá àäåêâàòíîñòè ìàòåìàòè÷åñêèõ ìî-
äåëåé ôèçè÷åñêèì ÿâëåíèÿì è ïðîöåññàì.
Èñõîäÿ èç òåçèñà Òüþðèíãà, íåâîçìîæíîñòü ïîñòðîåíèÿ ìàøèíû Òüþ-
ðèíãà îçíà÷àåò îòñóòñòâèå àëãîðèòìà ðåøåíèÿ äàííîé ïðîáëåìû. Ðàñ-
øèôðóåì ýòî ïîëîæåíèå.  ÷èñëå îáùèõ òðåáîâàíèé, ïðåäúÿâëÿåìûõ ê
àëãîðèòìàì, óïîìèíàåòñÿ òðåáîâàíèå ðåçóëüòàòèâíîñòè. Íàèáîëåå ðà-
äèêàëüíîé ôîðìóëèðîâêîé çäåñü áûëî áû òðåáîâàíèå, ÷òîáû ïî ëþáî-
ìó àëãîðèòìó À è äàííûì α ìîæíî áûëî áû îïðåäåëèòü, ïðèâåäåò ëè
ðàáîòà À ïðè èñõîäíûõ äàííûõ α ê ðåçóëüòàòó èëè íåò. Èíà÷å ãîâîðÿ
íóæíî ïîñòðîèòü àëãîðèòì Â, òàêîé ÷òî Â(À,α) = èñòèíà, åñëè À(α)
äàåò ðåçóëüòàò, è Â(À,α) = ëîæü, åñëè À(α) íå äàåò ðåçóëüòàòà.
27
 ñèëó òåçèñà Òüþðèíãà çàäà÷ó î òîì, ïðèâåäåò ëè ðåàëèçàöèÿ àëãî-
ðèòìà À ïðè èñõîäíûõ äàííûõ α ê ðåçóëüòàòó èëè íåò, ìîæíî ñôîðìóëè-
ðîâàòü êàê çàäà÷ó ïîñòðîåíèÿ ìàøèíû Òüþðèíãà ñëåäóþùèì îáðàçîì
[1].
Ïîñòðîèòü ìàøèíó Òüþðèíãà Ò0 òàêóþ (ñ òàêîé ñèñòåìîé êîìàíä),
÷òî äëÿ ëþáîé ìàøèíû Òüþðèíãà Ò ñ ñèñòåìîé êîìàíä ∑ò è ëþáûõ
èñõîäíûõ äàííûõ a äëÿ ìàøèíû Ò Ò0(∑ò, α) = èñòèíà, åñëè Ò(α) îñòà-
íàâëèâàåòñÿ è Ò0(∑ò, α) = ëîæü, åñëè Ò(α) íå îñòàíàâëèâàåòñÿ (ïðîèñõî-
äèò çàöèêëèâàíèå).
Ýòà çàäà÷à íàçûâàåòñÿ ïðîáëåìîé îñòàíîâêè, è åñëè îñòàíîâêà íå-
âîçìîæíà, ò. å. ðåøàåìàÿ ïðîáëåìà ÿâëÿåòñÿ àëãîðèòìè÷åñêè íåðàçðå-
øèìîé, íèêàêîå êîäèðîâàíèå ñèñòåìû êîìàíä ∑ò è a â àëôàâèòå ìàøè-
íû Ò0 íå ïðèâîäèò ê óñïåõó.
Íî, òåì íå ìåíåå, åñëè óäàñòñÿ ðàçáèòü ïðîáëåìó íà îòäåëüíûå ÷à-
ñòíûå ñëó÷àè, åå îêàçûâàåòñÿ âîçìîæíûì ðåøèòü, ïîëüçóÿñü ðàçíûìè
ñðåäñòâàìè. Ïîýòîìó íåðàçðåøèìîñòü îáùåé ïðîáëåìû îñòàíîâêè âîâñå
íå ñíèìàåò íåîáõîäèìîñòü äîêàçûâàòü ñõîäèìîñòü ïðåäëàãàåìûõ àë-
ãîðèòìîâ, à ëèøü äîêàçûâàåò, ÷òî ïîòîê òàêèõ äîêàçàòåëüñòâ íåëüçÿ
ïîëíîñòüþ àâòîìàòèçèðîâàòü.
Ìàøèíà Òüþðèíãà ÿâëÿåòñÿ ïðîîáðàçîì ëþáîé âû÷èñëèòåëüíîé ìà-
øèíû, òàê êàê êàæäàÿ ôèçè÷åñêè îñóùåñòâèìàÿ âû÷èñëèòåëüíàÿ ìà-
øèíà ìîæåò áûòü ðàññìîòðåíà ëèøü êàê íåêîòîðàÿ ïðèáëèæåííàÿ ìî-
äåëü ìàøèíû Òüþðèíãà. Èìåííî â ðåàëüíûõ ìàøèíàõ îáúåì âíåøíåé
ïàìÿòè îãðàíè÷åí, â òî âðåìÿ êàê â ìàøèíå Òüþðèíãà ôèãóðèðóåò áåñ-
êîíå÷íàÿ ëåíòà. Ðàçóìååòñÿ, òåõíè÷åñêîå îñóùåñòâëåíèå íåîãðàíè÷åí-
íîé ïàìÿòè íåâîçìîæíî, íî î÷åâèäíà è ñîâðåìåííàÿ, è ïðîøëàÿ òåíäåí-
öèè ê ïîñòîÿííîìó óâåëè÷åíèþ îáúåìà ïàìÿòè è ñêîðîñòè âû÷èñëåíèé
ïî ñðàâíåíèþ ñ óæå äîñòèãíóòûì óðîâíåì.
28
4. ÂÂÅÄÅÍÈÅ Â ÒÅÎÐÈÞ ÀÂÒÎÌÀÒÎÂ
Òåîðèÿ àâòîìàòîâ ýòî òåîðèÿ, íà êîòîðîé îñíîâàíû ýêñïåðèìåí-
òàëüíûå ìåòîäû èññëåäîâàíèÿ â êèáåðíåòèêå. Ïðè ïîäõîäå ê òåîðèè
àâòîìàòîâ, êàê ê ÷àñòè òåîðèè àëãîðèòìîâ, öåíòðàëüíîé ïðîáëåìîé ÿâ-
ëÿåòñÿ èçó÷åíèå âîçìîæíîñòåé àâòîìàòîâ â òåðìèíàõ ìíîæåñòâ ñëîâ, ñ
êîòîðûìè ðàáîòàþò àâòîìàòû.
Ìîæíî âûäåëèòü äâà îñíîâíûõ àñïåêòà ðàáîòû àâòîìàòîâ.
1. Àâòîìàòû-ðàñïîçíàâàòåëè, êîòîðûå ðàñïîçíàþò âõîäíûå ñëî-
âà, ò. å. îòâå÷àþò íà âîïðîñ, ïðèíàäëåæèò ëè ïîäàííîå íà âõîä ñëîâî
äàííîìó ìíîæåñòâó.
2. Àâòîìàòû-ïðåîáðàçîâàòåëè, êîòîðûå ïðåîáðàçóþò âõîäíûå ñëîâà
â âûõîäíûå, ò. å. ðåàëèçóþò àâòîìàòíûå îòîáðàæåíèÿ.
Îäíîé èç çàäà÷ òåîðèè àâòîìàòîâ ÿâëÿåòñÿ çàäà÷à îïèñàíèÿ àâòîìà-
òà è åãî ðåàëèçàöèè, ò. å. ïðåäñòàâëåíèÿ àâòîìàòà êàê ñòðóêòóðû, ñî-
ñòîÿùåé èç îáúåêòîâ ôèêñèðîâàííîé ñëîæíîñòè (ýëåìåíòîâ). Â ýòîì
îòíîøåíèè òåîðèÿ àâòîìàòîâ îêàçàëàñü íàèáîëåå ðàçâèòîé âåòâüþ òåî-
ðèè àëãîðèòìîâ.
Îáùàÿ òåîðèÿ àâòîìàòîâ ïîäðàçäåëÿåòñÿ íà àáñòðàêòíóþ òåîðèþ è
ñòðóêòóðíóþ òåîðèþ àâòîìàòîâ. Àáñòðàêòíàÿ òåîðèÿ àâòîìàòîâ çàíè-
ìàåò ïðîìåæóòî÷íîå ïîëîæåíèå ìåæäó àëãåáðîé è ëîãèêîé. Ñ òî÷êè
çðåíèÿ ïðèëîæåíèé çíà÷åíèå àáñòðàêòíîé òåîðèè àâòîìàòîâ îòíþäü íå
ñâîäèòñÿ ê óäîâëåòâîðåíèþ çàïðîñîâ îäíîé ëèøü âû÷èñëèòåëüíîé òåõ-
íèêè. Ñîâðåìåííàÿ òåîðèÿ àâòîìàòîâ ïðåäñòàâëÿåò ñîáîé ìàòåìàòè-
÷åñêèé àïïàðàò äëÿ ðåøåíèÿ øèðîêîãî êëàññà êîìáèíàòîðíûõ ïðîáëåì.
 ÷àñòíîñòè, ñ ïîìîùüþ òåîðèè àâòîìàòîâ ìîãóò áûòü ðåøåíû ìíî-
ãèå ëèíãâèñòè÷åñêèå çàäà÷è.
Íàïðèìåð, ïóñòü äàíî íåêîòîðîå ÷èñëî ôðàç íà íåçíàêîìîì ÿçûêå è
èõ ïåðåâîä íà äðóãîé íåçíàêîìûé ÿçûê. Òðåáóåòñÿ îñóùåñòâèòü ïåðå-
âîä íåêîòîðîãî ÷èñëà íîâûõ ôðàç ñ ïåðâîãî ÿçûêà íà âòîðîé ïðè óñëî-
âèè, ÷òî â íèõ èñïîëüçóþòñÿ ëèøü òå ñëîâà è ãðàììàòè÷åñêèå ïðàâèëà,
êîòîðûå âñòðå÷àþòñÿ â óæå ïåðåâåäåííûõ ôðàçàõ. Ðåøåíèå ýòîé çàäà-
÷è ìîæåò ñîñòîÿòü èç ñëåäóþùèõ ýòàïîâ.
1. Â èñõîäíîì ìíîæåñòâå ôðàç ïåðâîãî ÿçûêà âûäåëÿþòñÿ ðàçëè÷-
íûå âõîäÿùèå â íèõ ýëåìåíòû ÿçûêà (êîðíè ñëîâ, îêîí÷àíèÿ, ñóôôèêñû,
ïðåôèêñû è ò.ï.). Ýòè ýëåìåíòû îáúåäèíÿþòñÿ â àëôàâèò, íàçûâàåìûé
âõîäíûì.
29
2. Àíàëîãè÷íûì îáðàçîì èç èñõîäíûõ ôðàç âòîðîãî ÿçûêà ôîðìèðó-
åòñÿ âûõîäíîé àëôàâèò.
Ìîæíî îñóùåñòâëÿòü è áîëåå ìåëêîå äðîáëåíèå, èñïîëüçóÿ â êà÷å-
ñòâå âõîäíîãî è âûõîäíîãî àëôàâèòîâ îáû÷íûå àëôàâèòû ïåðâîãî è âòî-
ðîãî ÿçûêîâ, íî òîãäà ðåøåíèå çàäà÷è ñòàíîâèòñÿ áîëåå ãðîìîçäêèì.
3. Ïåðåâîä òåïåðü ïðåäñòàâëÿåòñÿ êàê óñòàíîâëåíèå ñîîòâåòñòâèÿ
ìåæäó ñëîâàìè âî âõîäíîì è âûõîäíîì àëôàâèòàõ, ÷òî è äåëàåòñÿ íà
òðåòüåì ýòàïå.
4. Èñïîëüçóÿ àëãîðèòì ñèíòåçà, ïî óñòàíîâëåííîìó ñîîòâåòñòâèþ
ñòðîèòñÿ îñóùåñòâëÿþùèé åãî àâòîìàò À.
5. Èñïîëüçóÿ àëãîðèòì ìèíèìèçàöèè, ïðîèçâîäèòñÿ îïòèìèçàöèÿ àâ-
òîìàòà À ïî ÷èñëó ñîñòîÿíèé.
Ïîëó÷åííûé àâòîìàò áóäåò îñóùåñòâëÿòü ïðåîáðàçîâàíèå âõîäíûõ
ñëîâ â âûõîäíûå íà áîëåå øèðîêîé îáëàñòè, âêëþ÷àþùåé (ïðè ñîáëþ-
äåíèè îãîâîðåííûõ âûøå óñëîâèé è ñîîòâåòñòâóþùèõ îãðàíè÷åíèé ãðàì-
ìàòèêè) âñå íîâûå ôðàçû, ïîäëåæàùèå ïåðåâîäó. Ïðèìåðîì òàêîãî ïå-
ðåâîäà áûëî ðåøåíèå çàäà÷è ïåðåâîäà ñ âåíãåðñêîãî ÿçûêà íà áàñêñ-
êèé, âûïîëíåííîå â Èíñòèòóòå êèáåðíåòèêè â ã. Êèåâå ïîä ðóêîâîäñòâîì
Â.Ì. Ãëóøêîâà. Ïðè åå ðåøåíèè ïî 10 ïàðàì èñõîäíûõ ôðàç áûë ñèíòå-
çèðîâàí àâòîìàò ñ 75 ñîñòîÿíèÿìè, êîòîðûé ïóòåì ìèíèìèçàöèè áûë
ïðèâåäåí ê 46 ñîñòîÿíèÿì.
Ñòðóêòóðíàÿ òåîðèÿ àâòîìàòîâ ïîçâîëÿåò ðåàëèçîâàòü àáñòðàêòíûé
àâòîìàò íà ýëåìåíòàõ, ïðèíàäëåæàùèõ ê çàðàíåå çàäàííîìó êëàññó.
30
âòîðîé âûõîäíûì àëôàâèòîì äàííîãî îïåðàòîðà. Àëôàâèòíûé îïåðà-
òîð, ñîïîñòàâëÿþùèé êàæäîìó âõîäíîìó ñëîâó (ñëîâó âî âõîäíîì àëôà-
âèòå îïåðàòîðà) íå áîëåå îäíîãî âûõîäíîãî ñëîâà (ñëîâà â âûõîäíîì
àëôàâèòå îïåðàòîðà), íàçûâàþò îäíîçíà÷íûì. Åñëè àëôàâèòíûé îïåðà-
òîð íå ñîïîñòàâëÿåò äàííîìó âõîäíîìó ñëîâó íèêàêîãî âûõîäíîãî ñëîâà
(â òîì ÷èñëå è ïóñòîãî), òî ãîâîðÿò, ÷òî îí íå îïðåäåëåí íà ýòîì ñëîâå.
Ñîâîêóïíîñòü âñåõ ñëîâ, íà êîòîðûõ àëôàâèòíûé îïåðàòîð îïðåäåëåí,
íàçûâàåòñÿ åãî îáëàñòüþ îïðåäåëåíèÿ. Àëôàâèòíûé îïåðàòîð íàçûâàþò
÷àñòè÷íûì, åñëè åãî îáëàñòü îïðåäåëåíèÿ íå ñîâïàäàåò ñ ñîâîêóïíîñòüþ
âñåõ âõîäíûõ ñëîâ.
Âñÿêèé äèñêðåòíûé ïðåîáðàçîâàòåëü èíôîðìàöèè, âûäàþùèé íåêîòî-
ðûé âûõîäíîé ñèãíàë (áóêâó âûõîäíîãî àëôàâèòà) â îòâåò íà êàæäûé
âõîäíîé ñèãíàë (áóêâó âõîäíîãî àëôàâèòà), ðåàëèçóåò íåêîòîðûé àëôà-
âèòíûé îïåðàòîð. Òàêèå ïðåîáðàçîâàòåëè âîñïðèíèìàþò è âûäàþò ñèãíà-
ëû ëèøü â ìîìåíòû âðåìåíè, ðàçäåëåííûå ïðîìåæóòêàìè íåíóëåâîé
äëèòåëüíîñòè, è íàçûâàþòñÿ àâòîìàòàìè.
 îáùåì ñëó÷àå âûõîäíîé ñèãíàë àâòîìàòà â êàæäûé ìîìåíò âðå-
ìåíè çàâèñèò îò çíà÷åíèé âõîäíîãî ñèãíàëà íå òîëüêî â äàííûé, íî è â
ïðåäûäóùèå ìîìåíòû âðåìåíè. Ýòà çàâèñèìîñòü ïðîÿâëÿåòñÿ â èçìå-
íåíèè ó àâòîìàòà åãî âíóòðåííèõ ñîñòîÿíèé òàêèì îáðàçîì, ÷òî ñèãíàë
íà åãî âûõîäå â êàæäûé ìîìåíò âðåìåíè îïðåäåëÿåòñÿ êàê âõîäíûì
ñèãíàëîì â òîò æå ìîìåíò âðåìåíè, òàê è ñîñòîÿíèåì, â êîòîðîì îêà-
çàëñÿ àâòîìàò ê äàííîìó ìîìåíòó âðåìåíè â ðåçóëüòàòå âîçäåéñòâèÿ
íà åãî âõîä ñèãíàëîâ, ïîñòóïèâøèõ â ïðåäûäóùèå ìîìåíòû âðåìåíè.
Åñëè âûõîäíîé ñèãíàë àâòîìàòà â êàæäûé ìîìåíò âðåìåíè öåëèêîì
îïðåäåëÿåòñÿ âõîäíûì ñèãíàëîì â òîò æå ìîìåíò âðåìåíè, òî àâòîìàò
èìååò åäèíñòâåííîå âíóòðåííåå ñîñòîÿíèå è åãî íàçûâàþò êîìáè-
íàöèîííîé ñõåìîé.
Ïðèìåðîì àâòîìàòà ñ íååäèíñòâåííûì ñîñòîÿíèåì ìîæåò ñëóæèòü
óñòðîéñòâî óïðàâëåíèÿ ëèôòîì. Âõîäíûìè ñèãíàëàìè äëÿ íåãî ÿâëÿþò-
ñÿ íîìåðà òðåáóåìûõ ýòàæåé Z1 < Z2 < ... < ZF < ∞. Ðåàêöèÿ êàáèíû
ëèôòà íà êàæäûé âõîäíîé ñèãíàë äîëæíà áûòü ðàçëè÷íîé â çàâèñèìîñ-
òè îò òîãî, íà êàêîé ýòàæ êàáèíà ïðèâåäåíà âõîäíûìè ñèãíàëàìè, ïîñòó-
ïèâøèìè ê äàííîìó ìîìåíòó âðåìåíè. Åñëè êàáèíà íàõîäèòñÿ íèæå
òðåáóåìîãî ýòàæà îíà äîëæíà äâèãàòüñÿ ââåðõ äî òðåáóåìîãî ýòàæà,
åñëè âûøå âíèç äî òðåáóåìîãî ýòàæà, åñëè íà òðåáóåìîì ýòàæå
äîëæíà îñòàòüñÿ íà ìåñòå. Òàêèì îáðàçîì, âûõîäíûå ñèãíàëû wj óñò-
31
ðîéñòâà óïðàâëåíèÿ ëèôòîì ìîæíî ñ÷èòàòü ðàâíûìè ðàçíîñòÿì zi zk,
ãäå zk íîìåð ýòàæà, íà êîòîðîì íàõîäèëàñü êàáèíà ëèôòà ê ìîìåíòó
ïîñòóïëåíèÿ î÷åðåäíîãî âõîäíîãî ñèãíàëà (íîìåðà òðåáóåìîãî ýòàæà)
zi, ïðè ýòîì ñèãíàë wj = 0 íå âêëþ÷àåòñÿ â âûõîäíîé àëôàâèò (ïóñòîé
ñèìâîë). Ïîÿâëåíèå êàæäîãî âûõîäíîãî ñèãíàëà çàâèñèò îò âõîäíîãî
ñèãíàëà, äåéñòâóþùåãî â äàííûé ìîìåíò âðåìåíè, è îò íîìåðà ýòàæà,
íà êîòîðîì ê ýòîìó ìîìåíòó âðåìåíè îêàçàëàñü êàáèíà ëèôòà. Ïî ýòîé
ïðè÷èíå ìîæíî ñ÷èòàòü, ÷òî àâòîìàò óïðàâëåíèÿ ëèôòîì èìååò ÷èñëî
ñîñòîÿíèé, ðàâíîå ÷èñëó ýòàæåé çäàíèÿ. Ïîñêîëüêó ïðîöåññ äâèæåíèÿ
êàáèíû ìåæäó ýòàæàìè íå ïðåäñòàâëÿåò èíòåðåñà, ñ÷èòàåòñÿ, ÷òî ñî-
ñòîÿíèå àâòîìàòà èçìåíÿåòñÿ ìãíîâåííî â ìîìåíò äîñòèæåíèÿ êàáè-
íîé î÷åðåäíîãî ýòàæà è ñ ýòèì æå ìîìåíòîì âðåìåíè îòîæäåñòâëÿåòñÿ
ìîìåíò ïîñòóïëåíèÿ âõîäíîãî ñèãíàëà, âûçâàâøåãî äâèæåíèå êàáèíû ê
ýòîìó ýòàæó.
Ðèñ. 4.1
32
 êàæäûé ìîìåíò t àâòîìàòíîãî âðåìåíè, íà÷èíàÿ c t = 1, íà âõîä
àâòîìàòà ïîñòóïàåò â êà÷åñòâå âõîäíîãî ñèãíàëà îäíà èç áóêâ zi = z(t)
àëôàâèòà Z. Êîíå÷íûå óïîðÿäî÷åííûå ïîñëåäîâàòåëüíîñòè âõîäíûõ áóêâ
z(1)z(2)...z(k) àâòîìàòà áóäóò âõîäíûìè ñëîâàìè. Íà âõîä àâòîìàòà
ìîæåò ïîäàâàòüñÿ ëþáîå âõîäíîå ñëîâî èç íåêîòîðîãî ôèêñè-
ðîâàííîãî ìíîæåñòâà äîïóñòèìûõ âõîäíûõ ñëîâ. Êàæäîå äîïóñòèìîå
ñëîâî p = z(1)z(2)...z(k), ïîäàííîå íà âõîä äàííîãî àâòîìàòà A, âûçûâà-
åò ïîÿâëåíèå íà âûõîäå àâòîìàòà âûõîäíîãî ñëîâà q = w(1)w(2)...w(k),
ïðåäñòàâëÿþùåãî ñîáîé íåêîòîðóþ óïîðÿäî÷åííóþ êîíå÷íóþ ïîñëåäî-
âàòåëüíîñòü âûõîäíûõ ñèãíàëîâ àâòîìàòà A (áóêâ àëôàâèòà W), èìåþ-
ùåãî òó æå ñàìóþ äëèíó, ÷òî è ñîîòâåòñòâóþùåå åìó âõîäíîå ñëîâî p.
Ïîëó÷àåìîå ïðåîáðàçîâàíèå ϕ A äîïóñòèìûõ âõîäíûõ ñëîâ p â
ñîîòâåòñòâóþùèå èì âûõîäíûå ñëîâà q ÿâëÿåòñÿ àëôàâèòíûì îïåðàòî-
ðîì, èíäóöèðîâàííûì àâòîìàòîì A, èëè ïðîñòî îïåðàòîðîì àâòîìàòà A.
 ïðèìåðå ñ ëèôòîì îïåðàòîð óïðàâëÿþùåãî àâòîìàòà ìîæíî çà-
äàòü ÿâíî. Èç íàéäåííûõ âûøå ñîîòíîøåíèé ìåæäó âõîäíûìè è âûõîä-
íûìè ñèãíàëàìè äëÿ ýòîãî àâòîìàòà ñëåäóåò, ÷òî
w(t) = z(t) z(t1),
åñëè ïðèíÿòü z(0) = z1. Ýòî è åñòü èñêîìîå ïðåîáðàçîâàíèå âõîäíûõ ñëîâ
àâòîìàòà â âûõîäíûå. Ïîñêîëüêó äëèíà âõîäíûõ ñëîâ äëÿ ýòîãî ïðåîáðà-
çîâàíèÿ íå îãðàíè÷åíà, ìíîæåñòâî äîïóñòèìûõ âõîäíûõ ñëîâ äëÿ íåãî
áåñêîíå÷íî è äàæå íåñ÷åòíî ïðè âñÿêîì F ≥ 2.
Îïåðàòîð ϕA îäíîçíà÷íî îïðåäåëÿåòñÿ çàäàíèåì ôóíêöèè ïåðåõîäîâ
δ è ôóíêöèè âûõîäîâ λ ðàññìàòðèâàåìîãî àâòîìàòà. Ôóíêöèÿ ïåðåõî-
äîâ îïðåäåëÿåò ñîñòîÿíèå a(t) àâòîìàòà â íåêîòîðûé ìîìåíò t àâòî-
ìàòíîãî âðåìåíè ïî âõîäíîìó ñèãíàëó z(t) â òîò æå ñàìûé ìîìåíò è
ñîñòîÿíèé a(t1) â ïðåäûäóùèé ìîìåíò àâòîìàòíîãî âðåìåíè
a(t) = δ(a(t1), z(t)). (4.1)
Ôóíêöèÿ âûõîäîâ îïðåäåëÿåò çàâèñèìîñòü âûõîäíîãî ñèãíàëà îò òåõ
æå ñàìûõ ïåðåìåííûõ
w(t) = λ(a(t1), z(t)). (4.2)
Çàäàâàÿ ëþáîå âûõîäíîå ñëîâî p = z(1)z(2)...z(k) è íà÷àëüíîå ñîñòîÿ-
íèå a(0) àâòîìàòà, ñ ïîìîùüþ ñîîòíîøåíèé (4.1) è (4.2) ìîæíî ïîñ-
ëåäîâàòåëüíî îïðåäåëèòü âñå áóêâû ñîîòâåòñòâóþùåãî âûõîäíîãî ñëî-
âà
q = ϕA(p) = w(1)w(2)...w(k).
33
Òàêèì îáðàçîì, ñîîòíîøåíèÿ (4.1) è (4.2) äåéñòâèòåëüíî îïðåäåëÿ-
þò îïåðàòîð ϕA àâòîìàòà A.
Ôóíêöèè ïåðåõîäîâ è âûõîäîâ ïðåäñòàâëÿþòñÿ îáû÷íî àáñòðàêòíû-
ìè ÷àñòè÷íûìè ôóíêöèÿìè δ(a, z) è λ(a, z), çàäàþùèìè îäíîçíà÷íîå
îòîáðàæåíèå íåêîòîðîãî ìíîæåñòâà ïàð (a, z)(a∈A, z∈Z) â ìíîæåñòâà
A è W ñîîòâåòñòâåííî. Äîïóñòèìûìè âõîäíûìè ñëîâàìè äëÿ àâòîìàòà
A íàçûâàþò òå è òîëüêî òå âõîäíûå ñëîâà p, íà êîòîðûõ ñ ïîìîùüþ
ôóíêöèé δ è λ óêàçàííûì âûøå ñïîñîáîì ìîæíî îïðåäåëèòü ñîîòâåò-
ñòâóþùèå èì âûõîäíûå ñëîâà q = ϕA(p).
Àâòîìàò íàçûâàþò êîíå÷íûì, åñëè êîíå÷íû âñå òðè îïðåäåëÿþùèå
åãî ìíîæåñòâà Z, W, A.
Äëÿ ïðèìåðà ñ ëèôòîì ôóíêöèè ïåðåõîäîâ è âûõîäîâ îïðåäåëÿþòñÿ
ñîîòâåòñòâåííî ñëåäóþùèìè ðàâåíñòâàìè:
a(t) = z(t),
w(t) = z(t)a(t1).
Àâòîìàò óïðàâëåíèÿ ëèôòîì êîíå÷åí, õîòÿ îáëàñòü îïðåäåëåíèÿ åãî
îïåðàòîðà ñîñòîèò èç áåñêîíå÷íîãî ìíîæåñòâà äîïóñòèìûõ ñëîâ.
Ïîñêîëüêó äàëüøå áóäóò ðàññìàòðèâàòüñÿ òîëüêî êîíå÷íûå àâòîìà-
òû, ñëîâî êîíå÷íûé áóäåò îïóñêàòüñÿ.
Àâòîìàò íàçûâàþò âïîëíå îïðåäåëåííûì, åñëè åãî ôóíêöèè ïåðåõî-
äîâ è âûõîäîâ çàäàíû íà âñåõ ïàðàõ (a, z), è ÷àñòè÷íûì â ïðîòèâíîì
ñëó÷àå.
Äâà àáñòðàêòíûõ àâòîìàòà ñ÷èòàþòñÿ îäèíàêîâûìè, åñëè îíè îòëè-
÷àþòñÿ äðóã îò äðóãà ëèøü îáîçíà÷åíèÿìè âõîäíûõ è âûõîäíûõ ñèãíà-
ëîâ, ñîñòîÿíèé.
34
w(t) = λ(a(t)), (4.4)
íàçûâàþò àâòîìàòàìè Ìóðà [2] .
Ðàçëè÷èå ìåæäó àâòîìàòàìè Ìèëè è Ìóðà ñîñòîèò â òîì, ÷òî âû-
õîäíîé ñèãíàë â àâòîìàòå Ìèëè çàâèñèò êàê îò ñîñòîÿíèÿ â ïðåäûäó-
ùèé ìîìåíò âðåìåíè, òàê è îò âõîäíîãî ñèãíàëà â ðàññìàòðèâàåìûé
ìîìåíò âðåìåíè, à â àâòîìàòå Ìóðà òîëüêî îò ñîñòîÿíèÿ â ðàññìàò-
ðèâàåìûé ìîìåíò âðåìåíè. Åñëè ïîäñòàâèòü ïðàâóþ ÷àñòü (4.3) â (4.4),
òî ïîëó÷èòñÿ ðàâåíñòâî òèïà (4.2). Òàêèì îáðàçîì, àâòîìàò Ìóðà âñå-
ãäà ìîæíî ñâåñòè ê àâòîìàòó Ìèëè ñ òåì æå ñàìûì ÷èñëîì ñîñòîÿíèé
è òåìè æå ñàìûìè âõîäíûì è âûõîäíûì àëôàâèòàìè. Äëÿ êîíå÷íîãî
àâòîìàòà ôóíêöèè δ è λ îïðåäåëåíû íà êîíå÷íîì ìíîæåñòâå çíà÷åíèé
àðãóìåíòîâ è ïðèíèìàþò çíà÷åíèÿ èç êîíå÷íûõ ìíîæåñòâ. Ïî ýòîé ïðè-
÷èíå äëÿ êîíå÷íûõ àâòîìàòîâ ôóíêöèè δ è λ ìîæíî çàäàòü â âèäå òàá-
ëèö.
Òàáëèöà 4.1 Òàáëèöà 4.2
at` z z z at z z z
a a a! a a w! w w
a a! a a a w0 w! w
a a a a a w w w
a! a a a! a3 w w w!
35
Òàáëèöà 4.3 Òàáëèöà 4.4
at z z z at z z z
a a /w! a! /w a /w a a! a a
a a! /w a /w! a /w0 a a a! a
a a /w a /w a /w2 a a a a
a3 a /w a /w a! /w! a3 a a a
a w w a a! a a
a w w a a a! a
a w! w! a a a a
a3 w w a3 a a a
z0 / z1
w
z 2 / w2
z1
z2/w 0
1
z0 z2 z2
z1 / w 1
z1
z1 /w 2
z0 /
w
3
a3 a2
z2 / w 3 a3 z0 / w 2 a2 z1 / w 0 w1 z1 z 2 w3 z0
36
âåðøèíó aj ïðîâîäèòñÿ äóãà, îêîëî êîòîðîé â ÷èñëèòåëå óêàçûâàåòñÿ
âõîäíîé ñèãíàë, âûçûâàþùèé ýòîò ïåðåõîä, à â çíàìåíàòåëå âîçíèêà-
þùèé ïðè ýòîì âûõîäíîé ñèãíàë.
Äëÿ àâòîìàòà Ìóðà âåðøèíû ãðàôà îòìå÷àþòñÿ ñîñòîÿíèÿìè è ñâÿ-
çàííûìè ñ íèìè âõîäíûìè ñèãíàëàìè. Äóãè ãðàôà îòìå÷àþòñÿ âõîäíû-
ìè ñèãíàëàìè, ïîä äåéñòâèåì êîòîðûõ âîçíèêàþò ðàññìàòðèâàåìûå
ïåðåõîäû.
 ïðèâåäåííûõ ïðèìåðàõ ôóíêöèè δ è λ îïðåäåëåíû ïðè âñåõ çíà÷å-
íèÿõ ïåðåìåííûõ a(t1) è z(t), ïîýòîìó èì ñîîòâåòñòâóþò âïîëíå îïðå-
äåëåííûå àâòîìàòû. Äëÿ ÷àñòè÷íûõ àâòîìàòîâ ôóíêöèè δ è λ îïðåäå-
ëåíû íå íà âñåõ ïàðàõ a(t1) è z(t).  ýòîì ñëó÷àå íà ìåñòå íåîïðåäå-
ëåííûõ ïåðåõîäîâ èëè âûõîäîâ â òàáëèöàõ ñòàâÿòñÿ ïðî÷åðêè.  ãðàôàõ
æå îòñóòñòâóþò äóãè, ñîîòâåòñòâóþùèå íåîïðåäåëåííûì ïåðåõîäàì, à
âìåñòî íåîïðåäåëåííûõ âûõîäíûõ ñèãíàëîâ ñòàâÿòñÿ ïðî÷åðêè.
Åñëè çàäàíû ôóíêöèè ïåðåõîäîâ è âûõîäîâ àâòîìàòà, ïî íèì ìîæíî
ïîñòðîèòü îïåðàòîð àâòîìàòà. Îäíàêî íå ïî âñÿêîìó çàäàííîìó àëôàâèò-
íîìó îïåðàòîðó ìîæíî ïîñòðîèòü ôóíêöèè ïåðåõîäîâ è âûõîäîâ íåêîòîðî-
ãî àâòîìàòà.
37
Åñëè àëôàâèòíûé îïåðàòîð ϕ óäîâëåòâîðÿåò óñëîâèÿì àâòîìàòíî-
ñòè, ìîæíî ïîñòðîèòü àâòîìàòû Ìèëè è Ìóðà (âîîáùå ãîâîðÿ, áåñêîíå÷-
íûå), èíäóöèðóþùèå îïåðàòîð ϕ.  ñëó÷àå, êîãäà îáëàñòü îïðåäåëåíèÿ
îïåðàòîðà ϕ êîíå÷íà (êîíå÷íî ìíîæåñòâî ñëîâ, íà êîòîðûõ îïðåäåëåí
îïåðàòîð ϕ), ýòè àâòîìàòû òàêæå ìîãóò áûòü âûáðàíû êîíå÷íûìè [2] .
Íå âñÿêèé àëôàâèòíûé îïåðàòîð óäîâëåòâîðÿåò óñëîâèÿì àâòîìàò-
íîñòè. Ñóùåñòâóåò, îäíàêî, ïðèåì, ïîçâîëÿþùèé ïðåâðàòèòü ëþáîé àë-
ôàâèòíûé îïåðàòîð â àâòîìàòíûé îïåðàòîð.
Ïóñòü ϕ ïðîèçâîëüíûé àëôàâèòíûé îïåðàòîð ñ êîíå÷íûìè âõîä-
íûì Z è âûõîäíûì W àëôàâèòàìè, P îáëàñòü îïðåäåëåíèÿ ýòîãî îïå-
ðàòîðà. Áóäåì ïðèìåíÿòü ê îïåðàòîðó ϕ äâå îïåðàöèè. Ïåðâàÿ èç íèõ
íàçûâàåòñÿ îïåðàöèåé âûðàâíèâàíèÿ äëèí ñëîâ. Îíà çàêëþ÷àåòñÿ â òîì,
÷òî âî âõîäíîé è âûõîäíîé àëôàâèòû äîáàâëÿåòñÿ ïî îäíîé ïóñòîé áóê-
âå a è β ñîîòâåòñòâåííî, à çàòåì ê ëþáîìó ñëîâó p èç P ïðèïèñûâàþòñÿ
ñïðàâà mp ýêçåìïëÿðîâ áóêâû a, à ê åãî îáðàçó q = ϕ(p) ïðèïèñûâàþòñÿ
ñëåâà nq ýêçåìïëÿðîâ áóêâû β òàê, ÷òîáû äëèíû ïîëó÷åííûõ â ðåçóëü-
òàòå ïðèïèñûâàíèÿ ýòèõ áóêâ ñëîâ p1 è q1 ñîâïàëè. Åñëè, â ÷àñòíîñòè,
÷èñëà mp âûáèðàþòñÿ ðàâíûìè äëèíå ñëîâà q, à ÷èñëà nq ðàâíûìè äëè-
íå ñëîâà p, òî îïåðàöèÿ âûðàâíèâàíèÿ äëèíû ñëîâ íàçûâàåòñÿ ñòàí-
äàðòíîé.
Ïîñëå âûïîëíåíèÿ îïåðàöèè âûðàâíèâàíèÿ äëèí ñëîâ ñòðîèòñÿ íî-
âûé îïåðàòîð ϕ1, îòîáðàæàþùèé íåêîòîðîå ìíîæåñòâî P1 ñëîâ â àëôà-
âèòå Z ∪ {a} â ìíîæåñòâî ñëîâ â àëôàâèòå W ∪ {β}. Îí äåéñòâóåò ïî
ïðàâèëó q1 = ϕ1(p1), ãäå ñëîâà p1 è q1 ïîëó÷åíû âûðàâíèâàíèåì äëèí
ñëîâ p è q, ïðè÷åì p ïðîáåãàåò âñå P. Îïåðàòîð ϕ1 íàçûâàåòñÿ ïðè ýòîì
âûðàâíåííûì îïåðàòîðîì.
Âòîðàÿ îïåðàöèÿ ïðèìåíÿåòñÿ òîëüêî ê âûðàâíåííûì àëôàâèòíûì
îïåðàòîðàì, ò. å. ê òàêèì îïåðàòîðàì, ó êîòîðûõ äëèíû âõîäíûõ è ñîîò-
âåòñòâóþùèõ èì âûõîäíûõ ñëîâ ðàâíû ìåæäó ñîáîé. Åå íàçûâàþò îïå-
ðàöèåé ïîïîëíåíèÿ. Îíà çàêëþ÷àåòñÿ â ðàñïðîñòðàíåíèè îòîáðàæåíèÿ
ϕ íà íà÷àëüíûå îòðåçêè ñëîâ. Ýòî îñóùåñòâëÿåòñÿ ñëåäóþùèì îáðà-
çîì. Åñëè S ïðîèçâîëüíûé íà÷àëüíûé îòðåçîê ëþáîãî ñëîâà p èç îáëà-
ñòè îïðåäåëåíèÿ îïåðàòîðà ϕ, òî ϕ(S) ïîëàãàåòñÿ ðàâíûì íà÷àëüíîìó
îòðåçêó ñëîâà ϕ(p), èìåþùèì òó æå, ÷òî è îòðåçîê S, äëèíó.
 ðåçóëüòàòå ïðèìåíåíèÿ îïåðàöèè ïîïîëíåíèÿ ê ïðîèçâîëüíîìó âû-
ðàâíåííîìó àëôàâèòíîìó îïåðàòîðó ϕ1 âîçíèêàåò îïåðàòîð ϕ1', íàçûâà-
åìûé ïîïîëíåíèåì îïåðàòîðà ϕ1. Åñëè ïîïîëíåíèå ϕ1' îïåðàòîðà ϕ1 ÿâ-
38
ëÿåòñÿ îäíîçíà÷íûì, òî îíî óäîâëåòâîðÿåò, î÷åâèäíî, âñåì ÷åòûðåì óñ-
ëîâèÿì àâòîìàòíîñòè. Ê ñîæàëåíèþ, îäíàêî, â áîëüøèíñòâå ñëó÷àåâ
ïîïîëíåíèå îïåðàòîðà ϕ1 íåîäíîçíà÷íî. Âìåñòå ñ òåì ñïðàâåäëèâî ñëå-
äóþùåå óòâåðæäåíèå [2]: â ñëó÷àå, êîãäà îïåðàòîð ϕ1 ïîëó÷åí èç íåêî-
òîðîãî îäíîçíà÷íîãî àëôàâèòíîãî îïåðàòîðà â ðåçóëüòàòå ñòàíäàðòíîé
îïåðàöèè âûðàâíèâàíèÿ äëèí ñëîâ, ïîïîëíåíèå ϕ1' ýòîãî îïåðàòîðà îä-
íîçíà÷íî è ÿâëÿåòñÿ àâòîìàòíûì îïåðàòîðîì.
 ðÿäå ñëó÷àåâ ïðè ïðåâðàùåíèè çàäàííîãî îïåðàòîðà â àâòîìàòíûé
îïåðàòîð ìîæíî ïðèìåíÿòü íå ñòàíäàðòíóþ îïåðàöèþ âûðàâíèâàíèÿ, à
êàêîé-íèáóäü áîëåå ýêîíîìíûé (ñ òî÷êè çðåíèÿ ÷èñëà äîïèñûâàåìûõ
áóêâ) âàðèàíò îïåðàöèè âûðàâíèâàíèÿ.  ÷àñòíîñòè, åñëè ñàì èñõîäíûé
îïåðàòîð áûë àâòîìàòíûì, ìîæíî ñ÷èòàòü, ÷òî ïðèìåíÿåòñÿ íóëåâàÿ
îïåðàöèÿ âûðàâíèâàíèÿ, ïðè êîòîðîé íèêàêîãî äîïèñûâàíèÿ ïóñòûõ áóêâ
âîîáùå íå ïðîèñõîäèò.
Îáû÷íî íà ïðàêòèêå ïîñòóïàþò ñëåäóþùèì îáðàçîì. Ñíà÷àëà îïåðà-
öèþ âûðàâíèâàíèÿ ïðîâîäÿò íàèáîëåå ýêîíîìíûì îáðàçîì, è, ïðèìåíÿÿ
çàòåì îïåðàöèþ ïîïîëíåíèÿ, ïðîâåðÿþò (ïî ïðèçíàêó îäíîçíà÷íîñòè
ïîïîëíåíèÿ), ïîëó÷èòñÿ ëè â ðåçóëüòàòå àâòîìàòíûé îïåðàòîð. Åñëè íåò,
òî ïðîèçâîäÿò íîâîå äîïèñûâàíèå ïóñòûõ áóêâ, íîâóþ ïðîâåðêó ïî-
ïîëíåíèÿ è ò.ä. Â ðåçóëüòàòå ïðîäîëæåíèÿ ïîäîáíîãî ïðîöåññà îáÿçà-
òåëüíî áóäåò ïîëó÷åí àâòîìàòíûé îïåðàòîð. Ýòîò ìåòîä ïðèâåäåíèÿ
àëôàâèòíîãî îïåðàòîðà ê àâòîìàòíîìó îïåðàòîðó íàçûâàþò ìåòîäîì
ïîñëåäîâàòåëüíîãî ïðèâåäåíèÿ.
Äëÿ ïîñòðîåííîãî òàêèì ìåòîäîì îïåðàòîðà ìîæíî ïîñòðîèòü ôóíê-
öèè ïåðåõîäîâ è âûõîäîâ.
39
5. ÀÁÑÒÐÀÊÒÍÛÉ ÑÈÍÒÅÇ ÀÂÒÎÌÀÒÎÂ
Òàáëèöà 5.3
z z z! z" z# w w w! w" w#
z z z α α β β w w w
z z z α α β β w w w
z z z α α β β w w w
z z z α α β β w w w
z z z α β w w w
z z z α β w w w
z z z α α β β w w w
z z z α α β β w w w
41
z(1)z(2) = z0z0 ïðåîáðàçóåòñÿ íåîäíîçíà÷íî, ñïðàâà îò ïåðâûõ äâóõ âõîä-
íûõ ñëîâ äîïèñûâàåì áóêâó α, à ñëåâà îò ïåðâûõ äâóõ âûõîäíûõ ñëîâ
äîïèñûâàåì áóêâó β (òàáë. 5.3). Òî÷íî òàê æå ïîñòóïàåì ñî âòîðîé è ÷åò-
âåðòîé ïàðàìè âõîäíûõ è âûõîäíûõ ñëîâ. Â òðåòüåé ïàðå ñëîâ êîìáèíàöèÿ
z(1)z(2) = z1z0 ïðåîáðàçóåòñÿ îäíîçíà÷íî (ñì. òàáë. 5.2) â w(1)w(2) = βw0.
Ïî ýòîé ïðè÷èíå òðåòüþ ïàðó âõîäíûõ è âûõîäíûõ ñëîâ íå èçìåíÿåì
(ñì. òàáë. 5.3). Òðåõáóêâåííûå íà÷àëüíûå îòðåçêè âõîäíûõ ñëîâ â òàáë.
5.2 âñå ðàçëè÷íû, ïîýòîìó îíè ïðåîáðàçóþòñÿ îäíîçíà÷íî. Òî æå ñàìîå
îòíîñèòñÿ ê ÷åòûðåõáóêâåííûì íà÷àëüíûì îòðåçêàì âõîäíûõ ñëîâ è ê
ïîëíûì âõîäíûì ñëîâàì â òàáë. 5.3. Òàêèì îáðàçîì, çàäàâàåìûé òàáë.
5.3 àëôàâèòíûé îïåðàòîð ϕ, áóäåò àâòîìàòíûì.
Åñëè áû èñõîäíûé îïåðàòîð ñîäåðæàë íå òðåõáóêâåííûå, à ÷åòûðåõáóê-
âåííûå âõîäíûå è âûõîäíûå ñëîâà, äëÿ ïðèâåäåíèÿ åãî ê àâòîìàòíîìó âèäó
òîëüêî ÷òî ðàññìîòðåííûì ñïîñîáîì ïðèøëîñü áû ïðîâåðÿòü îäíîçíà÷íîñòü
ïðåîáðàçîâàíèÿ è òðåõáóêâåííûõ íà÷àëüíûõ îòðåçêîâ âõîäíûõ ñëîâ.
Ïîñòðîèì òåïåðü ïî òàáë. 5.3 ãðàôû àâòîìàòîâ Ìèëè è Ìóðà. Áóäåì
ïðè ýòîì ïðåäïîëàãàòü, ÷òî ïîñëåäíèé ñèìâîë êàæäîãî âõîäíîãî ñëîâà
äîëæåí ïåðåâîäèòü àâòîìàò â íà÷àëüíîå ñîñòîÿíèå. Íà÷íåì ñ ãðàôà
àâòîìàòà Ìèëè (ðèñ. 5.1).
α/ w 0 α/ w 0
z 0/w 1 a3 a4
a2 z1 / w 0
α/ w 0 α/ w 0
a5 a6
β
z0 /
α/ w 0 α/ w 0
a1
z1 / β z 0/ w 1 a8 a9
a7 z1 / w
z 0 /β
0
α/ w 1 α/ w 1
a 10 a 11
a0 α/ w 1
z 0/ w 0 a 14
z 1/ β
z 0/ w 0 a 13 z1 / w
0
α/ w 1
a 15
a 12 z1
/β
z0/w 0 a α/ w 1 α/ w 0
17 a 18
a 16 z1 /
w
α/ w 0 α/ w 1
1
a 19 a 20
Ðèñ. 5.1
42
 ìîìåíò t = 0 àâòîìàò íàõîäèòñÿ â ñîñòîÿíèè a0. Ïðè ïîäà÷å â ïîñ-
ëåäóþùèå ìîìåíòû âðåìåíè êàæäîãî âõîäíîãî ñèãíàëà z(t) àâòîìàò ïå-
ðåõîäèò â íîâîå ñîñòîÿíèå è âûðàáàòûâàåò âûõîäíîé ñèãíàë w(t).
Ïîñêîëüêó äëÿ àáñòðàêòíîãî àâòîìàòà ïîðÿäîê íóìåðàöèè ñîñòîÿíèé,
îòëè÷íûõ îò a0, áåçðàçëè÷åí, ìîæíî ñ÷èòàòü, ÷òî áóêâà z(1) = z0 ïåðâîãî
âõîäíîãî ñëîâà èç òàáë. 5.3 ïåðåâîäèò àâòîìàò â ñîñòîÿíèå a1. Ïðè ýòîì
âûðàáàòûâàåòñÿ âûõîäíîé ñèãíàë w(1) = β. Áóêâà z(2) = z0 ïåðåâîäèò àâòî-
ìàò èç ñîñòîÿíèÿ a1 â ñîñòîÿíèå a2 è îáåñïå÷èâàåò âûðàáîòêó âûõîäíîãî
ñèãíàëà w(2) = β. Âõîäíàÿ áóêâà z(3) = z0 ïåðåâîäèò àâòîìàò èç a2 â a3.
Ýòîìó ïåðåõîäó ñîîòâåòñòâóåò âûõîäíîé ñèãíàë w(3) = w1. Áóêâîé z(4) = a
àâòîìàò ïåðåâîäèòñÿ â ñîñòîÿíèå a4 ñ âûäà÷åé âûõîäíîãî ñèãíàëà w(4) = w0.
Ïîñëåäíåé âî âõîäíîì ñëîâå áóêâîé z(5) = a àâòîìàò, ñîãëàñíî óñëîâèþ,
äîëæåí ïåðåâîäèòüñÿ â ñîñòîÿíèå a0. Ýòîìó ïåðåõîäó ñîîòâåòñòâóåò âû-
õîäíîé ñèãíàë w(5) = w0. Íà÷àëüíûå îòðåçêè z(1)z(2), w(1)w(2) âòîðîãî âõîä-
íîãî è âûõîäíîãî ñëîâ ñîâïàäàþò ñ ñîîòâåòñòâóþùèìè íà÷àëüíûìè îòðåç-
êàìè ïåðâîãî âõîäíîãî è âûõîäíîãî ñëîâ, ïîýòîìó ïåðâûå äâà ïåðåõîäà äëÿ
âòîðîãî âõîäíîãî ñëîâà ñîâïàäàþò ñ óæå ïîñòðîåííûìè. Ïîñëåäóþùèå
ïåðåõîäû äëÿ ýòîãî ñëîâà ñòðîÿòñÿ òî÷íî òàê æå, êàê è äëÿ ïåðâîãî ñëîâà.
Çàòåì àíàëîãè÷íûì îáðàçîì ñòðîÿòñÿ ïåðåõîäû äëÿ îñòàëüíûõ âõîäíûõ è
âûõîäíûõ ñëîâ (ñì. òàáë. 5.3).
Ãðàô àâòîìàòà Ìóðà ïðèâåäåí íà ðèñ. 5.2. Îí ñòðîèòñÿ ïî÷òè òàê
æå, êàê è äëÿ àâòîìàòà Ìèëè. Ïåðâîå îòëè÷èå ñîñòîèò â òîì, ÷òî âû-
õîäíûå ñèãíàëû çàïèñûâàþòñÿ â âåðøèíàõ, òàê êàê âûõîäíîé ñèãíàë
àâòîìàòà Ìóðà â êàæäûé ìîìåíò âðåìåíè îïðåäåëÿåòñÿ òîëüêî
ñîñòîÿíèåì è íå çàâèñèò îò âõîäíîãî ñèãíàëà.
a3 α a2 α a 0́
z0 w1 w0
a2 z1 a5 α a8 α a 0́
z0 β w0 w0
z0
a8 α a9 α a 0́
z0 w1 w0
a 0́ a1 z1 a7
w0 β β z 1 a 10 α
z1 α a 11 a´0́
z0 w0 w0
z0 a 13 z0 a 14 α
a´0́ z1 a 12 a´0́
w0 w0
w1 β z 1 a 15w α a´0́
z1 1
a 16 z0 a 17 α a 18 α
β w0 w1 a 0́
z1 a 19 α a 20 α
w1 w0 a´0́
Ðèñ. 5.2
43
Âòîðîå îòëè÷èå â ÷èñëå íà÷àëüíûõ ñîñòîÿíèé. Òàê êàê ïîñëåäíÿÿ
áóêâà êàæäîãî âõîäíîãî ñëîâà äîëæíà ïåðåâîäèòü àâòîìàò â íà÷àëüíîå
ñîñòîÿíèå, ïîñëåäíÿÿ áóêâà êàæäîãî âûõîäíîãî ñëîâà ñîîòâåòñòâóåò
íà÷àëüíîìó ñîñòîÿíèþ. Ïîñêîëüêó âûõîäíûå ñëîâà â òàáë. 5.3 ñîäåð-
æàò äâå ðàçëè÷íûå ïîñëåäíèå áóêâû w0 è w1, àâòîìàò äîëæåí èìåòü
äâà ðàâíîïðàâíûõ íà÷àëüíûõ ñîñòîÿíèÿ a0' è a1', îòìå÷åííûõ âûõîäíûìè
ñèãíàëàìè w0 è w1 ñîîòâåòñòâåííî. Ýòè ñîñòîÿíèÿ äîëæíû áûòü ðàâíî-
ïðàâíûìè â òîì ñìûñëå, ÷òî ïðè z(1) = z0 àâòîìàò èç êàæäîãî èç íèõ
ïåðåõîäèò â ñîñòîÿíèå a1, à ïðè z(1) = z1 àâòîìàò èç êàæäîãî èç íèõ
ïåðåõîäèò â ñîñòîÿíèå a12.
Àâòîìàòû, ñîîòâåòñòâóþùèå ðèñ. 5.1 è 5.2, èìåþò âõîäíîé àëôàâèò
{z0, z1, a}. Òàê êàê èç êàæäîé âåðøèíû ýòèõ ãðàôîâ âûõîäÿò äóãè, îòìå-
÷åííûå íå áîëåå ÷åì äâóìÿ èç ýòèõ ñèìâîëîâ, ðàññìàòðèâàåìûå àâòî-
ìàòû áóäóò ÷àñòè÷íûìè.
Ïî ãðàôàì, èçîáðàæåííûì íà ðèñ. 5.1 è 5.2, ëåãêî ìîæíî ïîñòðî-
èòü òàáëèöû ïåðåõîäîâ è âûõîäîâ àâòîìàòîâ.
44
ñîñòîÿùåé èç ìèíèìàëüíîãî ÷èñëà ýëåìåíòîâ çàäàííîãî ëîãè÷åñ-
êîãî áàçèñà.
Âîçìîæíûé ïóòü ðåøåíèÿ ïåðâîé ÷àñòè çàäà÷è àáñòðàêòíîãî
ñèíòåçà óêàçàí â ïîäðàçä. 5.1. Ðåøåíèþ âòîðîé ÷àñòè çàäà÷è íåîáõî-
äèìî ïðåäïîñëàòü íåñêîëüêî îïðåäåëåíèé.
Äâà âïîëíå îïðåäåëåííûõ àáñòðàêòíûõ àâòîìàòà ñ îáùèì âõîä-
íûì è îáùèì âûõîäíûì àëôàâèòàìè íàçûâàþò ýêâèâàëåíòíûìè, åñëè
îíè èìåþò îäèí è òîò æå àëôàâèòíûé îïåðàòîð.
Äâà ÷àñòè÷íûõ àâòîìàòà ñ îáùèì âõîäíûì è îáùèì âûõîäíûì
àëôàâèòàìè íàçûâàþò ýêâèâàëåíòíûìè, åñëè èõ ÷àñòè÷íûå àëôà-
âèòíûå îïåðàòîðû èìåþò îäíó è òó æå îáëàñòü îïðåäåëåíèÿ è
ñîâïàäàþò íà ýòîé îáëàñòè. Äëÿ ÷àñòè÷íûõ àâòîìàòîâ, îäíàêî, áîëü-
øåå çíà÷åíèå èìååò íå îòíîøåíèå ýêâèâàëåíòíîñòè, à îòíîøåíèå ýê-
âèâàëåíòíîãî ïðîäîëæåíèÿ àâòîìàòîâ.
Ãîâîðÿò, ÷òî ÷àñòè÷íûé îïåðàòîð ϕ ïðîäîëæàåò ÷àñòè÷íûé îïå-
ðàòîð ψ, åñëè îáëàñòü îïðåäåëåíèÿ îïåðàòîðà ϕ âêëþ÷àåò â ñåáÿ
îáëàñòü îïðåäåëåíèÿ D îïåðàòîðà ψ, è íà îáëàñòè D îáà îïåðàòîðà
ñîâïàäàþò. ×àñòè÷íûé àâòîìàò B íàçûâàþò ýêâèâàëåíòíûì ïðîäîë-
æåíèåì ÷àñòè÷íîãî àâòîìàòà A, åñëè îïåðàòîð àâòîìàòà  ïðîäîë-
æàåò îïåðàòîð àâòîìàòà A.
Àáñòðàêòíûé ñèíòåç àâòîìàòà çàâåðøàåòñÿ íàõîæäåíèåì àâòî-
ìàòà ñ ìèíèìàëüíûì ÷èñëîì ñîñòîÿíèé, ýêâèâàëåíòíîãî çàäàííîìó
âïîëíå îïðåäåëåííîìó àâòîìàòó èëè ýêâèâàëåíòíî ïðîäîëæàþùåãî
çàäàííûé ÷àñòè÷íûé àâòîìàò. Ïðîöåññ íàõîæäåíèÿ òàêîãî àâòîìàòà
íàçûâàåòñÿ ìèíèìèçàöèåé àáñòðàêòíîãî àâòîìàòà, à ïîëó÷åííûé â
ðåçóëüòàòå åãî àâòîìàò íàçûâàþò ìèíèìàëüíûì àâòîìàòîì.
Ïåðâûì (ïðåäâàðèòåëüíûì) ýòàïîì âñÿêîé ìèíèìèçàöèè ÿâëÿåò-
ñÿ âûäåëåíèå íåîïðåäåëåííûõ âûõîäíûõ ñèãíàëîâ è ñîñòîÿíèé è âíå-
ñåíèå ñîîòâåòñòâóþùåé íåîïðåäåëåííîñòè â òàáëèöû ïåðåõîäîâ è
âûõîäîâ àâòîìàòà òàêèì îáðàçîì, ÷òîáû íå èçìåíèòü îïåðàòîð àâ-
òîìàòà. Ñ ýòîé öåëüþ ïðè çàäàíèè ÷àñòè÷íîãî àâòîìàòà Ìèëè òàá-
ëèöàìè ïåðåõîäîâ è âûõîäîâ íóæíî ïðî÷åðêíóòü âñå ìåñòà â òàáëè-
öå ïåðåõîäîâ àâòîìàòà, êîòîðûì ñîîòâåòñòâóþò ïðî÷åðêíóòûå ìåñ-
òà â òàáëèöå âûõîäîâ. Åñëè äëÿ ÷àñòè÷íûõ àâòîìàòîâ Ìóðà ñ÷èòàòü
çàïðåùåííûìè ñîñòîÿíèÿ, äëÿ êîòîðûõ íå îïðåäåëåíà ôóíêöèÿ âûõî-
äîâ, òî â òàáëèöå ïåðåõîäîâ àâòîìàòà Ìóðà íóæíî çàìåíèòü ÷åðòî÷-
êàìè ñèìâîëû çàïðåùåííûõ ñîñòîÿíèé.
45
Ïóñòü òàáë. 5.4 è 5.5 çàäàþò ôóíêöèè ïåðåõîäîâ è âûõîäîâ ÷àñ-
òè÷íîãî àâòîìàòà Ìèëè.
Òàáëèöà 5.4 Òàáëèöà 5.5 Òàáëèöà 5.6
at z z at z z at z z
a a a a w w a a a
a a a a ` w a ` a
a a a a w ` a a `
z0/w 1 z 0 /–
z0 / w 1
a2
a2
z 1 /–
46
z1 a1 z1 a1
w1 w1
z1 z1
a0 z0 a0
w0 w0
z0 z0 z0 z0
a2 a2
– z1 –
47
z1/w 1 z1
z0 / w 0 z0
a0 a1 a0 a1
z1 / w 0 w0 z1 w1
48
ðà ñëîâà, íî íå îò âûáîðà ñîñòîÿíèÿ. Ñîñòîÿíèÿ àâòîìàòà Ìóðà íàçûâà-
þòñÿ 0-ñîâìåñòèìûìè, åñëè (íå ñ÷èòàÿ íåîïðåäåëåííûõ îòìåòîê) îíè
îäèíàêîâî îòìå÷åíû; îíè íàçûâàþòñÿ i-ñîâìåñòèìûìè äëÿ ëþáîãî i =
1, 2, ..., åñëè îíè 0-ñîâìåñòèìû è (ñ òî÷íîñòüþ äî íåîïðåäåëåííûõ ðå-
çóëüòàòîâ) ðåçóëüòàò ïðèìåíåíèÿ ëþáîãî äàííîãî ñëîâà äëèíû i êî âñåì
ðàññìàòðèâàåìûì ñîñòîÿíèÿì îäèíàêîâ.
Î÷åâèäíî, i-ñîâìåñòèìûå ñîñòîÿíèÿ áóäóò òàêæå è ϕ-ñîâìåñòèìûìè
äëÿ ëþáîãî j < i. Ñîñòîÿíèÿ òîãäà è òîëüêî òîãäà ñîâìåñòèìû, êîãäà îíè
i-ñîâìåñòèìû äëÿ âñåõ i =1, 2, ... . i-êëàññîì äàííîãî àâòîìàòà Ìèëè è
Ìóðà íàçûâàåòñÿ âñÿêîå ìàêñèìàëüíîå ìíîæåñòâî i-ñîâìåñòèìûõ ìåæ-
äó ñîáîé ñîñòîÿíèé àâòîìàòà, ò. å. òàêîå ìíîæåñòâî, ê êîòîðîìó íåëüçÿ
äîáàâèòü íè îäíîãî íîâîãî ñîñòîÿíèÿ áåç íàðóøåíèÿ ñâîéñòâà i-ñîâìå-
ñòèìîñòè. Âñÿêîå ìàêñèìàëüíîå ìíîæåñòâî ñîâìåñòèìûõ ìåæäó ñî-
áîé ñîñòîÿíèé àâòîìàòà íàçûâàþò ôèíàëüíûì êëàññîì èëè êëàññîì
ñîâìåñòèìîñòè àâòîìàòà.
Íåïîñðåäñòâåííî ïî òàáëèöàì âûõîäîâ ìîãóò áûòü íàéäåíû 1-êëàñ-
ñû äëÿ àâòîìàòîâ Ìèëè è 0-êëàññû äëÿ àâòîìàòîâ Ìóðà.  ñëó÷àå àâ-
òîìàòà Ìèëè â îäèí è òîò æå 1-êëàññ çà÷èñëÿþòñÿ âñå ñîñòîÿíèÿ, îäè-
íàêîâî îáîçíà÷àþùèå (ñ òî÷íîñòüþ äî íåîïðåäåëåííûõ âûõîäíûõ ñèã-
íàëîâ) ñòðîêè òàáëèö âûõîäîâ.  ñëó÷àå àâòîìàòà Ìóðà â îäèí è òîò
æå 0-êëàññ çà÷èñëÿþòñÿ âñå îäèíàêîâî îòìå÷åííûå ñîñòîÿíèÿ è âñå
ñîñòîÿíèÿ, îòìåòêè êîòîðûõ íå îïðåäåëåíû (ïîñëåäíèå ïîïàäàþò, òà-
êèì îáðàçîì, âî âñå 0-êëàññû).
Íà ýòîì ïðèìåðå âèäíî, ÷òî äëÿ ÷àñòè÷íûõ àâòîìàòîâ i-êëàññû, âî-
îáùå ãîâîðÿ, ïåðåñåêàþòñÿ ìåæäó ñîáîé. Òî æå ñàìîå èìååò ìåñòî è
äëÿ ôèíàëüíûõ êëàññîâ. Äëÿ âïîëíå îïðåäåëåííûõ àâòîìàòîâ i-êëàññû
íå ìîãóò ïåðåñåêàòüñÿ ìåæäó ñîáîé.
Ïóñòü K1(i), ..., Kp(i) ñîâîêóïíîñòè âñåõ i-êëàññîâ àâòîìàòà (Ìèëè
èëè Ìóðà). Ãîâîðÿò, ÷òî òîæäåñòâî N ñîñòîÿíèé aj1, ..., ajk, öåëèêîì ñî-
äåðæàùååñÿ â îäíîì èç i-êëàññîâ Kr(i) âûäåðæèâàåò óìíîæåíèå íà âõîä-
íóþ áóêâó zm, åñëè âñå ñîñòîÿíèÿ δ(aj1, zm), δ(aj2, zm), ..., δ(ajk, zm) (íå
ñ÷èòàÿ òåõ, êîòîðûå íå îïðåäåëåíû) ñîäåðæàòñÿ â îäíîì è òîì æå i-
êëàññå Kt(i), çàâèñÿùåì îò âûáîðà N è zm ∈ N.
Íàõîæäåíèå ìàêñèìàëüíûõ ïîäìíîæåñòâ ñîñòîÿíèé êàæäîãî i-êëàññà,
âûäåðæèâàþùèõ óìíîæåíèå íà âñå áóêâû z1, z2, ..., zF âõîäíîãî àëôàâè-
òà àâòîìàòà íàçûâàåòñÿ îïåðàöèåé ðàñùåïëåíèÿ (ðàçáèåíèÿ) i-êëàññîâ.
Îïåðàöèÿ ðàñùåïëåíèÿ i-êëàññîâ âûïîëíÿþòñÿ î÷åâèäíûì îáðàçîì ñ
ïîìîùüþ òàáëèöû ïåðåõîäîâ ðàññìàòðèâàåìîãî àâòîìàòà.
49
 ðåçóëüòàòå ïðèìåíåíèÿ îïåðàöèè ðàñùåïëåíèÿ i-êëàññîâ àâòîìàòà
Ìèëè èëè Ìóðà âîçíèêàþò âñå (i+1)-êëàññû ýòîãî àâòîìàòà (i = 1, 2, ...).
Èìè ÿâëÿåòñÿ âñå ìàêñèìàëüíûå ìíîæåñòâà, âîçíèêàþùèå â ðåçóëüòà-
òå ðàñùåïëåíèÿ.
Åñëè ïðèìåíÿòü ïîñëåäîâàòåëüíî îïåðàöèþ ðàñùåïëåíèÿ i-êëàññîâ
ê êîíå÷íîìó àâòîìàòó Ìèëè èëè Ìóðà, îòïðàâëÿÿñü îò 1-êëàññîâ (äëÿ
àâòîìàòà Ìèëè) èëè îò 0-êëàññîâ (äëÿ àâòîìàòà Ìóðà), òî ÷åðåç êîíå÷-
íîå ÷èñëî øàãîâ äëÿ íåêîòîðîãî k ≥ 0 ïðîöåññ ðàñùåïëåíèÿ k-êëàññîâ
äàñò â ðåçóëüòàòå òå æå ñàìûå k-êëàññû. Óäîâëåòâîðÿþùèå ýòîìó óñ-
ëîâèþ (íåðàñùåïëÿåìûå äàëåå) k-êëàññû áóäóò ñîâïàäàòü ñ ôèíàëü-
íûìè êëàññàìè èñõîäíîãî àâòîìàòà. Ýòîò ïîëó÷åííûé Â. Ì. Ãëóøêî-
âûì [2] ðåçóëüòàò ÿâëÿåòñÿ îñíîâîé ìèíèìèçàöèè ÷èñëà ñîñòîÿíèé êî-
íå÷íûõ àâòîìàòîâ.
50
äåëåííûì, à â êà÷åñòâå ñîñòîÿíèÿ δ1(cm, zk) áóäåò ïðèíèìàòüñÿ ëþáîé
èç ôèíàëüíûõ êëàññîâ ci (èõ ìîæåò áûòü íåñêîëüêî), ñîäåðæàùèé âñå
îïðåäåëåííûå ñîñòîÿíèÿ âèäà δ(av, zk)(av∈cm). Î÷åâèäíî, ôèíàëüíûå
êëàññû ci ñ òðåáóåìûìè ñâîéñòâàìè âñåãäà ñóùåñòâóþò.
Çà íà÷àëüíîå ñîñòîÿíèå àâòîìàòà Ñ ìîæíî ïðèíÿòü ëþáîé ôèíàëüíûé
êëàññ, ñîäåðæàùèé íà÷àëüíîå ñîñòîÿíèå àâòîìàòà A, ëèáî ïðèíÿòü çà
íà÷àëüíûå ñîñòîÿíèÿ àâòîìàòà Ñ íåêîòîðûå èëè âñå ôèíàëüíûå êëàñ-
ñû, ñîäåðæàùèå íà÷àëüíîå ñîñòîÿíèå àâòîìàòà A.
Ñîâîêóïíîñòü E âñåõ ôèíàëüíûõ êëàññîâ àâòîìàòà A óäîâëåòâîðÿåò
óñëîâèþ ïîëíîòû è óñëîâèþ çàìêíóòîñòè. Ïåðâîå óñëîâèå îçíà÷àåò, ÷òî
êàæäîå ñîñòîÿíèå àâòîìàòà A ïðèíàäëåæèò êàêîìó-ëèáî èç ôèíàëüíûõ
êëàññîâ. Âòîðîå óñëîâèå îçíà÷àåò, ÷òî äëÿ êàæäîé áóêâû âõîäíîãî àë-
ôàâèòà âñå ñîñòîÿíèÿ êàæäîãî ôèíàëüíîãî êëàññà (ñ òî÷íîñòüþ äî íåî-
ïðåäåëåííûõ ïåðåõîäîâ) ïåðåõîäÿò â ñîñòîÿíèÿ, ïðèíàäëåæàùèå îäíî-
ìó ôèíàëüíîìó êëàññó (òîìó æå ñàìîìó èëè äðóãîìó). Ïóñòü E0 íàè-
ìåíüøåå ïîäìíîæåñòâî E, óäîâëåòâîðÿþùåå óñëîâèÿì ïîëíîòû è çàì-
êíóòîñòè. Óñëîâèå çàìêíóòîñòè çäåñü îçíà÷àåò, ÷òî äëÿ êàæäîé áóêâû
âõîäíîãî àëôàâèòà âñå ñîñòîÿíèÿ êàæäîãî ôèíàëüíîãî êëàññà èç E0 (ñ
òî÷íîñòüþ äî íåîïðåäåëåííûõ ïåðåõîäîâ) ïåðåõîäÿò â ñîñòîÿíèÿ, ïðè-
íàäëåæàùèå îäíîìó (òîìó æå ñàìîìó èëè äðóãîìó) ôèíàëüíîìó êëàñ-
ñó èç E0. Íàçîâåì ìèíèìàëüíîé íîðìàëüíîé ôîðìîé àâòîìàòà A íîð-
ìàëüíóþ ôîðìó, ïîñòðîåííóþ ïî ìíîæåñòâó ôèíàëüíûõ êëàññîâ E0.
Åñëè â ìèíèìàëüíîé íîðìàëüíîé ôîðìå Ñ ñâÿçíîãî àâòîìàòà A â
êà÷åñòâå íà÷àëüíîãî ñîñòîÿíèÿ âûáðàí êàêîé-ëèáî ôèíàëüíûé êëàññ,
ñîäåðæàùèé íà÷àëüíîå ñîñòîÿíèå àâòîìàòà A, òî àâòîìàò Ñ áóäåò èìåòü
íàèìåíüøåå ÷èñëî ñîñòîÿíèé ñðåäè âñåõ àâòîìàòîâ, ýêâèâàëåíòíî ïðî-
äîëæàþùèõ àâòîìàò A.
Ïðîöåññ ìèíèìèçàöèè àâòîìàòà A ìîæíî ðàçáèòü íà äâà ýòàïà. Íà
ïåðâîì ýòàïå ñ ïîìîùüþ êàêîãî-ëèáî ýâðèñòè÷åñêîãî ïðèåìà ñòðîèòñÿ
ýêâèâàëåíòíûé àâòîìàòó A àâòîìàò B ñ ìåíüøèì, ÷åì ó A êîëè÷åñòâîì
ñîñòîÿíèé, à íà âòîðîì ýòàïå ñòàíäàðòíûì ìåòîäîì îñóùåñòâëÿåòñÿ
ìèíèìèçàöèÿ àâòîìàòà A. Ïðè ýòîì ÷åì ìåíüøå êîëè÷åñòâî ñîñòîÿíèé
èìååò àâòîìàò B, òåì ïðîùå áóäåò åãî ïîñëåäóþùàÿ ìèíèìèçàöèÿ.
Íàèáîëüøèé îáúåì ðàáîòû ïî ìèíèìèçàöèè àâòîìàòà ñâÿçàí ñ íà-
õîæäåíèåì ôèíàëüíûõ êëàññîâ. Äëÿ êîíå÷íûõ àâòîìàòîâ ýòà ðàáîòà
ìîæåò áûòü ñóùåñòâåííî óïðîùåíà ñ ïîìîùüþ òðåóãîëüíûõ òàáëèö.
Ïðàâèëà ñîñòàâëåíèÿ è èñïîëüçîâàíèÿ ýòèõ òàáëèö óäîáíåå âñåãî ðàñ-
ñìîòðåòü íà êîíêðåòíûõ ïðèìåðàõ àáñòðàêòíîãî ñèíòåçà àâòîìàòîâ.
51
5.5. Ïðèìåð ìèíèìèçàöèè àâòîìàòà Ìèëè
Ïóñòü ÷àñòè÷íûé àâòîìàò Ìèëè A çàäàí ãðàôîì, ïðèâåäåííûì íà
ðèñ. 5.1. Ýòî ñâÿçíûé àâòîìàò áåç íåîïðåäåëåííûõ âûõîäíûõ ñèãíàëîâ.
Åãî ìèíèìèçàöèþ áóäåì îñóùåñòâëÿòü â äâà ýòàïà. Ñíà÷àëà ïîñòðîèì
ýêâèâàëåíòíûé àâòîìàòó A àâòîìàò B ñ ìåíüøèì ÷åì ó A ÷èñëîì ñî-
ñòîÿíèé.
Ñîãëàñíî ðèñ. 5.1, åäèíñòâåííûì ïðèìåíèìûì ê ñîñòîÿíèÿì a4, a6,
a9 è a18 âõîäíûì ñëîâîì áóäåò îäíîáóêâåííîå ñëîâî p = α ñ ðåçóëüòà-
òîì ïðèìåíåíèÿ q = w0. Ïî ýòîé ïðè÷èíå ñîñòîÿíèÿ a4, a6, a9 è a18 ñî-
âìåñòèìû, è èõ ìîæíî çàìåíèòü îäíèì ñîñòîÿíèåì b4. Òî÷íî òàê æå
óáåäèìñÿ â ñîâìåñòèìîñòè ñîñòîÿíèé a11, a14, a15 è a20, â ñèëó ÷åãî èõ
ìîæíî çàìåíèòü îäíèì ñîñòîÿíèåì b7. Äëÿ ñîñòîÿíèé a3, a5, a8 ïðèìå-
íèìûìè âõîäíûìè ñëîâàìè áóäóò ëèøü äâóõáóêâåííîå ñëîâî p1= αα,
êîòîðîìó ñîîòâåòñòâóåò ðåçóëüòàò ïðèìåíåíèÿ q1= w0w0, è îäíîáóêâåí-
íîå ñëîâî p = α ñ ðåçóëüòàòîì ïðèìåíåíèÿ q = w0. Ñëåäîâàòåëüíî, ñî-
ñòîÿíèÿ a3, a5, a8 ñîâìåñòèìû, è èõ ìîæíî çàìåíèòü îäíèì ñîñòîÿíèåì
b3. Ïåðåîáîçíà÷èâ òåïåðü íà ðèñ. 5.1 a0 íà b0, a1 íà b1, a2 íà b2, a7 íà b5,
a10 íà b6, a12 íà b8, a13 íà b9, a16 íà b10, a17 íà b11 è a19 íà b12, ïîëó÷èì
ãðàô àâòîìàòà Ìèëè B, èçîáðàæåííûé íà ðèñ. 5.9.
α/ w 0
z0/w 1
z1/w 0 α/ w 0 α/ w 0
z 0/β b2 b3 b4 b0
b1 w 1
z1 / β z 0/
z1/ w 0 α/ w 1 α/ w 1
z0/β b5 b6 b7 b0
w0
b 11 b0 z 0/
w1
z 1/
z1/β
z 0 /w 0 b9
w 0
b8 z1 / α/
β
z1 /
w0 z1 / w 1
b 10 b 12
Ðèñ. 5.9
52
Àâòîìàò B èìååò òîëüêî 13 ñîñòîÿíèé âìåñòî 21 ñîñòîÿíèÿ ó àâòîìà-
òà A. Ýòè àâòîìàòû ýêâèâàëåíòíû. Äåéñòâèòåëüíî, ïðîéäÿ âñå ïóòè èç
ñîñòîÿíèÿ b0 ÷åðåç äðóãèå ñîñòîÿíèÿ îïÿòü â b0, óáåäèìñÿ â òîì, ÷òî
îïåðàòîð àâòîìàòà B îïðåäåëåí íà âñåõ âõîäíûõ ñëîâàõ èç òàáë. 5.3 è
íà èõ íà÷àëüíûõ îòðåçêàõ.
Äðóãèõ ñëîâ îáëàñòü îïðåäåëåíèÿ îïåðàòîðà Â íå ñîäåðæèò. Ïðè ýòîì
êàæäîìó âõîäíîìó ñëîâó îïåðàòîð àâòîìàòà B ñîïîñòàâëÿåò òî æå ñà-
ìîå åäèíñòâåííîå âûõîäíîå ñëîâî, ÷òî è îïåðàòîð àâòîìàòà A.
Òàáëèöà 5.12
bt` α z z
b b/β b&/β
b b /β b#/β
b b!/w b!/w
b! b"/w
b" b/w
b# b!/w1 b$/w
b$ b%/w
b% b/w
b& b'/w b/β
b' b%/w b%/w
b b/w b /w
b b"/w
b b%/w
53
ñòîÿíèé îïðåäåëÿåòñÿ íà îñíîâàíèè àíàëèçà íåïðîòèâîðå÷èâîñòè óñëî-
âèé, çàïèñàííûõ â êëåòêàõ. Äëÿ ðàññìàòðèâàåìîãî ïðèìåðà òðåóãîëü-
íàÿ òàáëèöà (òàáë. 5.13) ñòðîèòñÿ ñëåäóþùèì îáðàçîì.
Ñîãëàñíî òàáë. 5.12, ñîñòîÿíèÿì b0 è b1 äëÿ êàæäîãî âõîäíîãî ñèãíà-
ëà ñîîòâåòñòâóþò îäèíàêîâûå âûõîäíûå ñèãíàëû, ïîýòîìó ñîñòîÿíèÿ
b0 è b1 ìîæíî ñîâìåñòèòü, åñëè ïðè êàæäîì âõîäíîì ñèãíàëå îíè ïåðå-
õîäÿò â ñîâìåñòèìûå ñîñòîÿíèÿ, ò. å. åñëè ìîæíî ñîâìåñòèòü ñîñòîÿ-
íèå b1 ñ b2 è ñîñòîÿíèå b8 ñ b5. Ýòè óñëîâèÿ è çàïèñûâàþòñÿ â âåðõíþþ
êëåòêó, ñîîòâåòñòâóþùóþ ñòîëáöó äëÿ b0 (òàáë. 5.13). Ïîñêîëüêó äëÿ
ñîñòîÿíèé b0 è b2 íàéäåòñÿ âõîäíîé ñèãíàë, äëÿ êîòîðîãî (ñì. òàáë. 5.12)
âûäàþòñÿ ðàçëè÷íûå âõîäíûå ñèãíàëû, ýòè ñîñòîÿíèÿ ñîâìåñòèòü íå-
âîçìîæíî, è ñîîòâåòñòâóþùàÿ êëåòêà òàáë. 5.13 îòìå÷àåòñÿ ñèìâî-
ëîì ×. Ñîñòîÿíèÿ b0 è b3 ñîâìåùàþòñÿ áåçóñëîâíî, ïîñêîëüêó ïðè êàæ-
äîì âõîäíîì ñèãíàëå ïåðåõîä îïðåäåëåí òîëüêî äëÿ îäíîãî èç íèõ. Â
ñîîòâåòñòâóþùåé êëåòêå òàáë. 5.13 íóæíî ïîñòàâèòü ïîýòîìó ñèìâîë
∨. Çàòåì àíàëèçèðóþòñÿ îñòàëüíûå ïàðû ñîñòîÿíèé ñòîëáöà òàáë. 5.13,
îòìå÷åííîãî ñîñòîÿíèåì b0, ïîñëå ÷åãî òî÷íî òàê æå àíàëèçèðóþòñÿ
ïàðû ñîñòîÿíèé, ñîîòâåòñòâóþùèå îñòàëüíûì ñòîëáöàì, íà÷èíàÿ ñ âåð-
õíåé ñòðîêè â êàæäîì ñòîëáöå. Â ðåçóëüòàòå ýòîãî àíàëèçà âñå êëåòêè
òàáë. 5.13 îêàæóòñÿ çàïîëíåííûìè ñèìâîëàìè ×, ∨ èëè óñëîâèÿìè, ïðè
êîòîðûõ âîçìîæíî ñîâìåùåíèå ñîñòîÿíèé, ñîîòâåòñòâóþùèõ êëåò-
êàì. Ïîñëå ýòîãî íà÷èíàåòñÿ àíàëèç óñëîâèé, çàïèñàííûõ â êëåòêàõ
òàáë. 5.13.
Ñîñòîÿíèÿ b0 è b1 ìîæíî ñîâìåñòèòü â òîì ñëó÷àå, åñëè ñîâìåñ-
òèìû ñîñòîÿíèÿ b1, b2 è b5, b8. Íî â êëåòêå, ñîîòâåòñòâóþùåé ñîñòîÿíè-
ÿì b1, b2, ñòîèò çíàê×, ïîýòîìó ñîâìåñòèòü ñîñòîÿíèÿ b0 è b1 íåâîçìîæ-
íî è â ñîîòâåòñòâóþùåé èì êëåòêå ñòàâèòñÿ ñèìâîë ×. Àíàëîãè÷íûì
îáðàçîì íàõîäèì, ÷òî è â êëåòêå, îòìå÷åííîé ñîñòîÿíèÿìè b2, b4, íóæíî
ïîñòàâèòü çíàê ×.  êëåòêå, îòìå÷åííîé ñîñòîÿíèÿìè b0 è b4, ñòîèò ñèì-
âîë ∨, ïîýòîìó â êëåòêå, îòìå÷åííîé ñîñòîÿíèÿìè b3 è b4, òàê æå íóæíî
ïîñòàâèòü ∨. Â ðåçóëüòàòå ïîñëå òàêîãî àíàëèçà êëåòîê, â êîòîðûõ çàïè-
ñàíû óñëîâèÿ ñîâìåñòèìîñòè, â êàæäîé êëåòêå òàáë. 5.13 áóäåò ñòîÿòü
ñèìâîë × èëè ñèìâîë ∨. Ïî òàêîé òðåóãîëüíîé òàáëèöå ìîæíî íàéòè
ôèíàëüíûå êëàññû.
Ïðîöåäóðà íàõîæäåíèÿ ìèíèìàëüíîãî ìíîæåñòâà ôèíàëüíûõ êëàñ-
ñîâ, ïðåäïîëàãàþùàÿ ïîëíûé ïåðåáîð ñîâìåñòèìûõ ñîñòîÿíèé, ïðèâå-
äåíà â ëèòåðàòóðå [5]. Ïîñêîëüêó ÷àñòî ýòà ïðîöåäóðà îêàçûâàåòñÿ ãðî-
54
Òàáëèöà 5.13
b, b
b ×
b#, b&
b × ×
b! ∨ ∨ ∨
b# × × × ∨ ∨
b$ ∨ ∨ ∨ × × ∨
b% ∨ ∨ ∨ × × ∨ ∨
b& × × × ∨ ∨ × ∨ ∨
b' × × × ∨ ∨ × ∨ ∨ ×
b%, b
b × × × ∨ ∨ × ∨ ∨ × ×
b%, b
b ∨ ∨ ∨ b", b% ∨ × × ∨ ∨ ∨ ×
× ∨
b b b b! b" b# b$ b% b& b' b b
55
êîíêðåòíûõ ñîñòîÿíèé â ôèíàëüíûå êëàññû. Ïðåäëàãàåìûé ñïîñîá ìî-
æåò áûòü îïèñàí ñ ïîìîùüþ ñëåäóþùåé ïðîöåäóðû.
1. Ôîðìèðóåòñÿ ìíîæåñòâî ïàð ñîâìåñòèìûõ ñîñòîÿíèé íà îñíîâà-
íèè ðàçìåòêè êàæäîãî ñòîëáöà òðåóãîëüíîé òàáëèöû.
Äëÿ ðàññìàòðèâàåìîãî àâòîìàòà Ìèëè (òàáë. 5.12) ïî òàáë. 5.13 íà-
õîäèì ñëåäóþùèå ïàðû ñîâìåñòèìûõ ñîñòîÿíèé:
(b0, b3), (b1, b3), (b2, b3), (b3, b4), (b4, b5), (b5, b6),
(b0, b4), (b1, b4), (b2, b4), (b3, b5), (b4, b8), (b5, b7),
(b0, b6), (b1, b6), (b2, b6), (b3, b8), (b4, b9), (b5, b11),
(b0, b7), (b1, b7), (b2, b7), (b3, b9), (b4, b10), (b5, b12),
(b0, b11), (b1, b11), (b2, b11), (b3, b10), (b4, b12),
(b0, b12), (b1, b12), (b2, b12),
(b6, b7), (b7, b8), (b8, b11), (b9, b11), (b10, b11),
(b6, b8), (b7, b9), (b8, b12), (b9, b12), (b10, b12).
(b6, b9), (b7, b10),
(b6, b10), (b7, b11),
2. Íà îñíîâå ïîëó÷åííîãî ìíîæåñòâà ïðîèçâîäèòñÿ óêðóïíåíèå ãðóïï
ñîâìåñòèìûõ ñîñòîÿíèé, â ðåçóëüòàòå ÷åãî äîëæíà áûòü ïîëó÷åíà ïîë-
íàÿ ñîâîêóïíîñòü ôèíàëüíûõ êëàññîâ, â êàæäîì èç êîòîðûõ âñå ñîñ-
òîÿíèÿ ñîâìåñòèìû ìåæäó ñîáîé. Äëÿ óìåíüøåíèÿ ñëîæíîñòè ýòîé
ïðîöåäóðû âîçìîæíî ïðè ôîðìèðîâàíèè êàæäîãî î÷åðåäíîãî êëàññà
ñîâìåñòèìûõ ñîñòîÿíèé íå ðàññìàòðèâàòü ñîñòîÿíèÿ, óæå âîøåäøèå â
êàêîé-ëèáî èç ñôîðìèðîâàííûõ êëàññîâ.  ÷àñòíîñòè, â ðàññìàòðèâàå-
ìîì ñëó÷àå ñîñòîÿíèå b0 ñîâìåñòèìî ñ ñîñòîÿíèÿìè b3 è b4, ïðè÷åì
ñîñòîÿíèå b3 òàê æå ñîâìåñòèìî ñ ñîñòîÿíèåì b4, ñëåäîâàòåëüíî, èõ
ìîæíî âêëþ÷èòü â îäèí ôèíàëüíûé êëàññ K1. Ñîñòîÿíèå b0 ñîâìåñòèìî
è ñ ñîñòîÿíèåì b6, îäíàêî b6 íå ñîâìåñòèìî ñ ñîñòîÿíèåì b3 è íå ìîæåò
âõîäèòü â ýòîò æå ôèíàëüíûé êëàññ. Àíàëîãè÷íàÿ ñèòóàöèÿ îáíàðóæèâà-
åòñÿ ïðè àíàëèçå ñîâìåñòèìûõ ñ b0 ñîñòîÿíèé b7, b11, b12. Ïîäîáíûì æå
îáðàçîì ôîðìèðóþòñÿ è âñå îñòàëüíûå ôèíàëüíûå êëàññû. Â ðåçóëüòà-
òå áóäóò ïîëó÷åíû ñëåäóþùèå êëàññû ñîâìåñòèìûõ ñîñòîÿíèé:
K1 = {b0, b3, b4}, K5 = {b8},
K2 = {b1, b6, b7}, K6 = {b9},
K3 = {b2, b11}, K7 = {b10}.
K4 = {b5, b12},
56
3. Ïðîèçâîäèòñÿ àíàëèç ïîëó÷åííûõ ôèíàëüíûõ êëàññîâ íà óäîâ-
ëåòâîðåíèå óñëîâèÿì ïîëíîòû è çàìêíóòîñòè. Ïðîâåðêà óñëîâèÿ ïîëíî-
òû î÷åâèäíà è íå âûçûâàåò çàòðóäíåíèé, à ïðîâåðêà óñëîâèÿ çàìêíóòî-
ñòè âûïîëíÿåòñÿ ïî òàáëèöå ïåðåõîäîâ-âûõîäîâ äëÿ âñåõ ñîñòîÿíèé
àâòîìàòà. Åñëè êàêèå-ëèáî äâà ñîñòîÿíèÿ, âõîäÿùèå â îäèí èç âûáðàí-
íûõ ôèíàëüíûõ êëàññîâ, ïåðåâîäÿòñÿ íåêîòîðûì âõîäíûì ñèãíàëîì â
ñîñòîÿíèÿ, ïðèíàäëåæàùèå ðàçíûì êëàññàì, òî íóæíî âûáðàòü íîâîå
ðåøåíèå è ïðîâåðèòü åãî íà çàìêíóòîñòü.
Äëÿ ðàññìàòðèâàåìîãî àâòîìàòà ïðè ïðîâåðêå ôèíàëüíûõ êëàññîâ
íà çàìêíóòîñòü îêàçûâàåòñÿ, ÷òî ïðèíàäëåæàùèå êëàññó K2 ñîñòîÿíèÿ
b6 è b7 ñèãíàëîì a ïåðåâîäÿòñÿ â ñîñòîÿíèÿ, ïðèíàäëåæàùèå ðàçíûì
êëàññàì (b6 a→ b7 ∈ K1, à b7 a→ b0 ∈ K2), ò. å. óñëîâèå çàìêíóòîñòè
íå âûïîëíÿåòñÿ. Ñëåäîâàòåëüíî, íåîáõîäèìî îäíî èç ýòèõ ñîñòîÿíèé (íà-
ïðèìåð, b7) ïåðåíåñòè â äðóãîé êëàññ, íå íàðóøàÿ ïðè ýòîì óñëîâèå çàì-
êíóòîñòè. Òàêèì êëàññîì ìîæåò áûòü êëàññ K5. Â ðåçóëüòàòå áóäåò
ïîëó÷åíî îêîí÷àòåëüíîå ìíîæåñòâî ôèíàëüíûõ êëàññîâ, ñîâïàäàþùèõ
ñ ñîñòîÿíèÿìè ìèíèìèçèðîâàííîãî àâòîìàòà C
c0 = K1 = {b0, b3, b4}, c3 = K4 = {b5, b12}, c6 = K7 = {b10}.
c1 = K2 = {b1, b6}, c4 = K5 = {b7, b8},
c0 = K3 = {b2, b11}, c5 = K6 = {b9}.
4. Ñòðîèòñÿ òàáëèöà ïåðåõîäîâ-âûõîäîâ ìèíèìèçèðîâàííîé íîð-
ìàëüíîé ôîðìû çàäàííîãî àâòîìàòà. Äàëåå ïî ýòîé òàáëèöå ìîæíî ïî-
ñòðîèòü ãðàô ïåðåõîäîâ ìèíèìèçèðîâàííîãî àâòîìàòà. Ñîñòîÿíèÿ ïåðå-
õîäîâ è âûõîäíûå ñèãíàëû â ýòîì àâòîìàòå îïðåäåëÿþòñÿ ïî ïåðåõî-
äàì è âûõîäíûì ñèãíàëàì òîãî ñîñòîÿíèÿ, êîòîðîå íàèáîëåå ïîëíî
îïðåäåëåíî.
Òàáëèöà 5.14
ct α z z
c c /w c /β c" /β
c c" /w c /β c! /β
c c /w c /w c0 /w
c! c" /w c /w c /w
c" c0 /w c# /w c$ /β
c# c" /w c" /w
c$ c /w c! /w
57
z0
z1 α
c2
β w0
z0 β
z
1
w
c1 w 0 1 z1 c2 w 1
w1
w0 β αz
α α 0
z0
c0 w w1
1
w0 z1 w0
β
w1 α c z0 w0
4
w0 z0 c5
z1 z1 z1
w1
c6 z0
β
Ðèñ. 5.10
58
íûìè ñëîâàìè áóäóò ëèøü äâóõáóêâåííîå ñëîâî p 1= αα, êîòîðîìó
ñîîòâåòñòâóåò âûõîäíîå ñëîâî q1= w0w0 è îäíîáóêâåííîå ñëîâî p = α,
êîòîðîìó ñîîòâåòñòâóåò âûõîäíîå ñëîâî q = w0. Ñëåäîâàòåëüíî, ñîñòî-
ÿíèÿ a3 è a8 ñîâìåñòèìû, è èõ ìîæíî çàìåíèòü îäíèì ñîñòîÿíèåì. Ïå-
ðåîáîçíà÷èâ òåïåðü íà ðèñ. 5.2 a0" íà b0", a0' íà b0', a1 íà b1, a2 íà b2, a5 íà
b5, a7 íà b6, a10 íà b7, a11 íà b8, a12 íà b9, a13 íà b10, a16 íà b11, a19 íà b12, a20
íà b13, a17 íà b14, a18 íà b15, ïîëó÷èì ãðàô àâòîìàòà Ìóðà B, èçîáðàæåí-
íûé íà ðèñ. 5.11.
Àâòîìàò B èìååò 17 ñîñòîÿíèé âìåñòî 22 ó àâòîìàòà A è ýòè àâòî-
ìàòû ýêâèâàëåíòíû.
a3
z1 w1 α
b2 a5 α b 0́
β z0 α w0
z0
b3
z0 z0 w1
b 0́ z1 b6
w0 β β z1 b 7 α
z1 α b8 b´0́
z0 w0 w0
z1
z0 b10
b ´´0 z 1 z0
w1 β w0
z1 b 12 α b13 α
z1 b´0́
w1 w0
b 11
β z0
b14 α b15 α
w0 w1 b 0́
Ðèñ. 5.11
59
Òàáëèöà 5.15
wt bt α z z
w b b b'
w b b b'
β b b b$
β b b3 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
60
Òàáëèöà 5.16
× ×
b , b!
× × ×
b#, b$
× ∨ × ×
∨ × × × ×
× b∨, b"
∨ × × ×
b , b! b , b
× × × # % × × ×
b$, b% ×
× b ×, b" ×
× ∨ × × × ×
× b ×,b! ×
× ∨ × × b",b! × × × × ×
× b ×
,b! b",b# × b&,×b# × b∨,b#
∨ × × × × × × ∨ ×
61
C1 = K3 = {b1}, C7 = K9 = {b11},
C2 = K4 = {b2}, C8 = K10 = {b12},
C3 = K5 = {b6}, C9 = K11 = {b13, b14}.
C4 = K6 = {b1, b10},
Ïîëó÷åííîå ìíîæåñòâî ôèíàëüíûõ êëàññîâ óäîâëåòâîðÿåò óñëîâèÿì
ïîëíîòû è çàìêíóòîñòè, â ÷åì ëåãêî óáåäèòüñÿ ñ ïîìîùüþ òàáë. 5.15.
Äëÿ ýòîãî ìíîæåñòâà ñòðîèì íîðìàëüíóþ ôîðìó àâòîìàòà, êîòîðàÿ è
áóäåò ìèíèìàëüíûì àâòîìàòîì ýêâèâàëåíòíî ïðîäîëæàþùèì àâòîìàò
A. Îòìå÷åííàÿ òàáëèöà ïåðåõîäîâ ìèíèìàëüíîãî àâòîìàòà ïðèâåäåíà
â òàáë. 5.17. Ïî íåé íà ðèñ. 5.12 ïîñòðîåí ãðàô ìèíèìàëüíîãî àâòîìàòà
Ìóðà.
Òàáëèöà 5.17
wt ct α 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' c5
w c# c
β c$ c" c%
β c% c' c&
w c& c'
w c' c
c9 z0 c4 z1 c3
w0 w0 β
α α∨z 1
z0 α
z0
c7 z1 c8 c5 α c ´´0 α c2
β w1 w1 w1 β
z0 z1 α z1
z1 z0
α
c6 c 0´ c1
β z1 w0 z0 β
62 Ðèñ. 5.12
Ñ ïîìîùüþ òàáë. 5.3 ëåãêî óáåæäàåìñÿ â òîì, ÷òî âñå äîïóñòèìûå
âõîäíûå ñëîâà îïåðàòîðà àâòîìàòà A è èõ íà÷àëüíûå îòðåçêè ïðè-
íàäëåæàò îáëàñòè îïðåäåëåíèÿ îïåðàòîðà ìèíèìàëüíîãî àâòîìàòà. Ïî
ðèñ. 5.12 íàõîäèì, ÷òî âõîäíîå ñëîâî p = z0z0z1ααα ïðèíàäëåæèò îáëàñ-
òè îïðåäåëåíèÿ îïåðàòîðà ìèíèìàëüíîãî àâòîìàòà. Ñîãëàñíî òàáë. 5.3,
ýòî ñëîâî íå ïðèíàäëåæèò îáëàñòè îïðåäåëåíèÿ îïåðàòîðà èñõîäíîãî
àâòîìàòà A. Òàêèì îáðàçîì, ìèíèìàëüíûé àâòîìàò ýêâèâàëåíòíî ïðî-
äîëæàåò çàäàííûé.
63
6. ÑÒÐÓÊÒÓÐÍÛÉ ÑÈÍÒÅÇ ÀÂÒÎÌÀÒÎÂ
64
íèõ). Ó öèôðîâûõ àâòîìàòîâ îïåðàöèè îòîæäåñòâëåíèÿ óçëîâ ñîîòâåò-
ñòâóåò ñîåäèíåíèå ýòèõ óçëîâ ïðîâîäíèêàìè.
Ïîñëå ïðîâåäåíèÿ îòîæäåñòâëåíèÿ óçëîâ ïðîèçâîëüíàÿ ñèñòåìà àâ-
òîìàòîâ ïðåâðàùàåòñÿ â òàê íàçûâàåìóþ ñõåìó èëè ñåòü àâòîìàòîâ.
Áóäåì ñ÷èòàòü, ÷òî àâòîìàòû, âõîäÿùèå â ñõåìó, ðàáîòàþò ñîâìåñòíî,
åñëè â êàæäûé ìîìåíò t àâòîìàòíîãî âðåìåíè (t = 0, 1, 2, ...) íà âñå
âíåøíèå âõîäíûå óçëû ñõåìû ïîäàåòñÿ êàêîé-ëèáî íàáîð ýëåìåíòàð-
íûõ ñèãíàëîâ (ñòðóêòóðíûé âõîäíîé ñèãíàë), à ñî âñåõ âíåøíèõ âûõîä-
íûõ óçëîâ ñõåìû ñíèìàåòñÿ ïîëó÷åííûé íà íèõ íàáîð ýëåìåíòàðíûõ
âûõîäíûõ ñèãíàëàõ (ñòðóêòóðíûé âûõîäíîé ñèãíàë). Åñëè â êàæäûé ìî-
ìåíò äèñêðåòíîãî âðåìåíè t = 0, 1, 2, ... ñòðóêòóðíûé âûõîäíîé ñèãíàë
ñõåìû îäíîçíà÷íî îïðåäåëÿåòñÿ ïîñòóïèâøåé ê ýòîìó âðåìåíè êîíå÷-
íîé ïîñëåäîâàòåëüíîñòüþ ñòðóêòóðíûõ âõîäíûõ ñèãíàëîâ, íà÷àëüíûìè
ñîñòîÿíèÿìè, âõîäÿùèõ â ñõåìó àâòîìàòîâ, è ñäåëàííûìè ïðè ïîñòðîå-
íèè ñõåìû îòîæäåñòâëåíèÿìè (ñîåäèíåíèÿìè) óçëîâ, òî ïîñòðîåííàÿ
ñõåìà ìîæåò ðàññìàòðèâàòüñÿ êàê íåêîòîðûé àâòîìàò À è íàçûâàåòñÿ
ñòðóêòóðíîé ñõåìîé ýòîãî àâòîìàòà. Àâòîìàò À, ïîëó÷åííûé îïèñàí-
íûì ñïîñîáîì, åñòü ðåçóëüòàò êîìïîçèöèè àâòîìàòîâ A1, A2, ..., An.
Ñëåäóåò çàìåòèòü, ÷òî îïåðàöèÿ îòîæäåñòâëåíèÿ óçëîâ ìîæåò áûòü
âûïîëíåíà íåîäíîçíà÷íî. Ïðè îòîæäåñòâëåíèè óçëîâ íåîáõîäèìî ñîáëþ-
äàòü äâà óñëîâèÿ, íàçûâàåìûå óñëîâèÿìè êîððåêòíîñòè ïîñòðîåíèÿ
ñòðóêòóðíûõ ñõåì:
â ëþáîé ìîìåíò àâòîìàòíîãî âðåìåíè íà êàæäûé óçåë ñõåìû (êàê
âíåøíèé, òàê è âíóòðåííèé) ïîñòóïàåò êàêîé-ëèáî ýëåìåíòàðíûé ñèã-
íàë;
íåîäíîçíà÷íîñòü ýëåìåíòàðíûõ ñèãíàëîâ â êàêîì-íèáóäü óçëå ñõå-
ìû õîòÿ áû îäèí ìîìåíò àâòîìàòíîãî âðåìåíè ÿâëÿåòñÿ íåäîïóñòè-
ìîé.
Ïåðâîå óñëîâèå êîððåêòíîñòè óäîâëåòâîðÿåòñÿ â òîì ñëó÷àå, åñëè
ëþáîé óçåë ñõåìû áóäåò ïîäêëþ÷åí ÷åðåç êîíå÷íîå ÷èñëî êîìáèíàöè-
îííûõ ñõåì èëè àâòîìàòîâ Ìèëè ê âíåøíåìó óçëó, ïîñêîëüêó ó àâòîìà-
òîâ Ìèëè è êîìáèíàöèîííûõ ñõåì âûõîäíûå ñèãíàëû âîçíèêàþò îäíî-
âðåìåííî ñ ïîñòóïëåíèåì ñèãíàëîâ íà âõîäû.
Íåîäíîçíà÷íîñòü ýëåìåíòàðíîãî ñèãíàëà â óçëå ìîæåò ïîÿâèòüñÿ ïî
äâóì ïðè÷èíàì: ê íåêîòîðîìó âõîäíîìó óçëó ïîäñîåäèíåíî îäíîâðåìåííî
íåñêîëüêî âûõîäíûõ óçëîâ, ÿâëÿþùèõñÿ èñòî÷íèêàìè ýëåìåíòàðíûõ
ñèãíàëîâ, à òàêæå èñòî÷íèêîì íåîäíîçíà÷íîñòè ìîãóò áûòü òàê íàçû-
65
âàåìûå öèêëè÷åñêèå öåïè èëè ïåòëè ñòðóêòóðíûõ ñõåì. Öåïüþ íàçûâà-
åòñÿ ïîñëåäîâàòåëüíîñòü àâòîìàòîâ, ó êàæäîãî èç êîòîðûõ îäèí èç âû-
õîäíûõ óçëîâ ñîåäèíåí ñ âõîäîì ïîñëåäóþùåãî. Åñëè âûõîäíîé óçåë
ïîñëåäíåãî àâòîìàòà ñîåäèíåí ñî âõîäíûì óçëîì ïåðâîãî, òî òàêàÿ öåïü
íàçûâàåòñÿ öèêëè÷åñêîé èëè ïåòëåé (ðèñ. 6.1).
x
A A A! A"
y
Ðèñ. 6.1
66
êîòîðîãî áûëè ðàçðàáîòàíû Ç.Ì. Ãëóøêîâûì, ñôîðìóëèðîâàâøèì è äî-
êàçàâøèì òåîðåìó î ñòðóêòóðíîé ïîëíîòå [2].
Òåîðåìà: âñÿêàÿ ñèñòåìà ýëåìåíòàðíûõ àâòîìàòîâ, êîòîðàÿ ñîäåð-
æèò àâòîìàò Ìóðà, îáëàäàþùèé ïîëíîé ñèñòåìîé ïåðåõîäîâ è ïîë-
íîé ñèñòåìîé âûõîäîâ, è êàêóþ-íèáóäü ôóíêöèîíàëüíî ïîëíóþ ñèñ-
òåìó ëîãè÷åñêèõ ýëåìåíòîâ (ýëåìåíòàðíûõ àâòîìàòîâ áåç ïàìÿòè),
ÿâëÿåòñÿ ñòðóêòóðíî ïîëíîé ñèñòåìîé. Ñóùåñòâóåò îáùèé êîíñòðóê-
òèâíûé ïðèåì (êàíîíè÷åñêèé ìåòîä ñòðóêòóðíîãî ñèíòåçà), ïîçâî-
ëÿþùèé â ðàññìîòðåííîì ñëó÷àå ñâåñòè çàäà÷ó ñèíòåçà ïðîèçâîëü-
íûõ êîíå÷íûõ àâòîìàòîâ ê çàäà÷å ñòðóêòóðíîãî ñèíòåçà êîìáèíàöè-
îííûõ ñõåì.
Ïîëíîòà ñèñòåìû ïåðåõîäîâ â àâòîìàòå îçíà÷àåò, ÷òî äëÿ ëþáîé
ïàðû ñîñòîÿíèé (ai, aj) ýòîãî àâòîìàòà íàéäåòñÿ âõîäíîé ñèãíàë, ïåðå-
âîäÿùèé îäèí ýëåìåíò ýòîé ïàðû â äðóãîé. Ýòî ïîëîæåíèå ñïðàâåäëèâî,
åñëè i = j. ×òîáû äåòåðìèíèðîâàííûé àâòîìàò ìîã óäîâëåòâîðÿòü óñëî-
âèþ ïîëíîòû ïåðåõîäîâ, ÷èñëî åãî âõîäíûõ ñèãíàëîâ äîëæíî áûòü íå
ìåíüøå ÷èñëà ñîñòîÿíèé.
Ïîëíîòà ñèñòåìû âûõîäîâ â àâòîìàòå Ìóðà îçíà÷àåò, ÷òî êàæäîìó
ñîñòîÿíèþ àâòîìàòà ñîîòâåòñòâóåò ñâîé ñîáñòâåííûì âûõîäíîé ñèã-
íàë, îòëè÷íûé îò âûõîäíîãî ñèãíàëà, ñîîòâåòñòâóþùåãî ëþáîìó äðóãî-
ìó ñîñòîÿíèþ. Ïîýòîìó â àâòîìàòå Ìóðà ñ ïîëíîé ñèñòåìîé âûõîäîâ
ìîæíî îòîæäåñòâèòü âíóòðåííèå ñîñòîÿíèÿ ñ âûõîäíûìè ñèãíàëàìè
àâòîìàòà. Äëÿ òîãî, ÷òîáû îáåñïå÷èòü â ýòîì àâòîìàòå ïîëíîòó ñèñòå-
ìû âûõîäîâ, íåîáõîäèìî â âûõîäíîì àëôàâèòå èìåòü ÷èñëî âûõîäíûõ
ñèãíàëîâ íå ìåíüøå ÷èñëà ñîñòîÿíèé àâòîìàòà.
Íà îñíîâàíèè òåîðåìû î ñòðóêòóðíîé ïîëíîòå ñòðóêòóðíàÿ ñõåìà
âñÿêîãî àâòîìàòà À, ñèíòåçèðîâàííîãî êàíîíè÷åñêèì ìåòîäîì, áó-
äåò ñîñòîÿòü èç äâóõ ÷àñòåé: çàïîìèíàþùåé ÷àñòè è êîìáèíàöèîí-
íîé ñõåìû (ðèñ. 6.2). Çàïîìèíàþùàÿ ÷àñòü ïðåäñòàâëÿåò ñîáîé ñî-
âîêóïíîñòü ýëåìåíòàðíûõ àâòîìàòîâ Ìóðà ñ ïîëíîé ñèñòåìîé ïåðå-
õîäîâ è âûõîäîâ, à êîìáèíàöèîííàÿ
÷àñòü ïðåäñòàâëÿåò ñîáîé ñõåìó, ïîñò-
ðîåííóþ èç ëîãè÷åñêèõ ýëåìåíòîâ, ñî- y(t)
x(t) Q(t+1)
ñòàâëÿþùèõ ôóíêöèîíàëüíî ïîëíûé áà- ÊÑ Ïàìÿòü
çèñ. Ðàññìîòðèì ýòàïû ñòðóêòóðíîãî q(t)
ñèíòåçà àâòîìàòà êàíîíè÷åñêèì ìåòî-
äîì. Ðèñ. 6.2
67
1. Êîäèðîâàíèå ñîñòîÿíèé àáñòðàêòíîãî àâòîìàòà. Â ïðîöåññå ñòðóê-
òóðíîãî ñèíòåçà ðàçëè÷íûì ñîñòîÿíèÿì çàäàííîãî àáñòðàêòíîãî àâòî-
ìàòà ai ñòàâÿòñÿ â ñîîòâåòñòâèå ðàçëè÷íûå óïîðÿäî÷åííûå ïîñëåäîâà-
òåëüíîñòè ñîñòîÿíèé ýëåìåíòàðíûõ àâòîìàòîâ Q1, Q2, ..., Qp. Ýòîò ïðî-
öåññ íàçûâàåòñÿ êîäèðîâàíèåì ñîñòîÿíèé àâòîìàòà.
Ðåçóëüòàòîì êîäèðîâàíèÿ ñîñòîÿíèé ÿâëÿåòñÿ âîçíèêíîâåíèå ñòðóê-
òóðíûõ ñîñòîÿíèé àâòîìàòà Ql = Q1l Q2l ... QRl , ãäå l = 0, 1, 2, ..., M (M+1)
÷èñëî ñîñòîÿíèé àáñòðàêòíîãî àâòîìàòà. R = ]log2(M+1)[ è ]b[ îçíà÷à-
åò áëèæàéøåå öåëîå ÷èñëî, áîëüøåå b èëè ðàâíîå åìó, åñëè b öåëîå.
Ýòè ñîñòîÿíèÿ ìîæíî îòîæäåñòâèòü ñî ñòðóêòóðíûìè âûõîäíûìè ñèã-
íàëàìè çàïîìèíàþùåé ÷àñòè àâòîìàòà.
 ñâÿçè ñ òåì, ÷òî êàæäûé ñòðóêòóðíûé âûõîäíîé ñèãíàë ïàìÿòè
àâòîìàòà ïðåäñòàâëÿåò ñîáîé ñîâîêóïíîñòü ýëåìåíòàðíûõ ñèãíàëîâ,
ïîñòóïàþùèõ ïî îòäåëüíûì êàíàëàì, áóäåì ñ÷èòàòü ñòðóêòóðíûé âû-
õîäíîé ñèãíàë ïàìÿòè âåêòîðíûì ñèãíàëîì Ql, â êîòîðîì êàæäàÿ
êîìïîíåíòà îòîæäåñòâëÿåòñÿ ñ áóêâîé ñòðóêòóðíîãî àëôàâèòà ñîñòîÿ-
íèÿ Q = {Q1, Q2, ..., QP}, ò. å. Qil ∈ Q.
2. Êîäèðîâàíèå àáñòðàêòíûõ âõîäíûõ è âûõîäíûõ ñèãíàëîâ. Àáñòðàêò-
íûì âõîäíûì è âûõîäíûì ñèãíàëàìè zi∈ Z è wi ∈ W, ãäå Z è W âõîäíîé
è âûõîäíîé àáñòðàêòíûå àëôàâèòû, ñòàâÿòñÿ â ñîîòâåòñòâèå âíåøíèå ñòðóê-
òóðíûå âõîäíûå è âûõîäíûå ñèãíàëû àâòîìàòà, îáîçíà÷àåìûå ñîîòâåò-
ñòâåííî xj = x1j x2j ... xLj, è yk = y1k y2k ... yNk, ãäå j = 1, 2, ..., F, F ÷èñëî
ñèìâîëîâ âõîäíîãî àáñòðàêòíîãî àëôàâèòà, k = 1, 2, ..., G , G ÷èñëî
ñèìâîëîâ âûõîäíîãî àáñòðàêòíîãî àëôàâèòà, L = ]log2F[ è N = ]log2G[.
Ñèãíàëû Nj è Ok ÿâëÿþòñÿ âåêòîðíûìè ñèãíàëàìè, êîìïîíåíòû êîòî-
ðûõ xij è y ik ñîîòâåòñòâåííî ýëåìåíòàðíûå âõîäíûå è âûõîäíûå
ñèãíàëû íà êàæäîì ýëåìåíòàðíîì âõîäíîì èëè âûõîäíîì êàíàëå, ò. å.
xij ∈ X = {x1, x2, ..., xn}, à yik ∈ Y = {y1, y2, ..., yr}, ãäå X è Y ñîîòâåò-
ñòâåííî ñòðóêòóðíûå âõîäíîé è âûõîäíîé àëôàâèòû.
3. Ñîñòàâëåíèå êîäèðîâàííûõ òàáëèö ïåðåõîäîâ-âûõîäîâ ñòðóêòóðíî-
ãî àâòîìàòà.  ïðîöåññå ñèíòåçà íåîáõîäèìî îáåñïå÷èòü, ÷òîáû ïåðåõî-
äû èç îäíîé ïîñëåäîâàòåëüíîñòè ñîñòîÿíèé ýëåìåíòàðíûõ àâòîìàòîâ â
äðóãóþ ïðîèñõîäèëè â ïîëíîì ñîîòâåòñòâèè ñ ôóíêöèåé ïåðåõîäîâ çà-
äàííîãî àáñòðàêòíîãî àâòîìàòà, à çíà÷åíèÿ ñòðóêòóðíûõ âûõîäíûõ ñèã-
íàëîâ âûðàáàòûâàëèñü â ñîîòâåòñòâèè ñ çàäàííîé ïîñëåäîâàòåëüíîñ-
òüþ àáñòðàêòíûõ âõîäíûõ ñèãíàëîâ. Òàêèì îáðàçîì, äîëæíû áûòü îáåñ-
ïå÷åíû ñëåäóþùèå çàêîíû ôóíêöèîíèðîâàíèÿ äëÿ ñòðóêòóðíîãî àâòî-
ìàòà Ìèëè:
68
Q(t+1) =δ(Q(t), x(t)),
y(t) = λ(Q(t), x(t)) (6.1)
è äëÿ ñòðóêòóðíîãî àâòîìàòà Ìóðà
Q(t+1) =δ(Q(t), x(t)),
y(t) = λ(Q(t)). (6.2)
Çàêîí ôóíêöèîíèðîâàíèÿ ñòðóêòóðíîãî àâòîìàòà ìîæåò áûòü îïèñàí
ñ ïîìîùüþ êîäèðîâàííûõ òàáëèö ïåðåõîäîâ-âûõîäîâ, êîòîðûå ôîðìè-
ðóþòñÿ íà îñíîâàíèè òàáëèö ïåðåõîäîâ-âûõîäîâ àáñòðàêòíîãî àâòîìà-
òà è ïîëó÷åííûõ íà ïåðâûõ äâóõ ýòàïàõ ñòðóêòóðíûõ çíà÷åíèé ñîñòîÿ-
íèé è ñèãíàëîâ àâòîìàòà. Â êëåòêàõ ýòèõ òàáëèö âìåñòî ñèìâîëîâ, îáî-
çíà÷àþùèõ àáñòðàêòíûå ñîñòîÿíèÿ è ñèãíàëû, çàïèñûâàþòñÿ êîäû ñî-
îòâåòñòâóþùèõ èì ñòðóêòóðíûõ ñîñòîÿíèè è ñèãíàëîâ.
4. Ôîðìèðîâàíèå òàáëèöû ôóíêöèé âîçáóæäåíèÿ ñòðóêòóðíîãî àâòîìà-
òà. Èç ðèñ. 6.2 ñëåäóåò, ÷òî
q(t) = γ(Q(t), x(t)). (6.3)
Ñðàâíèâàÿ âûðàæåíèå (6.3) ñ ôóíêöèåé ïåðåõîäîâ ñòðóêòóðíîãî àâòî-
ìàòà (6.1) èëè (6.2) ìîæíî ñäåëàòü âûâîä, ÷òî èìåííî ñèãíàëîì q(t)
ìîæíî îñóùåñòâèòü òðåáóåìûå ïåðåõîäû ïðè óñëîâèè ôîðìèðîâàíèÿ
íåêîòîðîé ôóíêöèè γ(Q, x), íàçûâàåìîé ôóíêöèåé âîçáóæäåíèÿ àâòîìà-
òà A , â ñîîòâåòñòâèè ñ ôóíêöèåé ïåðåõîäîâ δ(Q, x). Â äàëüíåéøåì äëÿ
óïðîùåíèÿ ôîðìóëèðîâîê ñèãíàë q(t) áóäåì òàêæå íàçûâàòü ôóíêöèåé
âîçáóæäåíèÿ àâòîìàòà A. Îòäåëüíûå êîìïîíåíòû âåêòîðà q(t) ÿâëÿþò-
ñÿ âõîäíûìè ñèãíàëàìè èñïîëüçóåìûõ ýëåìåíòàðíûõ àâòîìàòîâ.
Ôóíêöèè âîçáóæäåíèÿ çàäàþòñÿ î ïîìîùüþ òàáëèöû, ñôîðìèðîâàí-
íîé íà áàçå ñòðóêòóðíîé òàáëèöû ïåðåõîäîâ ïðîåêòèðóåìîãî àâòîìàòà,
è òàáëèöû ïåðåõîäîâ çàäàííîãî ýëåìåíòàðíîãî àâòîìàòà. Â êëåòêàõ
òàáëèöû ôóíêöèé âîçáóæäåíèÿ çàïèñûâàþòñÿ çíà÷åíèÿ ñòðóêòóðíûõ
âõîäíûõ ñèãíàëîâ âûáðàííûõ ýëåìåíòàðíûõ àâòîìàòîâ, îáåñïå÷èâàþ-
ùèå ïåðåõîäû èõ ñîñòîÿíèé â ñîîòâåòñòâèè ñ êîäèðîâàííîé òàáëèöåé
ïåðåõîäîâ.
5. Ïîëó÷åíèå ëîãè÷åñêèõ âûðàæåíèé ôóíêöèé âîçáóæäåíèÿ è âû-
õîäíûõ ñèãíàëîâ àâòîìàòîâ. Ñèãíàë q(t) ÿâëÿåòñÿ ñòðóêòóðíûì âûõîä-
íûì ñèãíàëîì êîìáèíàöèîííîé ñõåìû àâòîìàòà À, îòëè÷àþùåéñÿ òåì,
÷òî åå ñòðóêòóðíûé âûõîäíîé ñèãíàë ïîëó÷àåòñÿ ïóòåì ïðåîáðàçîâàíèÿ
ñòðóêòóðíîãî âõîäíîãî ñèãíàëà x(t) àâòîìàòà À è ñòðóêòóðíîãî âûõîä-
íîãî ñèãíàëà Q(t) åãî ïàìÿòè. Ðåàëèçóÿ ñõåìó ïðåîáðàçîâàíèÿ â âèäå
êîìïîçèöèè çàäàííûõ ëîãè÷åñêèõ ýëåìåíòîâ, ìîæíî îñóùåñòâèòü âñå
69
òå ïåðåõîäû, êîòîðûå ïðåäóñìàòðèâàþòñÿ ôóíêöèåé ïåðåõîäîâ àâòîìà-
òà À. Àíàëîãè÷íî ôîðìèðóåòñÿ ñòðóêòóðíûé âûõîäíîé ñèãíàë y(t) íà
âûõîäå êîìáèíàöèîííîé ñõåìû àâòîìàòà À. Òðåáóåìûå çíà÷åíèÿ âûõîä-
íîãî ñèãíàëà îáåñïå÷èâàþòñÿ ñîîòâåòñòâóþùèì ñèíòåçîì ýòîé ñõåìû.
Äëÿ ïîëó÷åíèÿ ëîãè÷åñêèõ âûðàæåíèé ôóíêöèé âîçáóæäåíèÿ è âû-
õîäíûõ ñèãíàëîâ íåîáõîäèìî âîñïîëüçîâàòüñÿ ñîîòâåòñòâåííî òàáëèöåé
ôóíêöèé âîçáóæäåíèÿ è êîäèðîâàííîé òàáëèöåé âûõîäîâ â êà÷åñòâå òàá-
ëèö èñòèííîñòè.
Êàê èçâåñòíî, ïî òàáëèöå èñòèííîñòè ìîæíî ïîëó÷èòü òîëüêî ñîâåð-
øåííóþ äèçúþíêòèâíóþ è íîðìàëüíóþ ôîðìó (ÑÄÍÔ) çàäàííîé ôóíê-
öèè. Äëÿ òîãî ÷òîáû ìèíèìèçèðîâàòü ôóíêöèþ, öåëåñîîáðàçíî âîñïîëü-
çîâàòüñÿ äèàãðàììîé Âåé÷à.
6. Ïîñòðîåíèå ñòðóêòóðíîé ñõåìû. Íà îñíîâàíèè ïîëó÷åííûõ ëîãè-
÷åñêèõ âûðàæåíèé ñòðîèòñÿ ñõåìà ñòðóêòóðíîãî àâòîìàòà èç çàäàííûõ
ýëåìåíòàðíûõ àâòîìàòîâ è ëîãè÷åñêèõ ýëåìåíòîâ ôóíêöèîíàëüíî ïîë-
íîãî áàçèñà.
Ðàññìîòðèì â êà÷åñòâå ïðèìåðà ñèíòåç ñòðóêòóðíîé ñõåìû àâòîìàòà
Ìèëè, ñïðîåêòèðîâàííîãî â ðàçäåëå 5, ôóíêöèè ïåðåõîäîâ êîòîðîãî
îïèñûâàþòñÿ â òàáë. 5.14.
Îáû÷íî â êà÷åñòâå ñòðóêòóðíîãî àëôàâèòà èñïîëüçóåòñÿ äâîè÷íûé
ñòðóêòóðíûé àëôàâèò {0, 1}, à â êà÷åñòâå ýëåìåíòàðíîãî àâòîìàòà èñ-
ïîëüçóåòñÿ àâòîìàò Ìóðà ñ äâóìÿ ñîñòîÿíèÿìè.
Ïóñòü èìååì àáñòðàêòíûé ýëåìåíòàðíûé àâòîìàò ñ âõîäíûì àëôàâè-
òîì V={v1,v2}, âûõîäíûì àëôàâèòîì è àëôàâèòîì ñîñòîÿíèé C={c1,c2}
è òàáëèöåé ïåðåõîäîâ-âûõîäîâ (òàáë. 6.1).
Ïðîèçâåäåì îïåðàöèþ êîäèðîâàíèÿ ñîñòîÿíèé,
Òàáëèöà 6.1 âõîäíûõ è âûõîäíûõ ñèãíàëîâ ó ýëåìåíòàðíîãî è
èñõîäíîãî àâòîìàòîâ. Ïîñêîëüêó ñòðóêòóðíûé àë-
? ?
ôàâèò äâîè÷íûé, ÷èñëî ýëåìåíòàðíûõ âõîäíûõ êà-
L ? ? íàëîâ àâòîìàòà îïðåäåëÿåòñÿ êàê L ≥ ]log2F[, ÷èñ-
L ? ? ëî ýëåìåíòàðíûõ âûõîäíûõ êàíàëîâ îïðåäåëÿåòñÿ
êàê N ≥ ]log2G[, à ÷èñëî ýëåìåíòîâ ïàìÿòè àâòîìà-
òà êàê R ≥ ]log2(M+1)[.
Ïåðåéäåì îò àáñòðàêòíîãî ýëåìåíòàðíîãî àâòîìàòà ê ñòðóêòóðíîìó.
Çàêîäèðóåì àáñòðàêòíûå âõîäíûå ñèãíàëû (òàáë. 6.2), âûõîäíûå ñèãíàëû
è ñîñòîÿíèÿ (òàáë. 6.3). Ïîëó÷èì êîäèðîâàííóþ òàáëèöó ïåðåõîäîâ-âû-
õîäîâ ýëåìåíòàðíîãî àâòîìàòà (òàáë. 6.4).
70
Òàáëèöà 6.2 Òàáëèöà 6.3 Òàáëèöà 6.4
L G ? 3
L ?
L ?
Ïðîèçâåäåì òàêæå êîäèðîâàíèå àáñòðàêòíûõ âõîäíûõ ñèãíàëîâ
(òàáë. 6.5), âûõîäíûõ ñèãíàëîâ (òàáë. 6.6) è ñîñòîÿíèé (òàáë. 6.7) çàäàí-
íîãî àâòîìàòà, îïðåäåëèâ ïðè ýòîì ÷èñëî ýëåìåíòîâ ïàìÿòè. ×èñëî ýëå-
ìåíòàðíûõ âõîäíûõ êàíàëîâ ïðîåêòèðóåìîãî ñòðóêòóðíîãî àâòîìàòà
L ≥ ]log23[ = 2. ×èñëî åãî ýëåìåíòàðíûõ âûõîäíûõ êàíàëîâ N≥]log23[ = 2
è ÷èñëî ýëåìåíòîâ ïàìÿòè R ≥ ]log27[ = 3. Ñëåäîâàòåëüíî, ñõåìà ïðî-
åêòèðóåìîãî ñòðóêòóðíîãî àâòîìàòà äîëæíà èìåòü âèä, ïðåäñòàâ-
ëåííûé íà ðèñ. 6.3. Îïðåäåëèì ñòðóêòóðíûé âõîäíîé àëôàâèò àâòî-
ìàòà (òàáë. 6.5), ñòðóêòóðíûé âûõîäíîé àëôàâèò (òàáë. 6.6) è àëôàâèò
ñîñòîÿíèé (òàáë. 6.7). Ðàçîáüåì òàáëèöó ïåðåõîäîâ-âûõîäîâ äëÿ äàííî-
ãî àáñòðàêòíîãî àâòîìàòà (òàáë. 5.14) íà äâå òàáëèöû: òàáëèöó ïåðåõî-
äîâ (òàáë. 6.8) è òàáëèöó âûõîäîâ (òàáë. 6.9).
y 1 (t) y 2 (t) Q 3 (t+ 1 )
Q 2 (t+ 1 )
Q 1 (t+ 1)
x 1 (t)
x 2 (t) KC Q1 Q2 Q3
q 1 (t)
q 2 (t)
q 3 (t)
Ðèñ. 6.3
z x x M O O ? 3 3 3!
z M ?
z M ?
α β ?
?!
?"
Íà îñíîâàíèè òàáë. 6.8 è 6.7 ïîñòðîèì êî- ?#
äèðîâàííóþ òàáëèöó ïåðåõîäîâ àâòîìàòà ?$
71
(òàáë. 6.10), à íà îñíîâàíèè òàáë. 6.6 è 6.9 ïîñòðîèì êîäèðîâàííóþ
òàáëèöó âûõîäîâ (òàáë. 6.11).
Òàáëèöà 6.8 Òàáëèöà 6.9
ct α z z ct α z z
c c c c" c w β β
c c" c c! c w β β
c c c c c w w w0
c! c" c c c! w w w
c" c c# c$ c" w w β
c# c" c" c# w w
c$ c c! c$ w w
73
7. ÝËÅÌÅÍÒÀÐÍÛÅ ÀÂÒÎÌÀÒÛ
Èç òåîðåìû î ñòðóêòóðíîé ïîëíîòå ñëåäóåò, ÷òî äëÿ ñòðóêòóðíîé
ïîëíîòû ñèñòåìû ýëåìåíòàðíûõ àâòîìàòîâ íåîáõîäèìî âêëþ÷åíèå â
íåå ýëåìåíòàðíûõ àâòîìàòîâ Ìóðà ñ ïîëíîé ñèñòåìîé ïåðåõîäîâ è ïîë-
íîé ñèñòåìîé âûõîäîâ. Òåîðåòè÷åñêè òàêèå àâòîìàòû, ïðåäñòàâëÿþ-
ùèå ñîáîé ýëåìåíòû ïàìÿòè, ìîãóò îáëàäàòü ëþáûì ÷èñëîì âíóòðåí-
íèõ ñîñòîÿíèé, îäíàêî èñõîäÿ èç ðåàëüíûõ âîçìîæíîñòåé ñîâðåìåííîé
òåõíîëîãèè, îïòèìàëüíûì ÷èñëîì ñîñòîÿíèé ýëåìåíòàðíîãî àâòîìàòà
ÿâëÿåòñÿ äâà, à ñòðóêòóðíûé àëôàâèòîì ñîñòîÿíèé àâòîìàòà ÿâëÿåòñÿ
äâîè÷íûé àëôàâèò.
Ðàññìîòðèì íåêîòîðóþ îáîáùåííóþ ìîäåëü ýëåìåíòàðíîãî àâòî-
ìàòà, ïðåäñòàâëÿþùóþ ñîáîé àâòîìàò Ìóðà, çàäàííûé ñëåäóþùèì ìíî-
æåñòâîì ýëåìåíòîâ:
A = {C, V, δ, λ, c1},
ãäå C = {c1, c2} àëôàâèò ñîñòîÿíèé; V = {v1, v2, v3, v4} âõîäíîé àëôà-
âèò, ïðè÷åì v1 ñèãíàë, íå ìåíÿþùèé èñõîäíîå ñîñòîÿíèå àâòîìàòà,
òàêîé, ÷òî c1 = δ{c1, v1}, c2 = δ{c2, v1}; v2 ñèãíàë, ïåðåâîäÿùèé àâòîìàò
â ñîñòîÿíèå, ïðîòèâîïîëîæíîå èñõîäíîìó, òàêîé, ÷òî c1 = δ{c2, v2},
c2 = δ{c1, v2}; v3 ñèãíàë, âñåãäà ïåðåâîäÿùèé àâòîìàò â ñîñòîÿíèå c1,
òàêîé, ÷òî c1 = δ{c1, v3}, c1 = δ{c2, v3}; v4 ñèãíàë, âñåãäà ïåðåâîäÿùèé
àâòîìàò â ñîñòîÿíèå v4, òàêîé, ÷òî c2 = δ{c1, v4}, c2 = δ{c2, v4}; c1
íà÷àëüíîå ñîñòîÿíèå; δ è λ ôóíêöèÿ ïåðåõîäîâ è ôóíêöèÿ âûõîäîâ,
îïðåäåëÿåìûå ñ ïîìîùüþ ãðàôà ïåðåõîäîâ (ðèñ. 7.1).
Ïîñêîëüêó â àâòîìàòå Ìóðà ñ ïîëíîé ñèñòåìîé âûõîäîâ âíóòðåí-
íèå ñîñòîÿíèÿ îòîæäåñòâëÿþòñÿ ñ âûõîäíûìè ñèãíàëàìè, äëÿ èõ îáî-
çíà÷åíèÿ èñïîëüçîâàí îäèí è òîò æå àëôàâèò (â äàííîì ñëó÷àå àëôà-
âèò Ñ).
Íà áàçå ðàññìîòðåííîé ìîäåëè ìîæíî ïîñòðîèòü 16 ýëåìåíòîâ ïàìÿ-
òè ñ ðàçëè÷íûìè êîìáèíàöèÿìè àáñòðàêòíûõ âõîäíûõ ñèãíàëîâ, íî òîëüêî
ñåìü èç íèõ áóäóò îáëàäàòü ïîëíîé ñèñòå-
v2
v1 v1 ìîé ïåðåõîäîâ è ïîëíîé ñèñòåìîé âûõîäîâ.
v3 Àâòîìàòû ñ îäíèì âõîäíûì ñèãíàëîì íå
c1 c2
v4 ìîãóò îáëàäàòü ïîëíîòîé, ïîñêîëüêó äëÿ
v3 v4 ýòîãî íåîáõîäèìî, ÷òîáû ÷èñëî àáñòðàêò-
v2
íûõ âõîäíûõ ñèãíàëîâ àâòîìàòà áûëî, ïî
Ðèñ. 7.1 êðàéíåé ìåðå, íå ìåíüøå ÷èñëà åãî ñîñòî-
74
ÿíèé. Èç àâòîìàòîâ ñ äâóìÿ âõîäíûìè ñèãíàëàìè òîëüêî äâà èç øåñòè
óäîâëåòâîðÿþò ïðèâåäåííîìó òðåáîâàíèþ. Ýòî àâòîìàòû, â êîòîðûõ â
êà÷åñòâå âõîäíîãî àëôàâèòà èñïîëüçóåòñÿ àëôàâèò V1 = {v3, v4} (àâòî-
ìàò A1) è àëôàâèò V2 = {v1, v2} (àâòîìàò À2). Ïîëíûì òàêæå ÿâëÿåòñÿ
àâòîìàò A3 ñ òðåìÿ âõîäíûìè ñèãíàëàìè ñ àëôàâèòîì V3 = {v1, v3, v4}, à
òàêæå àâòîìàò A4 ñ ÷åòûðüìÿ âõîäíûìè ñèãíàëàìè.
Ïåðå÷èñëåííûå ýëåìåíòàðíûå àâòîìàòû è èõ ìîäèôèêàöèè ÿâëÿþò-
ñÿ íàèáîëåå øèðîêî èñïîëüçóåìûìè ýëåìåíòàìè ïàìÿòè â ñîâðåìåí-
íûõ öèôðîâûõ óñòðîéñòâàõ.
Ðàññìîòðèì ñòðóêòóðíûå îñîáåííîñòè ýòèõ àâòîìàòîâ, ñ÷èòàÿ,
÷òî ëþáîé ñòðóêòóðíûé ýëåìåíòàðíûé àâòîìàò ñ äâóìÿ ñîñòîÿíèÿ-
ìè èìååò âèä, ïðåäñòàâëåííûé íà ðèñ. 7.2. Ïîñêîëüêó ýòîò àâòîìàò
ÿâëÿåòñÿ àâòîìàòîì Ìóðà, âûõîäíîé ñèãíàë çàäåðæèâàåòñÿ îòíîñè-
òåëüíî âõîäíîãî íà îäèí òàêò àâòîìàòíîãî âðåìåíè. Â ñîîòâåòñòâèè
ñ òåîðåìîé î ñòðóêòóðíîé ïîëíîòå ñõåìó ëþáîãî ñòðóêòóðíîãî ýëå-
ìåíòàðíîãî àâòîìàòà ìîæíî ïðåäñòàâèòü ñîñòîÿùåé èç äâóõ ÷àñòåé:
çàïîìèíàþùåé ÷àñòè, â êîòîðîé íå ïðîèçâîäèòñÿ ëîãè÷åñêîå ïðåîá-
ðàçîâàíèå èíôîðìàöèè (ýëåìåíò çàäåðæêè ñèãíàëà t) è êîìáèíàöèîí-
íîé ñõåìû (ðèñ. 7.3). Ïðèâåäåííàÿ íà ðèñ. 7.3 ôóíêöèÿ âîçáóæäåíèÿ
qýë(t) ïðåäñòàâëÿåò ñîáîé ñîáñòâåííóþ ôóíêöèþ âîçáóæäåíèÿ ýëå-
ìåíòà ïàìÿòè. Ñëåäóåò çàìåòèòü, ÷òî äëÿ çàäàíèÿ ñòðóêòóðíîãî ýëå-
ìåíòàðíîãî àâòîìàòà öåëåñîîáðàçíî èñïîëüçîâàòü ìàòðèöó ïåðåõî-
äîâ, ýëåìåíòàìè êîòîðîé ÿâëÿþòñÿ çíà÷åíèÿ ñòðóêòóðíûõ âõîäíûõ
ñèãíàëîâ àâòîìàòà, çàäàííûå íà óïîðÿäî÷åííûõ ïàðàõ ñîñòîÿíèé
ñòðóêòóðíîãî àâòîìàòà è ïåðåâîäÿùèå ïåðâûé ýëåìåíò ñîîòâåòñòâó-
þùåé ïàðû âî âòîðîé.
q(0)(t) q(0)(t)
Q(t+1)
Q ÊÑ
(n)
Q(t+1)
(n)
q (t)
ýë
75
òà, èìåþùåãî m ýëåìåíòàðíûõ âõîäíûõ êàíàëîâ, ìîæíî îïèñàòü ñëåäó-
þùåé ìàòðèöåé ïåðåõîäîâ:
Qt Qt+ q1 q2 qk qm
1
b00 2
b00 L b00
k
L b00
m
M = b01
1 2
b01 L b01
k
L b01
m
1
b10 2
b10 L b10
k
L b10
m
1
b11 2
b11 L b11
k
L b11
m
76
v3 0
v3 c1 c2 v4 0 0 1 1
v4
Ðèñ.7.4 Ðèñ.7.5
q(t) Q(t+1)
Ðèñ. 7.6
Qt Qt+ q
0
M= 1
0 (7.1)
1
Ðàññìàòðèâàÿ òàáë. 7.3 è ìàòðèöó (7.1), ìîæíî çàêëþ÷èòü, ÷òî
çíà÷åíèå ñîñòîÿíèÿ àâòîìàòà Q(t+1) è ñîîòâåòñòâóþùåãî åìó âû-
õîäíîãî ñèãíàëà îïðåäåëÿþòñÿ çíà÷åíèåì âõîäíîãî ñèãíàëà q(t) è íå
çàâèñÿò îò ñîñòîÿíèÿ àâòîìàòà Q(t), ò. å. Q(t+1) = q(t). Â òî æå âðåìÿ
íà îñíîâàíèè àíàëèçà ñõåìû, ïðèâåäåííîé íà ðèñ. 7.3, ìîæíî ñäå-
ëàòü âûâîä, ÷òî
Q(t+1) = qýë(t).
Ñëåäîâàòåëüíî,
q(t) = qýë(t)
è êîìáèíàöèîííàÿ ñõåìà â òàêîì ñëó÷àå ñòàíîâèòñÿ äëÿ àâòîìàòà A1
èçëèøíåé.
Òàêèì îáðàçîì, ñõåìà àâòîìàòà ïðèîáðåòàåò âèä, ïðåäñòàâëåííûé
íà ðèñ. 7.6, à ñàì àâòîìàò A1 ïðåäñòàâëÿåò ñîáîé ýëåìåíò çàäåðæêè è
íàçûâàåòñÿ òðèããåðîì òèïà D (delay çàäåðæêà).
77
Òàáëèöà 7.3 v2
v1 v1
G c1 c2
v2
Ðèñ.7.7
L G G
L
L
1
0 q(t)
0 Ì2
0 1 Q(t+1)
1 qýë(t)
Ðèñ. 7.8 Ðèñ. 7.9
78
Ñëåäîâàòåëüíî, àâòîìàò A2 ìîæåò áûòü ðåàëèçîâàí íà áàçå ýëåìåí-
òà çàäåðæêè ñ äîáàâëåíèåì êîìáèíàöèîííîé ñõåìû, âûïîëíÿþùåé îïå-
ðàöèþ ñëîæåíèÿ ïî ìîäóëþ 2, êîòîðàÿ ìîæåò áûòü ïîñòðîåíà â ëþáîì
ëîãè÷åñêîì áàçèñå (ðèñ. 7.9). Ýòîò àâòîìàò íàçûâàåòñÿ òðèããåðîì ñî
ñ÷åòíûì âõîäîì èëè òðèããåðîì òèïà T.
v1 v3 v1 L G G
c1 c2 L
v3 v4 v4 L
Ðèñ. 7.10 L!
79
q( ) q( )
0 0
Qt Qt+
b 0
M= 0 1
(7.3)
1 0
0 b
00 10 00 q(t)
(1)
q (t) ÊÑ
0 1 Q(t+1)
10 01 qýë(t)
01
Ðèñ. 7.11 Ðèñ. 7.12
80
Òàêèì îáðàçîì, êîìáèíàöèîííàÿ ñõåìà ýëåìåíòàðíîãî àâòîìàòà
ïðåäñòàâëÿåò ñîáîé ïîñëåäîâàòåëüíîå ñîåäèíåíèå ëèáî ýëåìåíòîâ
Ïèðñà (äëÿ ïðÿìîãî çíà÷åíèÿ âõîäíûõ ñèãíàëîâ), ëèáî äâóõ ýëåìåí-
òîâ Øåôôåðà (äëÿ èíâåðñíîãî çíà÷åíèÿ âõîäíûõ ñèãíàëîâ) è èìååò
äâà âõîäíûõ êàíàëà (ðèñ. 7.12). Ýòîò àâòîìàò ïîëó÷èë íàçâàíèå òðèã-
ãåðà ñ ðàçäåëüíûìè âõîäàìè èëè òðèããåðà òèïà RS (set óñòàíîâèòü;
reset ñáðîñèòü), ãäå ñ ïîìîùüþ R è S îáîçíà÷åíû ñîîòâåòñòâåííî
âõîäû q(0) è q(1).
Íàëè÷èå íåîïðåäåëåííûõ ñîñòîÿíèé, îòìå÷åííûõ â òàáë. 7.7 ïðî÷åð-
êàìè, îãðàíè÷èâàåò ôóíêöèîíàëüíûå âîçìîæíîñòè RS-òðèããåðà.  ðÿäå
ñëó÷àåâ òðåáóåòñÿ, ÷òîáû ñîñòîÿíèÿ òðèããåðà áûëè îïðåäåëåíû ïðè âñåõ
êîìáèíàöèÿõ âõîäíûõ ñèãíàëîâ, âêëþ÷àÿ è òå, êîòîðûå çàïðåùåíû äëÿ
RS-òðèããåðà.
Äëÿ ïîñòðîåíèÿ ðàçëè÷íûõ ìîäèôèêàöèé RS-òðèããåðà â ýòîì ñëó÷àå
äåëàåòñÿ äóáëèðîâàíèå îäíîãî èç òðåõ àáñòðàêòíûõ âõîäíûõ ñèãíàëîâ:
v1, v3 èëè v4 è êîäèðîâàíèå äîïîëíèòåëüíîãî ñèãíàëà ñòðóêòóðíûìè ñèì-
âîëàìè 11. Êàæäàÿ ïîëó÷åííàÿ ïðè ýòîì ðàçíîâèäíîñòü òðèããåðà ñ÷èòà-
åòñÿ ñàìîñòîÿòåëüíûì òèïîì è èìååò ñâîå íàèìåíîâàíèå.
Ðàññìîòðèì ïîëó÷àåìûå òàêèì îáðàçîì àâòîìàòû. Ïåðåõîäû, îñó-
ùåñòâëÿåìûå äîïîëíèòåëüíûìè ñèãíàëàìè v1, v3 èëè v4, ïîêàçàíû íà
ãðàôàõ ïåðåõîäîâ àáñòðàêòíûõ àâòîìàòîâ A4, A5, A6 ñîîòâåòñòâåííî íà
ðèñ. 7.13, 7.14 è 7.15.
v'1 v3 v'1 v'3 v'3 v1
c1 c2 c1 v3 c2
v1 v1 v1
v3 v4 v4 v3 v4 v4
Ðèñ. 7.13 Ðèñ. 7.14
v1 v3 v1
v4
c1 v4 c2
v3 v'4 v'4
Ðèñ. 7.15
81
11 10 11 11 11 00
00 00 00
0 1 0 10 1
10 01 01 10 01 01
Ðèñ. 7.16 Ðèñ. 7.17
00 10 00
01
0 01 1
10 11 11
Ðèñ. 7.18
83
Qt Qt+ D V
b2 b1
M= b 1 (7.9)
1 0
b3 b4
84
Òàáëèöà 7.11 Òàáëèöà 7.12
L G G G G
L
L
L!
L
85
Íà îñíîâàíèè òàáë. 7.13 è 7.2 è ðèñ. 7.20 ïîëó÷èì êîäèðîâàííûé
ãðàô ïåðåõîäîâ àâòîìàòà (ðèñ. 7.22), êîäèðîâàííóþ òàáëèöó ïåðåõî-
äîâ (òàáë. 7.14) è ìàòðèöó ïåðåõîäîâ (7.11) ýòîãî àâòîìàòà.
010
000 000
0 001 1
001
100 010
100
Ðèñ. 7.22
b2 0 b2
0 b 0
q(1)
q(0)
1
1
1 1
q Q
Ðèñ. 7.23
86
Ëîãè÷åñêîå âûðàæåíèå äëÿ ôóíêöèè âîçáóæäåíèÿ ýòîãî òðèããåðà ìî-
æåò áûòü ïîëó÷åíî íà îñíîâàíèè òàáë. 7.14 ñ ïîìîùüþ äèàãðàììû Âåé-
÷à (ðèñ. 7.23) è áóäåò èìåòü âèä
Q(t+1) = qýë(t) = q(1)(t) ∨ q (0)(t) q (2)(t)Q(t) ∨ q(2)(t) Q (t). (7.12)
87
8. ÒÅÕÍÈ×ÅÑÊÀß ÐÅÀËÈÇÀÖÈß ÝËÅÌÅÍÒÀÐÍÛÕ
ÀÂÒÎÌÀÒÎÂ
Äëÿ óñòîé÷èâîé ðàáîòû àâòîìàòà íåîáõîäèìà åãî ñèíõðîíèçàöèÿ è
ââåäåíèå äîïîëíèòåëüíûõ ñõåì (êîíúþíêòîðîâ) [5]. Îáû÷íî äîïîëíè-
òåëüíûå ñõåìû è âõîäû ñèíõðîíèçèðóþùèõ ñèãíàëîâ ïðåäóñìàòðèâà-
þòñÿ â ñàìîì ýëåìåíòå ïàìÿòè ïðè åãî òåõíè÷åñêîé ðåàëèçàöèè. Íà
îñíîâå õàðàêòåðèñòè÷åñêîãî óðàâíåíèÿ RS-òðèããåðà
Q(t+1) = S(S(S( R âõ(t)), Q(t)), S( S âõ (t)))
ìîæíî ïîñòðîèòü àñèíõðîííóþ ñõåìó ýòîãî òðèããåðà íà ýëåìåíòàõ Øåô-
ôåðà ñ óïðàâëåíèåì ïî âõîäàì, ïðåäñòàâëåííóþ íà ðèñ. 8.1.
S
Q
S S T Q
R Q
Q R
R
Ðèñ. 8.1
88
Èçìåíåíèå ñîñòîÿíèÿ òàêîãî òðèããåðà ìîæåò ïðîèçîéòè òîëüêî ïðè
Ñ = 1. Ïîáî÷íûå âõîäû S a è R a òðèããåðà ïðåäíàçíà÷åíû äëÿ àñèíõðîí-
íîé óñòàíîâêè òðèããåðà â ñîñòîÿíèå 0 è 1, ìèíóÿ èíôîðìàöèîííûå è òàê-
òèðóþùèé âõîäû. Ôóíêöèîíèðîâàíèå â ýòîì ñëó÷àå ñîîòâåòñòâóåò àñèí-
õðîííîìó RS-òðèããåðó ñ èíâåðñíûì óïðàâëåíèåì. Ïðè ñèíõðîííîé ðà-
áîòå íà ïîáî÷íûõ âõîäàõ äîëæíà ïîääåðæèâàòüñÿ íåéòðàëüíàÿ êîìáè-
íàöèÿ ñèãíàëîâ ( S a = R a = 1).
Ïîìèìî ñèíõðîíèçàöèè äëÿ óñòðàíåíèÿ ãîíîê â àâòîìàòàõ èñïîëüçó-
åòñÿ äâîéíàÿ ïàìÿòü.  ýòîì ñëó÷àå âñå ýëåìåíòû ïàìÿòè ñòðóêòóðíî-
ãî àâòîìàòà äîëæíû áûòü îðãàíèçîâàíû â âèäå äâóõòàêòíûõ (äâóõñòó-
ïåí÷àòûõ) ñõåì. Îíè ñòðîÿòñÿ íà îñíîâå äâóõ ñèíõðîííûõ òðèããåðîâ,
ñîåäèíåííûõ ïîñëåäîâàòåëüíî. Ñèíõðîíèçèðóþùèå ñèãíàëû ïîñòóïàþò
íà ýòè òðèããåðû â ñîîòâåòñòâèè ñ óñëîâèÿìè îðãàíèçàöèè òàêèõ ñèãíà-
ëîâ â ñõåìàõ ñ äâîéíîé ïàìÿòüþ: íà âõîä C ïåðâîãî òðèããåðà ïîñòóïàåò
ïðÿìîé ñèãíàë, à íà âõîä C âòîðîãî òðèããåðà èíâåðñíûé. Äâóõòàêòíàÿ
ñõåìà RS-òðèããåðà, åå ëîãè÷åñêàÿ ñòðóêòóðà è óñëîâíîå èçîáðàæåíèå
ïðèâåäåíû ñîîòâåòñòâåííî íà ðèñ. 8.3, à, á è â.
à) M S
Sa
S Q
C
Q
R
Ra
á) Sa â)
S S Sa T T
T T Q
S
S S S
C
C C C
R
R R R Q Ra
R R
Ra
Ðèñ. 8.3
89
Ïåðâûé òðèããåð â äâóõòàêòíîé ñõåìå íàçûâàåòñÿ âåäóùèì M, à âòî-
ðîé âåäîìûì S (Ì master (õîçÿèí), S slave (íåâîëüíèê)).
Ïîñêîëüêó RS-òðèããåð óñòîé÷èâ ïî îòíîøåíèå ê äëèòåëüíîñòè âõîä-
íîãî ñèãíàëà, íà åãî îñíîâå öåëåñîîáðàçíî ñòðîèòü ðàçëè÷íûå âàðèàíòû
ñõåì ýëåìåíòàðíûõ àâòîìàòîâ. Ðàññìîòðèì ðåàëèçàöèþ òðèããåðîâ ðàç-
ëè÷íûõ òèïîâ íà îñíîâå ñèíõðîííîãî RS-òðèããåðà.
Íà ðèñ. 8.4 ïðèâåäåíû ñõåìû S- è R-òðèããåðîâ, ôóíêöèîíèðóþùèõ â
ñîîòâåòñòâèè ñ òàáë. 7.8.
S (R ) Q (Q )
C
Q (Q )
R (S)
Ðèñ. 8.4
C
Q
R
Ðèñ. 8.5
90
Ñòðóêòóðíàÿ ñõåìà ëþáîãî òðèããåðà íà áàçå òðèããåðà òèïà RS èìååò
âèä, ïðåäñòàâëåííûé íà ðèñ. 8.6.
Q
ïàìÿòü x
(R S - òðèããåð) KC
S
R
Ðèñ. 8.6
R = D è S = D.
Q Q
b 1 0
0 0 1 b
D D
Ðèñ. 8.7 Ðèñ. 8.8
91
à) á)
Sa T T Q Sà TT
D
S D
C
R C
Q
Ra Rà
Ðèñ. 8.9
Sà T T Q
Q Q
C D
b 1
V à C
Q 1 b
Rà T T
92
à) S Q á)
T
T T
Q
R
Ðèñ. 8.13
à)
Sa
Q
z2
T
C
z1 Q
Ra
á)
Sà TT
T
C
Rà
Ðèñ. 8.14
93
Òàáëèöà 8.5 Òàáëèöà 8.6
0 1
KJ
R S R S
00 b 0 0 b
01 0 1 0 b
10 b 0 1 0
11 0 1 1 0
J J
K K
b b
b b
Q Q
Ðèñ. 8.15 Ðèñ. 8.16
à) á)
S Q
J T
J
K Q K
R
Ðèñ. 8.17
94
à)
M S
Sa
Q
J
C
Q
K
Ra
á)
Sà TT
J
C
K
Rà
Ðèñ. 8.18
S
à TT
T J T J TT
C C C C
K K
R
à
96
òåõ ïîð ïîêà íà êàêîì-òî k+1-ì øàãå íå îêàæåòñÿ, ÷òî Πk+1= Πk. Íå-
òðóäíî ïîêàçàòü, ÷òî òîãäà ðàçáèåíèå Pk = P, ò. å. ÷òî k-ýêâèâàëåíòíûå
ñîñòîÿíèÿ ÿâëÿþòñÿ â ýòîì ñëó÷àå ýêâèâàëåíòíûìè è ÷èñëî øàãîâ k,
ïðè êîòîðîì Πk = Π, íå ïðåâûøàåò M1, ãäå M ÷èñëî ýëåìåíòîâ â
ìíîæåñòâå A.
2. Â êàæäîì êëàññå ýêâèâàëåíòíîñòè ðàçáèåíèÿ Ï âûáèðàþòñÿ ïî
îäíîìó ýëåìåíòó, êîòîðûå îáðàçóþò ìíîæåñòâî A ñîñòîÿíèé ìèíèìàëü-
íîãî àâòîìàòà S={a1', A, Z, W, δ, λ}, ýêâèâàëåíòíîãî àâòîìàòó S.
3. Ôóíêöèè ïåðåõîäîâ δ è âûõîäîâ λ àâòîìàòà îïðåäåëÿþòñÿ íà
ìíîæåñòâå A×Z. Äëÿ ýòîãî â òàáëèöå ïåðåõîäîâ è âûõîäîâ âû÷åðêèâà-
þòñÿ ñòîëáöû, ñîîòâåòñòâóþùèå íå âîøåäøèì âî ìíîæåñòâî A ñîñòî-
ÿíèÿì, à â îñòàâøèõñÿ ñòîëáöàõ òàáëèöû ïåðåõîäîâ âñå ñîñòîÿíèÿ çà-
ìåíÿþòñÿ íà ýêâèâàëåíòíûå èç ìíîæåñòâà A.
4.  êà÷åñòâå a1' âûáèðàåòñÿ îäíî èç ñîñòîÿíèé, ýêâèâàëåíòíîå ñî-
ñòîÿíèþ a1.  ÷àñòíîñòè, óäîáíî çà a1' ïðèíèìàòü ñàìî ñîñòîÿíèå a1.
 êà÷åñòâå ïðèìåðà ðàññìîòðèì ìèíèìèçàöèþ àâòîìàòà Ìèëè S,
çàäàííîãî òàáëèöàìè ïåðåõîäîâ è âûõîäîâ (òàáë. 9.1 è 9.2). Íåïîñðåä-
ñòâåííî ïî òàáëèöå âûõîäîâ ïîëó÷èì ðàçáèåíèå Π1 íà êëàññû îäíîýê-
âèâàëåíòíûõ ñîñòîÿíèé, îáúåäèíÿÿ â ýêâèâàëåíòíûå êëàññû îäèíàêî-
âûå ñòîëáöû: Π1={B1,B2}, B1={a1, a2, a5, a7, a8}, B2={a3, a4, a6, a9, a10, a11,
a12}. Äåéñòâèòåëüíî, äâà ñîñòîÿíèÿ 1-ýêâèâàëåíòíû, åñëè èõ ðåàêöèÿ íà
âñåâîçìîæíûå âõîäíûå ñëîâà äëèíû 1 ñîâïàäàþò, ò. å. ñîîòâåòñòâóþ-
ùèå ýòèì ñîñòîÿíèÿì ñòîëáöû â òàáëèöå âûõîäîâ äîëæíû áûòü îäèíà-
êîâû.
Òàáëèöà 9.1
a a a! a" a# a$ a% a& a' a a a
Z a a a# a% a! a% a! a a% a a# a
Z a# a& a$ a a' a a$ a" a$ a& a' a&
Òàáëèöà 9.2
a a a! a" a# a$ a% a& a' a a a
Z W W W W W W W W W W W W
Z W W W W W W W W W W W W
97
íûå ñîñòîÿíèÿ am, as áóäóò 2-ýêâèâàëåíòíûìè, åñëè îíè ïåðåâîäÿòñÿ
ëþáûì âõîäíûì ñèãíàëîì òàêæå â 1-ýêâèâàëåíòíûå.
Òàáëèöà 9.3
B B
a a a# a% a& a! a" a$ a' a a a
Z B B B B B B B B B B B B
Z B B B B B B B B B B B B
Òàáëèöà 9.5
D D D! D" D#
a a a# a% a& a! a" a$ a' a a a
Z D# D# D" D" D# D D D D D D D
Z D D D" D" D" D" D" D" D" D" D! D!
98
Òàáëèöà 9.6 Òàáëèöà 9.7
a a# a& a! a a a# a& a! a
Z a a! a a5 a Z W W W W W
Z a# a! a! a! a& Z W W W W W
B1={a1, a2, a8}; B2={a6, a9, a10, a11, a12}; B3={a3, a4, a5, a7};
Π1={C1, C2, C3, C4}; C1={a1, a2, a8}; C2={a6, a9, a11}; C3={ a10, a12};
C4={a3, a4, a5, a7};
Π2={D1, D2, D3, D4}; Π2=Π1; D1=C1; D2=C2; D3=C3; D4=C4.
Òàáëèöà 9.9
Åñëè çàäàííûé àâòîìàò ÷àñòè÷íûé, òî
W W W W!
äëÿ òîãî, ÷òîáû âîñïîëüçîâàòüñÿ ðàññìîò-
a a$ a a!
ðåííûì ìåòîäîì ìèíèìèçàöèè, íåîáõîäè-
Z a a! a a!
ìî åãî äîîïðåäåëèòü òàê, ÷òîáû ìîæíî
áûëî íàéòè ìàêñèìàëüíîå ÷èñëî ýêâèâà- Z a!
a $
a
a$
ëåíòíûõ ñîñòîÿíèé.
99
10. ÌÅÒÎÄÛ ÊÎÄÈÐÎÂÀÍÈß ÑÎÑÒÎßÍÈÉ
ÀÁÑÒÐÀÊÒÍÛÕ ÀÂÒÎÌÀÒÎÂ
Ïðîöåññ êîäèðîâàíèÿ ñîñòîÿíèé àáñòðàêòíûõ àâòîìàòîâ ÿâëÿåòñÿ
ïåðâûì ýòàïîì êàíîíè÷åñêîãî ìåòîäà ñòðóêòóðíîãî ñèíòåçà àâòîìà-
òîâ. Êîäèðîâàíèå çàêëþ÷àåòñÿ â óñòàíîâëåíèè âçàèìíî îäíîçíà÷íîãî
ñîîòâåòñòâèÿ ìåæäó ìíîæåñòâîì A = {a1, ..., am} ñîñòîÿíèé àâòîìàòà è
ìíîæåñòâîì R-êîìïîíåíòíûõ âåêòîðîâ {k1, ..., km}, km={λm1, ..., λmR},
ãäå λm1 ñîñòîÿíèå r-ãî ýëåìåíòà ïàìÿòè (òðèããåðà). Îáû÷íî êîäèðî-
âàíèå ïðîèçâîäèòñÿ ñ ïîìîùüþ ñèìâîëîâ äâîè÷íîãî ñòðóêòóðíîãî àë-
ôàâèòà (λm∈{1,0}), ïîñêîëüêó ïðè ýòîì ðåøàåòñÿ çàäà÷à îïðåäåëåíèÿ
íåîáõîäèìîãî ÷èñëà òðèããåðîâ, èìåþùèõ äâà óñòîé÷èâûõ ñîñòîÿíèÿ.
Çàâèñèìîñòü ÷èñëà òðèããåðîâ îò êîëè÷åñòâà ñîñòîÿíèé çàäàííîãî àáñò-
ðàêòíîãî àâòîìàòà îïðåäåëÿåòñÿ ôîðìóëîé [2]:
R ≥ ]log2M[,
ãäå ]b[ îçíà÷àåò áëèæàéøåå öåëîå ÷èñëî, áîëüøåå b èëè ðàâíîå åìó,
åñëè b öåëîå.
Êîäèðîâàíèå ñîñòîÿíèé àâòîìàòà ìîæíî îñóùåñòâëÿòü ðàçëè÷íûìè
ñïîñîáàìè. Ýòî ìîæåò áûòü ïðîèçâîëüíîå êîäèðîâàíèå, êîãäà êàæäî-
ìó ñîñòîÿíèþ ñòàâèòñÿ â ñîîòâåòñòâèå ñëó÷àéíûé íàáîð äâîè÷íûõ ñèì-
âîëîâ, êîëè÷åñòâî êîòîðûõ ðàâíî R. Ñèíòåçèðîâàííûé íà îñíîâå òàêîãî
êîäèðîâàíèÿ ñòðóêòóðíûé àâòîìàò íå áóäåò îïòèìàëüíûì, òàê êàê, âî-
ïåðâûõ, åãî êîìáèíàöèîííàÿ ñõåìà ìîæåò îáëàäàòü ïîâûøåííîé ñëîæ-
íîñòüþ è, âî-âòîðûõ, ïðè îòñóòñòâèè ñèíõðîíèçàöèè è äâîéíîé ïàìÿòè â
ïðîöåññå ôóíêöèîíèðîâàíèÿ ýòîãî àâòîìàòà ìîãóò ïîÿâèòüñÿ ñîñòÿçà-
íèÿ [4].
ßâëåíèå ñîñòÿçàíèé âîçíèêàåò âñëåäñòâèå òîãî, ÷òî ýëåìåíòû ïàìÿ-
òè èìåþò ðàçëè÷íûå, õîòÿ è äîñòàòî÷íî áëèçêèå, âðåìåíà ñðàáàòûâà-
íèÿ. Êðîìå òîãî, ðàçëè÷íû òàêæå çàäåðæêè ñèãíàëîâ âîçáóæäåíèÿ, ïî-
ñòóïàþùèõ íà âõîäíûå êàíàëû ýëåìåíòàðíûõ àâòîìàòîâ ïî ëîãè÷åñêè-
ìè öåïÿì íåîäèíàêîâîé äëèíû. Åñëè ïðè ïåðåõîäå àâòîìàòà èç îäíîãî
ñîñòîÿíèÿ â äðóãîå äîëæíû èçìåíèòü ñâîè ñîñòîÿíèÿ ñðàçó íåñêîëüêî
òðèããåðîâ (÷òî õàðàêòåðíî äëÿ ïðîèçâîëüíîãî êîäèðîâàíèÿ), òî ìåæäó
íèìè íà÷èíàþòñÿ ñîñòÿçàíèÿ. Òîò òðèããåð, êîòîðûé âûèãðûâàåò ýòè ñî-
ñòÿçàíèÿ, ò. å. èçìåíèò ñâîå ñîñòîÿíèå ðàíüøå, ÷åì äðóãèå ýëåìåíòû
ïàìÿòè, ìîæåò ÷åðåç öåïü îáðàòíîé ñâÿçè èçìåíèòü ñèãíàëû íà âõîäàõ
íåêîòîðûõ òðèããåðîâ äî òîãî, êàê äðóãèå ó÷àñòâóþùèå â ñîñòÿçàíèÿõ
èçìåíÿò ñâîå ñîñòîÿíèå. Ýòî ìîæåò ïðèâåñòè àâòîìàò â ñîñòîÿíèå, íå
100
ïðåäóñìîòðåííîå ãðàôîì. Òîãäà âîçíèêøèå ñîñòÿçàíèÿ íàçûâàþòñÿ êðè-
òè÷åñêèìè ñîñòÿçàíèÿìè èëè ãîíêàìè.
Ãîíêè ìîãóò áûòü óñòðàíåíû ðàçëè÷íûìè ñïîñîáàìè, â òîì ÷èñëå è
ñ ïîìîùüþ ïðîòèâîãîíî÷íîãî êîäèðîâàíèÿ.
101
Îïåðàöèÿ ðàçâÿçûâàíèÿ ïàðû ïåðåõîäîâ (am, as), (ak, al) ñâîäèòñÿ ê íå-
ñêîëüêèì ýòàïàì.
1. Ïîëîæèòü i = 0. Ïåðåéòè ê ï.2.
2. Åñëè i = 0, òî ïåðåõîä ê ï.8, èíà÷å ïåðåõîä ê ï.3.
3. Åñëè ïðè íåêîòîðîì r (1 ≤ r ≤ i) çíà÷åíèÿ r-ãî ðàçðÿäà ÷åòâåðêè α,
β, γ, δ îáðàçóåò íàáîð 0011 èëè íàáîð 1100, òî ïåðåõîä ê ï.9, èíà÷å ê ï.4.
4. Åñëè ïðè íåêîòîðîì r (1 ≤ r ≤ i) çíà÷åíèÿ r-ãî ðàçðÿäà ÷åòâåðêè α,
β, γ, δ îáðàçóåò îäèí èç íàáîðîâ
011 11 1
011 01 0
001 00 0
001 01 1
01 01 ,
òî ïåðåõîä ê ï.5, èíà÷å ê ï.6.
5. Äîîïðåäåëèòü íåîïðåäåëåííûå çíà÷åíèÿ r-ãî ðàçðÿäà ÷åòâåðêè
α, β, γ, δ òàê, ÷òîáû åãî çíà÷åíèÿ îáðàçîâûâàëè íàáîð 0011. Ïåðåõîä
ê ï.9.
6. Åñëè ïðè íåêîòîðîì r (1 ≤ r ≤ i) çíà÷åíèÿ r-ãî ðàçðÿäà ÷åòâåðêè α,
β, γ, δ îáðàçóåò îäèí èç íàáîðîâ
100 00 0
100 10 1
110 11 1
110 10 0
10 10 ,
òî ïåðåõîä ê ï.7, èíà÷å ïåðåõîä ê ï.8.
7. Äîîïðåäåëèòü íåîïðåäåëåííûå çíà÷åíèÿ r-ãî ðàçðÿäà ÷åòâåðêè α,
β, γ, δ òàê, ÷òîáû çíà÷åíèÿ ýòîãî ðàçðÿäà îáðàçîâûâàëè íàáîð 1100.
Ïåðåõîä ê ï.9.
8. Äîïîëíèòü êîäû ñîñòîÿíèé àâòîìàòà îäíèì íåîïðåäåëåííûì ðàç-
ðÿäîì. Óâåëè÷èòü r íà åäèíèöó. Ïåðåõîä ê ï.4.
9. Ïàðà ïåðåõîäîâ (am, as), (ak, al), ðàçâÿçàíà. Êîíåö.
Äëèíà êîäà, ïîëó÷àåìàÿ â ðåçóëüòàòå ïðèìåíåíèÿ èçëîæåííîãî àëãî-
ðèòìà, â áîëüøèíñòâå ñëó÷àåâ îêàçûâàåòñÿ íåìèíèìàëüíîé, òàê êàê ïðè
ââåäåíèè íîâîãî ðàçðÿäà êîäà ìîãóò ðàçâÿçûâàòüñÿ ïàðû ïåðåõîäîâ,
êîòîðûå óæå áûëè ðàçâÿçàíû ðàíåå. Â ñâÿçè ñ ýòèì æåëàòåëüíî ìèíè-
ìèçèðîâàòü äëèíó ïîëó÷àåìûõ êîäîâ ñîñòîÿíèé, ÷òî äåëàåòñÿ ñëåäóþ-
ùèì îáðàçîì. Èñêëþ÷àåì îäèí èç ðàçðÿäîâ êîäîâ, â ðåçóëüòàòå ÷åãî
102
íåêîòîðûå ïàðû ïåðåõîäîâ ìîãóò îêàçàòüñÿ ñâÿçàííûìè, è ïðèìåíÿåì
àëãîðèòì ðàçâÿçûâàíèÿ ïàð ïåðåõîäîâ. Ïîñëå ýòîãî èñêëþ÷àåì åùå îäèí
ðàçðÿä, âíîâü ïðèìåíÿåì àëãîðèòì ïðîòèâîãîíî÷íîãî êîäèðîâàíèÿ è ò.ä.,
äî òåõ ïîð ïîêà äëèíà êîäà íå ïåðåñòàíåò óìåíüøàòüñÿ. Åñëè â ðåçóëü-
òàòå ðàáîòû àëãîðèòìà çíà÷åíèÿ íå âñåõ ðàçðÿäîâ áóäóò îïðåäåëåíû,
òî èõ ìîæíî äîîïðåäåëèòü ïðîèçâîëüíî.
Ïðîèëëþñòðèðóåì àëãîðèòì ïðîòèâîãîíî÷íîãî êîäèðîâàíèÿ íà ïðè-
ìåðå àâòîìàòà, ôóíêöèÿ ïåðåõîäîâ êîòîðîãî çàäàíà òàáë. 10.1.
Òàáëèöà 10.1
a a a! a" a# a$ a%
Z a a a" a" a$ a$ `
Z a a! a! a a! ` `
Z! a# a% a# a%
103
Òàáëèöà 10.2 Òàáëèöà 10.3 Òàáëèöà 10.4
τ τ τ τ
= = = `
= = = `
=! =! =!
=" =" ="
=# ` =# =#
=$ ` =$ =$
=% ` =% ` =% ` `
Èç òàáë.10.3 âèäíî, ÷òî ïàðà (a1, a2), (a6, a6) ðàçâÿçàíà (÷åòâåðêà
(0011)). Òî÷íî òàê æå ðàçâÿçàíû ïàðû, îáðàçîâàííûå ïåðåõîäîì
(a 2 , a 2) è âñåìè ïîñëåäóþùèìè ïåðåõîäàìè â M 1. Îáðàòèìñÿ ê
ïàðå (a3, a4), (a5, a6). Èç òàáë. 10.3 ïîëó÷àåì ñîîòâåòñòâóþùóþ ÷åò-
âåðêó (1111) ïàðà íå ðàçâÿçàíà. Ââîäèì ïåðåìåííóþ t 2 è ïîëàãà-
åì äëÿ a 3 è a 4 çíà÷åíèå τ 2=0, à äëÿ a 5 è a 6 τ 2= 1 (òàáë. 10.4).
Ïîñëå ÷åãî îñòàëüíûå ïåðåõîäû â M1 òîæå ðàçâÿçàíû. Àíàëîãè÷íî
äëÿ M2 è M3 ïîëó÷èì òàáë.10.5 è 10.6.
Òàáëèöà 10.5 Òàáëèöà 10.6
τ τ τ! τ τ τ! τ"
= = `
= =
=! =!
=" =" `
=# =#
=$ ` =$ ` `
=% ` ` ` =% ` `
104
Òàáëèöà 10.7 Òàáëèöà 10.8
τ τ! τ" τ τ! τ" τ#
= ` =
= =
=! =! `
=" ` =" `
=# =#
=$ ` ` =$ ` `
=% ` =% ` `
τ! τ" τ# τ! τ" τ#
= =
= =
=! ` =!
=" ` ="
=# =#
=$ ` =$
=% ` ` =%
Äàëüíåéøàÿ ìèíèìèçàöèÿ íåâîçìîæíà, òàê êàê äëÿ êîäèðîâàíèÿ ñåìè
ñîñòîÿíèé íóæíî íå ìåíåå òðåõ ïåðåìåííûõ. Ïîñëå äîîïðåäåëåíèÿ ïðî-
÷åðêîâ â òàáë. 10.1 ïîëó÷àåì òàáë. 10.10 ïðîòèâîãîíî÷íîãî êîäèðîâà-
íèÿ ñîñòîÿíèé èñõîäíîãî àâòîìàòà.
105
ñÿ íà ãðàôå ìåæäó ñîñåäíèìè ñîñòîÿíèÿìè àâòîìàòà âñòàâëÿòü äîïîë-
íèòåëüíûå, òàê íàçûâàåìûå íåóñòîé÷èâûå ñîñòîÿíèÿ. Íåóñòîé÷èâîå ñî-
ñòîÿíèå àâòîìàòà (ñîñòîÿíèå ak, íà ðèñ. 10.1) îòëè÷àåòñÿ òåì, ÷òî ïîä
äåéñòâèåì íåêîòîðîãî âõîäíîãî ñèãíàëà Zk, ïî äëèòåëüíîñòè ïðåâûøà-
þùåãî âðåìÿ ïåðåõîäà â ýòî ñîñòîÿíèå ak, àâòîìàò ìîæåò åãî ïðîñêî-
÷èòü, ïåðåéäÿ ñðàçó â ñëåäóþùåå ñîñòîÿíèå as.
Zk Zk
am ak as
Ðèñ. 10.1
W Z Z
W W
a! a$ a W a#
Ðèñ. 10.2
3!
3
3
> >!
= >
=! = =# =$
=% =
="
3$ 3# 3
Ðèñ. 10.3
W Z Z
W
a! a$ a a#
W
Ðèñ. 10.4
Êîäû ñîñòîÿíèé, ïîëó÷åííûõ â ðåçóëüòàòå ñîñåäíåãî êîäèðîâàíèÿ,
ïðèâåäåíû â òàáë. 10.11.
Òàáëèöà 10.11
Ñîñòîÿíèå àáñòðàêòíîãî Ñîîòâåòñòâóþùèå ñîñòîÿíèÿ
Äâîè÷íûé êîä
àâòîìàòà ýëåìåíòîâ ïàìÿòè
=0 110110 31 32 33 34 35 36
=1 110100 31 32 33 34 35 36
=2 110010 31 32 33 34 35 36
=3 100110 31 3 33 34 35 36
=4 110111 31 32 33 34 35 36
=5 010110 31 32 33 34 35 36
=6 111110 31 32 33 34 35 36
=7 100010 31 32 33 34 35 36
>1 010100 31 32 33 34 35 36
>2 100000 31 32 33 34 35 36
>3 110000 31 32 33 34 35 36
Zk Zk Zk
am as aj
Zk
Zk Zk
am as ai ëîæíûå
ai êîäû
109
Àëãîðèòì ñîñòîèò èç íåñêîëüêèõ øàãîâ.
1. Ïîñòðîèì ìàòðèöó
α1 β1
. . .
M = αr βr ,
. . .
αR βR
ñîñòîÿùóþ èç âñåõ ðàçëè÷íûõ ïàð íîìåðîâ (ar, br), òàêèõ, ÷òî â àâòî-
ìàòå S åñòü ïåðåõîä èç aαr â aβr.
2. Ïåðåñòàâèì ñòðîêè â ìàòðèöå òàê, ÷òîáû âûïîëíÿëîñü óñëîâèå
{αr, βr}∩{α1, β1, ..., αr1, βr1}≠∅, r=2, ..., R. (10.1)
Óñëîâèå (10.1) îçíà÷àåò, ÷òî õîòÿ áû îäèí èç ýëåìåíòîâ r-é ñòðîêè
ñîäåðæèòñÿ â êàêîé-íèáóäü èç ïðåäûäóùèõ ñòðîê. Èìåþòñÿ â âèäó òîëü-
êî ñâÿçíûå àâòîìàòû S, äëÿ êîòîðûõ òàêàÿ ïåðåñòàíîâêà âñåãäà âîç-
ìîæíà.
3. Çàêîäèðóåì ñîñòîÿíèÿ èç ïåðâîé ñòðîêè ìàòðèöû M ñëåäóþùèì
îáðàçîì:
Kα1 = (00 ... 00); Kβ1 = (00 ... 01).
4. Âû÷åðêíåì èç ìàòðèöû M ïåðâóþ ñòðî÷êó, ñîîòâåòñòâóþùóþ çà-
êîäèðîâàííûì ñîñòîÿíèÿì aα1, è aβ1. Ïîëó÷èì ìàòðèöó M.
5.  ñèëó óñëîâèÿ (1) â íà÷àëüíîé ñòðîêå ìàòðèöû M çàêîäèðîâàí
îäèí ýëåìåíò. Âûáåðåì èç ïåðâîé ñòðî÷êè ìàòðèöû M íåçàêîäèðîâàí-
íûé ýëåìåíò è îáîçíà÷èì åãî ÷åðåç γ.
6. Ïîñòðîèì ìàòðèöó Mγ, âûáðàâ èç M ñòðî÷êè, ñîäåðæàùèå γ. Ïóñòü
Âγ = {γ1, ..., γf, ..., γF} ìíîæåñòâî ýëåìåíòîâ èç ìàòðèöû Mγ, êîòîðûå
óæå çàêîäèðîâàíû. Èõ êîäû îáîçíà÷èì Kγ1, ..., Kγf, ..., KγF ñîîòâåòñòâåí-
íî.
7. Äëÿ êàæäîãî Kγf (f = 1, ..., F) íàéäåì C1γ f ìíîæåñòâî êîäîâ,
ñîñåäíèõ ñ Kgf è åùå íå çàíÿòûõ äëÿ êîäèðîâàíèÿ ñîñòîÿíèé àâòîìàòà.
F
Ïîñòðîèì ìíîæåñòâî D1γ = U C1γ f
. Åñëè D1γ = ∅ , òî ñòðîèì íîâîå ìíî-
F f =1
æåñòâî Dγ2 = U Cγ2f , ãäå Cγ2f ìíîæåñòâî êîäîâ, ó êîòîðûõ êîäîâîå
f =1
110
ðàññòîÿíèå ñ êîäîì Kγf ðàâíî äâóì. Åñëè Dγ2 = ∅, ñòðîèì àíàëîãè÷íî
Dγ3 , ..., Dγn , äî òåõ ïîð ïîêà íå íàéäåòñÿ Dγn ≠ ∅ (n = 1, 2, 3, ...). Ïóñòü
9. Íàõîäèì Wg = ∑f =1
Wgf, g = 1, ..., G.
1 2 a a#
2 4
2 5 a a"
3 2
M= K1 = 000, K 2 = 001.
4 3 a!
4 5
Ðèñ. 10.7
5 4
5 1
111
Êîäèðîâàíèå áóäåì èëëþñòðèðîâàòü äèàãðàììîé Âåé÷à.
3 3
3!
2 4
2 5
2 4
3 2
4 3
M′ = 4 3 γ = 4; M4 = B4 = {2}.
4 5
4 5
5 4
5 4
5 1
"
3 3
3!
2 5
3 2 2 5
4 3 4 5
M′ = γ = 5; M5 = B5 = {2, 4, 1}.
4 5 5 4
5 4 5 1
5 1
112
C21 ={011}; C41 ={100, 111}; C11 ={100, 010}; D51 = C21 ∪ C41 ∪ C11 ={011, 100, 111, 010}.
W011=|011001|2+|011101|2+|011101|2+|011000|2=1+2+2+2=7;
W100=|100001|2+|100101|2+|100101|2+|100000|2=2+1+1+1=5;
W111=|111001|2+|111101|2+|111101|2+|111000|2=2+1+1+3=6;
W010=|010001|2+|010101|2+|010101|2+|010000|2=2+3+3+1=9.
W100=min{W001, W100, W111, W010}. Ñëåäîâàòåëüíî âûáèðàåì K5=100.
# "
3 3
3!
3 2 3 2
M′ = γ = 3; M3 = B3 = {2, 4}.
4 3 4 3
!
# "
3 3
3!
k = W/p = 10:8 = 1,25.
113
10.4. Ñîñåäíåå êîäèðîâàíèå ëîãè÷åñêè ñìåæíûõ ñîñòîÿíèé
Ñóùåñòâóåò äðóãîé ìåòîä êîäèðîâàíèÿ ñîñòîÿíèé, ïîçâîëÿþùèé óï-
ðîñòèòü ïîëó÷åííóþ â ðåçóëüòàòå ñòðóêòóðíîãî ñèíòåçà ñõåìó [4]. Ñóòü
ýòîãî ìåòîäà çàêëþ÷àåòñÿ â èñïîëüçîâàíèè äâóõ ñëåäóþùèõ ïðàâèë êî-
äèðîâàíèÿ.
Ïðàâèëî 1. Òå ñîñòîÿíèÿ, èç êîòîðûõ âîçìîæíû ïåðåõîäû â îäíè è
òå æå ñîñòîÿíèÿ õîòÿ áû äëÿ îäíîãî çíà÷åíèÿ âõîäíîãî ñèãíàëà, ÿâëÿ-
þòñÿ ëîãè÷åñêè ñìåæíûìè è äîëæíû áûòü çàêîäèðîâàíû ñîñåäíèìè
êîäàìè.
Ïðàâèëî 2. Ëîãè÷åñêè ñìåæíûìè ÿâëÿþòñÿ ñîñòîÿíèÿ, ñëåäóþùèå
äëÿ îäíîãî è òîãî æå ñîñòîÿíèÿ. Èõ íåîáõîäèìî êîäèðîâàòü ñîñåäíèìè
êîäàìè.
Åñëè ïðè èñïîëüçîâàíèè ýòèõ ïðàâèë íåâîçìîæíî çàêîäèðîâàòü ñî-
ñåäíèìè êîäàìè âñå ëîãè÷åñêè ñìåæíûå ñîñòîÿíèÿ, òî ïðèîðèòåò äîë-
æåí ñîõðàíèòüñÿ çà ïðàâèëîì 1.
 òàáëèöå ïåðåõîäîâ ñîñòîÿíèÿ, óäîâëåòâîðÿþùèå ïðàâèëó 1, äîëæ-
íû èìåòü îäèíàêîâûå ñîñòîÿíèÿ ïåðåõîäà â êàêîé-ëèáî ñòðîêå. Ñîñòîÿ-
íèÿ, óäîâëåòâîðÿþùèå ïðàâèëó 2, íàõîäÿòñÿ â îäíîì ñòîëáöå òàáëèöû
ïåðåõîäîâ.
Ðàññìîòðèì òàáëèöó ïåðåõîäîâ àâòîìàòà (òàáë. 10.12).
Òàáëèöà 10.12
= = = =! =" =# =$
=! = =! =# ` = `
=" =! =# =" = =# =
α ` = = =$ =$ ` =
114
(a1, a2, a6) âñå ïåðåõîäÿò â a1 ïî ñèãíàëó α.
Äàëåå íåîáõîäèìî âûïèñàòü ãðóïïû ñîñòîÿíèé, íàõîäÿùèõñÿ â îä-
íèõ è òåõ æå ñòîëáöàõ. Â íàøåì ïðèìåðå ýòî (a3, a4), (a2, a1), (a2, a3, a1),
(a3, a5, a1), (a5, a4, a6), (a2, a6), (a1, a5).
Âñå ñîñòîÿíèÿ, íàõîäÿùèåñÿ â êàæäîé èç ñôîðìèðîâàííûõ ãðóïï,
äîëæíû áûòü çàêîäèðîâàíû ñîñåäíèìè êîäàìè. Äëÿ ýòîãî íà îñíîâå
ïîëó÷åííûõ ãðóïï ñëåäóåò ñîñòàâèòü êëàññû ñîñòîÿíèé, ëîãè÷åñêè ñìåæ-
íûõ ñ êàæäûì èç ñîñòîÿíèé àâòîìàòà, ïðè÷åì êàæäóþ ïàðó ëîãè÷åñêè
ñìåæíûõ ñîñòîÿíèé öåëåñîîáðàçíî âêëþ÷àòü òîëüêî â îäèí êëàññ.
Ñäåëàâ ýòî â ðàññìàòðèâàåìîì ïðèìåðå, ïîëó÷èì
K0 K1 K2 K3 K4 K5
*(a0, a3) *(a1, a2) *(a2, a5) *(a3, a4) (a4, a5) *(a5, a6)
*(a0, a2) *(a1, a6) *(a2, a6) (a3, a5) *(a4, a6)
(a1, a5) (a2, a3)
(a1, a3)
Ïàðû ñîñòîÿíèé, ïîëó÷åííûå â ñîîòâåòñòâèè ñ ïðàâèëîì 1, îòìå÷å-
íû çíàêîì *.
Äëÿ êîäèðîâàíèÿ ëîãè÷åñêè ñìåæíûõ ñîñòîÿíèé öåëåñîîáðàçíî âîñ-
ïîëüçîâàòüñÿ äèàãðàììîé Âåé÷à, îòäàâàÿ ïðèîðèòåò ïàðàì ñîñòîÿíèé,
ïîëó÷åííûì ïî ïðàâèëó 1. Ïðîâåäÿ ýòó îïåðàöèþ, ïîëó÷èì
= = =# =$
= =! ="
3! 3
115
K(a4 )= 011 ( Q 1 Q2 Q3);
K(a5) = 110 (Q1 Q 2 Q 3);
K(a6) = 010 ( Q 1 Q2 Q 3).
Ïðîöåññ êîäèðîâàíèÿ õàðàêòåðèçóåòñÿ êà÷åñòâîì êîäèðîâàíèÿ (k),
êîòîðîå ðàññ÷èòûâàåòñÿ ïî ôîðìóëå
m
k= ,
n
ãäå m ÷èñëî ïàð ëîãè÷åñêè ñìåæíûõ ñîñòîÿíèé, êîòîðûå óäàëîñü çàêî-
äèðîâàòü ñîñåäíèìè êîäàìè; n îáùåå êîëè÷åñòâî ïàð ñîñòîÿíèé, ñôîð-
ìèðîâàííûõ â êëàññàõ K1, K2, ..., KN.
9
 ðàññìàòðèâàåìîì ïðèìåðå k = ≈ 0,69 .
13
Õîðîøèì ìîæíî ñ÷èòàòü êîäèðîâàíèå, ó êîòîðîãî k≥0,5.
116
Áèáëèîãðàôè÷åñêèé ñïèñîê
1. Êóçíåöîâ Î. Ï., Àäåëüñîí-Âåëüñêèé Ã. Ì. Äèñêðåòíàÿ ìàòåìà-
òèêà äëÿ èíæåíåðà. Ì.: Ýíåðãîàòîìèçäàò, 1988.
2. Ãëóøêîâ Â. Ì. Ñèíòåç öèôðîâûõ àâòîìàòîâ. Ì.: Ôèçìàòãèç, 1962.
3. Ìàöåâèòûé Ë. Â., Äåíèñåíêî Å. Ë. Î êîäèðîâàíèè âíóòðåííèõ
ñîñòîÿíèé íåêîòîðûõ ìíîãîòàêòíûõ óñòðîéñòâ// Êèáåðíåòèêà. 1966. ¹1.
4. Áàðàíîâ Ñ. È. Ñèíòåç ìèêðîïðîãðàììíûõ àâòîìàòîâ. Ë.: Ýíåð-
ãèÿ, 1979.
5. Êîçèí È. Â., Ëóïàë À. Ì. Ïðîåêòèðîâàíèå öèôðîâûõ àâòîìàòîâ
óïðàâëåíèÿ è êîíòðîëÿ/ ËÈÀÏ. Ë., 1985.
6. Ìåëåõèí Â. Ô., Äóðàíäèí Ê. Ï. Âû÷èñëèòåëüíûå ìàøèíû è ñèñ-
òåìû. ÑÏá.: Âûñøàÿ øêîëà, 1993.
117
Îãëàâëåíèå
118
8. ÒÅÕÍÈ×ÅÑÊÀß ÐÅÀËÈÇÀÖÈß ÝËÅÌÅÍÒÀÐÍÛÕ ÀÂÒÎÌÀÒΠ.... 88
9. ÌÈÍÈÌÈÇÀÖÈß ÏÎËÍÎÑÒÜÞ ÎÏÐÅÄÅËÅÍÍÛÕ ÀÂÒÎÌÀÒÎÂ . 96
10. ÌÅÒÎÄÛ ÊÎÄÈÐÎÂÀÍÈß ÑÎÑÒÎßÍÈÉ ÀÁÑÒÐÀÊÒÍÛÕ
ÀÂÒÎÌÀÒÎÂ ............................................................................................... 100
10.1. Ïðîòèâîãîíî÷íîå êîäèðîâàíèå ìåòîäîì ðàçâÿçûâàíèÿ ïàð
ïåðåõîäîâ .................................................................................. 101
10.2. Ïðîòèâîãîíî÷íîå ñîñåäíåå êîäèðîâàíèå .............................. 105
10.3. Êîäèðîâàíèå ñîñòîÿíèé àâòîìàòà, áëèçêîå ê ñîñåäíåìó ...... 109
10.4. Ñîñåäíåå êîäèðîâàíèå ëîãè÷åñêè ñìåæíûõ ñîñòîÿíèé ....... 114
Áèáëèîãðàôè÷åñêèé ñïèñîê .............................................................................. 117
119
Ó÷åáíîå èçäàíèå
ÒÅÎÐÈß ÀÂÒÎÌÀÒÎÂ
Ó÷åáíîå ïîñîáèå
Ðåäàêòîð À. Â. Ïîä÷åïàåâà
Êîìïüþòåðíàÿ âåðñòêà À. Í. Êîëåøêî
Ðåäàêöèîííî-èçäàòåëüñêèé îòäåë
Ëàáîðàòîðèÿ êîìïüþòåðíî-èçäàòåëüñêèõ òåõíîëîãèé
Îòäåë îïåðàòèâíîé ïîëèãðàôèè
ÑÏáÃÓÀÏ
190000, Ñàíêò-Ïåòåðáóðã, óë. Á. Ìîðñêàÿ, 67
120