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

UptoLike

ВУЗ: 

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

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

Рубрика: 

32
ðîéñòâà óïðàâëåíèÿ ëèôòîì ìîæíî ñ÷èòàòü ðàâíûìè ðàçíîñòÿì z
i
z
k
,
ãäå z
k
íîìåð ýòàæà, íà êîòîðîì íàõîäèëàñü êàáèíà ëèôòà ê ìîìåíòó
ïîñòóïëåíèÿ î÷åðåäíîãî âõîäíîãî ñèãíàëà (íîìåðà òðåáóåìîãî ýòàæà)
z
i
, ïðè ýòîì ñèãíàë w
j
= 0 íå âêëþ÷àåòñÿ â âûõîäíîé àëôàâèò (ïóñòîé
ñèìâîë). Ïîÿâëåíèå êàæäîãî âûõîäíîãî ñèãíàëà çàâèñèò îò âõîäíîãî
ñèãíàëà, äåéñòâóþùåãî â äàííûé ìîìåíò âðåìåíè, è îò íîìåðà ýòàæà,
íà êîòîðîì ê ýòîìó ìîìåíòó âðåìåíè îêàçàëàñü êàáèíà ëèôòà. Ïî ýòîé
ïðè÷èíå ìîæíî ñ÷èòàòü, ÷òî àâòîìàò óïðàâëåíèÿ ëèôòîì èìååò ÷èñëî
ñîñòîÿíèé, ðàâíîå ÷èñëó ýòàæåé çäàíèÿ. Ïîñêîëüêó ïðîöåññ äâèæåíèÿ
êàáèíû ìåæäó ýòàæàìè íå ïðåäñòàâëÿåò èíòåðåñà, ñ÷èòàåòñÿ, ÷òî ñî-
ñòîÿíèå àâòîìàòà èçìåíÿåòñÿ ìãíîâåííî â ìîìåíò äîñòèæåíèÿ êàáè-
íîé î÷åðåäíîãî ýòàæà è ñ ýòèì æå ìîìåíòîì âðåìåíè îòîæäåñòâëÿåòñÿ
ìîìåíò ïîñòóïëåíèÿ âõîäíîãî ñèãíàëà, âûçâàâøåãî äâèæåíèå êàáèíû ê
ýòîìó ýòàæó.
4.2. Àáñòðàêòíûå àâòîìàòû
Àâòîìàòû, ðàññìàòðèâàåìûå áåçîòíîñèòåëüíî ê èõ âíóòðåííåé ñòðóê-
òóðå, ïðèíÿòî íàçûâàòü àáñòðàêòíûìè àâòîìàòàìè.
Àáñòðàêòíûé àâòîìàò ðàáîòàåò â äèñêðåòíîì àâòîìàòíîì âðåìåíè,
ïîñëåäîâàòåëüíûå ìîìåíòû êîòîðîãî îòîæäåñòâëÿþòñÿ ñ íàòóðàëüíû-
ìè ÷èñëàìè t= 1, 2, ... .  ïðèìåðå ñ ëèôòîì ìîìåíòû àâòîìàòíîãî
âðåìåíè îïðåäåëÿþòñÿ êíîïêîé ïóñê ëèáî ìîìåíòàìè íàæàòèÿ êíî-
ïîê ñ íîìåðàìè òðåáóåìûõ ýòàæåé.
Äëÿ çàäàíèÿ àáñòðàêòíîãî àâòîìàòà íóæíî çàäàòü âõîäíîé àëôà-
âèò Z = {z
1
, z
2
, ..., z
F
}, âûõîäíîé àëôàâèò W = {w
1
, w
2
, ..., w
G
} è
ìíîæåñòâî A = {a
1
, a
2
, ..., a
M
} åãî âíóòðåííèõ ñîñòîÿíèé, íàçûâàåìîå
ïðîñòî ìíîæåñòâîì ñîñòîÿíèè àâòîìàòà. Â êàæäûé ìîìåíò âðåìåíè
t = 0, 1, 2, ... àáñòðàêòíûé àâòîìàò A íàõîäèòñÿ â íåêîòîðîì ñîñòîÿ-
íèè a
i
= a(t) èç A. Ñîñòîÿíèå a
0
= a(0) â íà÷àëüíûé ìîìåíò âðåìåíè t = 0
íàçûâàåòñÿ íà÷àëüíûì ñîñòîÿíèåì àâòîìàòà A. Óñëîâíî àáñòðàêòíûé
àâòîìàò èçîáðàæàåòñÿ â âèäå óñòðîéñòâà (ðèñ. 4.1) ñ îäíèì âõîäîì è
îäíèì âûõîäîì.
A = {a
, a
, ..., a
M
}
Z = {z
, z
, ..., z
F
} W = {w
, w
, ..., w
G
}
Ðèñ. 4.1

Страницы