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

UptoLike

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

39
ëÿåòñÿ îäíîçíà÷íûì, òî îíî óäîâëåòâîðÿåò, î÷åâèäíî, âñåì ÷åòûðåì óñ-
ëîâèÿì àâòîìàòíîñòè. Ê ñîæàëåíèþ, îäíàêî, â áîëüøèíñòâå ñëó÷àåâ
ïîïîëíåíèå îïåðàòîðà ϕ
1
íåîäíîçíà÷íî. Âìåñòå ñ òåì ñïðàâåäëèâî ñëå-
äóþùåå óòâåðæäåíèå [2]: â ñëó÷àå, êîãäà îïåðàòîð ϕ
1
ïîëó÷åí èç íåêî-
òîðîãî îäíîçíà÷íîãî àëôàâèòíîãî îïåðàòîðà â ðåçóëüòàòå ñòàíäàðòíîé
îïåðàöèè âûðàâíèâàíèÿ äëèí ñëîâ, ïîïîëíåíèå ϕ
1
'
ýòîãî îïåðàòîðà îä-
íîçíà÷íî è ÿâëÿåòñÿ àâòîìàòíûì îïåðàòîðîì.
 ðÿäå ñëó÷àåâ ïðè ïðåâðàùåíèè çàäàííîãî îïåðàòîðà â àâòîìàòíûé
îïåðàòîð ìîæíî ïðèìåíÿòü íå ñòàíäàðòíóþ îïåðàöèþ âûðàâíèâàíèÿ, à
êàêîé-íèáóäü áîëåå ýêîíîìíûé òî÷êè çðåíèÿ ÷èñëà äîïèñûâàåìûõ
áóêâ) âàðèàíò îïåðàöèè âûðàâíèâàíèÿ.  ÷àñòíîñòè, åñëè ñàì èñõîäíûé
îïåðàòîð áûë àâòîìàòíûì, ìîæíî ñ÷èòàòü, ÷òî ïðèìåíÿåòñÿ íóëåâàÿ
îïåðàöèÿ âûðàâíèâàíèÿ, ïðè êîòîðîé íèêàêîãî äîïèñûâàíèÿ ïóñòûõ áóêâ
âîîáùå íå ïðîèñõîäèò.
Îáû÷íî íà ïðàêòèêå ïîñòóïàþò ñëåäóþùèì îáðàçîì. Ñíà÷àëà îïåðà-
öèþ âûðàâíèâàíèÿ ïðîâîäÿò íàèáîëåå ýêîíîìíûì îáðàçîì, è, ïðèìåíÿÿ
çàòåì îïåðàöèþ ïîïîëíåíèÿ, ïðîâåðÿþò (ïî ïðèçíàêó îäíîçíà÷íîñòè
ïîïîëíåíèÿ), ïîëó÷èòñÿ ëè â ðåçóëüòàòå àâòîìàòíûé îïåðàòîð. Åñëè íåò,
òî ïðîèçâîäÿò íîâîå äîïèñûâàíèå ïóñòûõ áóêâ, íîâóþ ïðîâåðêó ïî-
ïîëíåíèÿ è ò.ä. Â ðåçóëüòàòå ïðîäîëæåíèÿ ïîäîáíîãî ïðîöåññà îáÿçà-
òåëüíî áóäåò ïîëó÷åí àâòîìàòíûé îïåðàòîð. Ýòîò ìåòîä ïðèâåäåíèÿ
àëôàâèòíîãî îïåðàòîðà ê àâòîìàòíîìó îïåðàòîðó íàçûâàþò ìåòîäîì
ïîñëåäîâàòåëüíîãî ïðèâåäåíèÿ.
Äëÿ ïîñòðîåííîãî òàêèì ìåòîäîì îïåðàòîðà ìîæíî ïîñòðîèòü ôóíê-
öèè ïåðåõîäîâ è âûõîäîâ.