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

UptoLike

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

30
2. Àíàëîãè÷íûì îáðàçîì èç èñõîäíûõ ôðàç âòîðîãî ÿçûêà ôîðìèðó-
åòñÿ âûõîäíîé àëôàâèò.
Ìîæíî îñóùåñòâëÿòü è áîëåå ìåëêîå äðîáëåíèå, èñïîëüçóÿ â êà÷å-
ñòâå âõîäíîãî è âûõîäíîãî àëôàâèòîâ îáû÷íûå àëôàâèòû ïåðâîãî è âòî-
ðîãî ÿçûêîâ, íî òîãäà ðåøåíèå çàäà÷è ñòàíîâèòñÿ áîëåå ãðîìîçäêèì.
3. Ïåðåâîä òåïåðü ïðåäñòàâëÿåòñÿ êàê óñòàíîâëåíèå ñîîòâåòñòâèÿ
ìåæäó ñëîâàìè âî âõîäíîì è âûõîäíîì àëôàâèòàõ, ÷òî è äåëàåòñÿ íà
òðåòüåì ýòàïå.
4. Èñïîëüçóÿ àëãîðèòì ñèíòåçà, ïî óñòàíîâëåííîìó ñîîòâåòñòâèþ
ñòðîèòñÿ îñóùåñòâëÿþùèé åãî àâòîìàò À.
5. Èñïîëüçóÿ àëãîðèòì ìèíèìèçàöèè, ïðîèçâîäèòñÿ îïòèìèçàöèÿ àâ-
òîìàòà À ïî ÷èñëó ñîñòîÿíèé.
Ïîëó÷åííûé àâòîìàò áóäåò îñóùåñòâëÿòü ïðåîáðàçîâàíèå âõîäíûõ
ñëîâ â âûõîäíûå íà áîëåå øèðîêîé îáëàñòè, âêëþ÷àþùåé (ïðè ñîáëþ-
äåíèè îãîâîðåííûõ âûøå óñëîâèé è ñîîòâåòñòâóþùèõ îãðàíè÷åíèé ãðàì-
ìàòèêè) âñå íîâûå ôðàçû, ïîäëåæàùèå ïåðåâîäó. Ïðèìåðîì òàêîãî ïå-
ðåâîäà áûëî ðåøåíèå çàäà÷è ïåðåâîäà ñ âåíãåðñêîãî ÿçûêà íà áàñêñ-
êèé, âûïîëíåííîå â Èíñòèòóòå êèáåðíåòèêè â ã. Êèåâå ïîä ðóêîâîäñòâîì
Â.Ì.Ãëóøêîâà. Ïðè åå ðåøåíèè ïî 10 ïàðàì èñõîäíûõ ôðàç áûë ñèíòå-
çèðîâàí àâòîìàò ñ 75 ñîñòîÿíèÿìè, êîòîðûé ïóòåì ìèíèìèçàöèè áûë
ïðèâåäåí ê 46 ñîñòîÿíèÿì.
Ñòðóêòóðíàÿ òåîðèÿ àâòîìàòîâ ïîçâîëÿåò ðåàëèçîâàòü àáñòðàêòíûé
àâòîìàò íà ýëåìåíòàõ, ïðèíàäëåæàùèõ ê çàðàíåå çàäàííîìó êëàññó.
4.1. Àëôàâèòíûå îïåðàòîðû è àâòîìàòû
Ïîä àáñòðàêòíûì àëôàâèòîì ïîíèìàþò ëþáóþ êîíå÷íóþ ñîâîêóï-
íîñòü îáúåêòîâ, íàçûâàåìûõ áóêâàìè äàííîãî àëôàâèòà. Ñëîâà â ýòîì
àëôàâèòå îïðåäåëÿþò êàê ëþáûå êîíå÷íûå óïîðÿäî÷åííûå ïîñëå-
äîâàòåëüíîñòè áóêâ. ×èñëî áóêâ â ñëîâå íàçûâàþò äëèíîé ñëîâà, ïðè-
÷åì, íàðÿäó ñî ñëîâàìè ïîëîæèòåëüíîé äëèíû (ñîñòîÿùèìè íå ìåíåå,
÷åì èç îäíîé áóêâû), ðàññìàòðèâàþò òàêæå ïóñòîå ñëîâî, íå ñîäåðæà-
ùåå íè îäíîé áóêâû. Ñëîâà åäèíè÷íîé äëèíû îòîæäåñòâëÿþòñÿ ñ áóêâà-
ìè àëôàâèòà.
Àëôàâèòíûì îïåðàòîðîì, èëè àëôàâèòíûì îòîáðàæåíèåì, íàçû-
âàþò âñÿêîå ñîîòâåòñòâèå (ôóíêöèþ), ñîïîñòàâëÿþùåå ñëîâàì â òîì
èëè èíîì àëôàâèòå ñëîâà â òîì æå ñàìîì èëè â íåêîòîðîì äðóãîì ôèê-
ñèðîâàííîì àëôàâèòå. Ïåðâûé àëôàâèò íàçûâàþò ïðè ýòîì âõîäíûì, à