Òüþðèíãà ìàøèíàÁîëüøàÿ Ñîâåòñêàÿ Ýíöèêëîïåäèÿ. Ñòàòüè äëÿ íàïèñàíèÿ ðåôåðàòîâ, êóðñîâûõ ðàáîò, íàó÷íûå ñòàòüè, áèîãðàôèè, î÷åðêè, àííîòàöèè, îïèñàíèÿ.
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
Òüþðèíãà ìàøèíà, íàçâàíèå, çàêðåïèâøååñÿ çà àáñòðàêòíûìè (âîîáðàæàåìûìè) «âû÷èñëèòåëüíûìè ìàøèíàìè» íåêîòîðîãî òî÷íî îõàðàêòåðèçîâàííîãî òèïà, äàþùèìè ïðèãîäíîå äëÿ öåëåé ìàòåìàòè÷åñêîãî ðàññìîòðåíèÿ óòî÷íåíèå îáùåãî èíòóèòèâíîãî ïðåäñòàâëåíèÿ îá àëãîðèòìå. Êîíöåïöèÿ òàêîãî ðîäà ìàøèíû ñëîæèëàñü â ñåðåäèíå 30-õ ãã. 20 â. ó À. Ì. Òüþðèíãà â ðåçóëüòàòå ïðîèçâåä¸ííîãî èì àíàëèçà äåéñòâèé ÷åëîâåêà, âûïîëíÿþùåãî â ñîîòâåòñòâèè ñ çàðàíåå ðàçðàáîòàííûì ïëàíîì òå èëè èíûå âû÷èñëåíèÿ, òî åñòü ïîñëåäîâàòåëüíûå ïðåîáðàçîâàíèÿ çíàêîâûõ êîìïëåêñîâ. Òüþðèíãà ìàøèíà óäîáíî ïðåäñòàâëÿòü â âèäå íåêîòîðîãî àâòîìàòè÷åñêè äåéñòâóþùåãî óñòðîéñòâà, ñïîñîáíîãî íàõîäèòüñÿ â êîíå÷íîì ÷èñëå âíóòðåííèõ ñîñòîÿíèé è ñíàáæåííîãî áåñêîíå÷íîé âíåøíåé ïàìÿòüþ — ëåíòîé. Ñðåäè ñîñòîÿíèé èìåþòñÿ äâà âûäåëåííûõ — íà÷àëüíîå è çàêëþ÷èòåëüíîå. Ëåíòà ðàçäåëåíà íà êëåòêè (ÿ÷åéêè) è íå îãðàíè÷åíà âëåâî è âïðàâî.  êàæäîé êëåòêå ëåíòû ìîæåò áûòü çàïèñàí ëþáîé èç ñèìâîëîâ, âõîäÿùèõ â íåêîòîðûé çàðàíåå çàäàííûé ïåðå÷åíü (ðàäè åäèíîîáðàçèÿ ñ÷èòàþò, ÷òî â ïóñòîé êëåòêå çàïèñàíà «ïóñòàÿ áóêâà»).  êàæäûé ìîìåíò âðåìåíè Òüþðèíãà ìàøèíà íàõîäèòñÿ â îäíîì èç ñâîèõ ñîñòîÿíèé è, ðàññìàòðèâàÿ (ïîñðåäñòâîì ñïåöèàëüíîãî óñòðîéñòâà) îäíó èç êëåòîê ñâîåé ëåíòû, âîñïðèíèìàåò çàïèñàííûé â íåé ñèìâîë. Åñëè â òåêóùèé ìîìåíò âðåìåíè Òüþðèíãà ìàøèíà íàõîäèòñÿ â íå çàêëþ÷èòåëüíîì ñîñòîÿíèè, òî â ñëåäóþùèé çà íèì ìîìåíò: 1) îíà ïåðåõîäèò â íîâîå ñîñòîÿíèå, áûòü ìîæåò ñîâïàäàþùåå ñî ñòàðûì, èëè çàêëþ÷èòåëüíîå; 2) â ðàññìàòðèâàåìîé êëåòêå ñòàðûé ñèìâîë çàìåíÿåòñÿ íîâûì, áûòü ìîæåò ïóñòûì èëè ñîâïàäàþùèì ñî ñòàðûì; 3) ëåíòà ìàøèíû ñäâèãàåòñÿ íà îäíó êëåòêó âëåâî èëè âïðàâî ëèáî îñòà¸òñÿ íà ìåñòå. Ýòîò øàã Òüþðèíãà ìàøèíà âïîëíå îïðåäåëÿåòñÿ å¸ òåêóùèì ñîñòîÿíèåì è òåêóùèì âîñïðèíèìàåìûì ñèìâîëîì. Òàáëèöà, ñîäåðæàùàÿ ïîëíîå ïåðå÷èñëåíèå âîçìîæíûõ øàãîâ äàííîé Òüþðèíãà ìàøèíà, íàçûâàåòñÿ ïðîãðàììîé ýòîé ìàøèíû. Òåêóùåå ïîëíîå îïèñàíèå Òüþðèíãà ìàøèíà äà¸òñÿ å¸ êîíôèãóðàöèåé, êîòîðàÿ ñîñòîèò èç óêàçàíèÿ äëÿ äàííîãî ìîìåíòà ñëåäóþùåé èíôîðìàöèè: 1) êîíêðåòíîãî çàïîëíåíèÿ êëåòîê ëåíòû ñèìâîëàìè, 2) êëåòêè, íàõîäÿùåéñÿ â ïîëå çðåíèÿ ìàøèíû, 3) ñîñòîÿíèÿ, â êîòîðîì ìàøèíà íàõîäèòñÿ. Åñëè ó äàííîé Òüþðèíãà ìàøèíà âçÿòü â êà÷åñòâå èñõîäíîé êàêóþ-ëèáî êîíôèãóðàöèþ ñ íå çàêëþ÷èòåëüíûì ñîñòîÿíèåì, òî ðàáîòà ýòîé ìàøèíû áóäåò çàêëþ÷àòüñÿ â ïîñëåäîâàòåëüíîì, øàã çà øàãîì, ïðåîáðàçîâàíèè èñõîäíîé êîíôèãóðàöèè â ñîîòâåòñòâèè ñ ïðîãðàììîé ìàøèíû äî òåõ ïîð, ïîêà íå áóäåò äîñòèãíóòà êîíôèãóðàöèÿ ñ çàêëþ÷èòåëüíûì ñîñòîÿíèåì. Ýòà ïîñëåäíÿÿ, åñëè îíà ñóùåñòâóåò, è ñ÷èòàåòñÿ ðåçóëüòàòîì ðàáîòû äàííîé Òüþðèíãà ìàøèíà íàä èñõîäíîé êîíôèãóðàöèåé. Èìåþòñÿ ñåðü¸çíûå îñíîâàíèÿ ñ÷èòàòü, ÷òî ïîíÿòèå Òüþðèíãà ìàøèíà äîñòàâëÿåò àäåêâàòíîå óòî÷íåíèå îáùåãî ïðåäñòàâëåíèÿ îá àëãîðèòìå, òî åñòü ÷òî âñÿêèé àëãîðèòì ìîæåò áûòü ïðîìîäåëèðîâàí ïîäõîäÿùåé Òüþðèíãà ìàøèíà Ñîîòâåòñòâóþùåå ñîãëàøåíèå èçâåñòíî â àëãîðèòìîâ òåîðèè ïîä íàçâàíèåì òåçèñà Òüþðèíãà. Òåîðèÿ Òüþðèíãà ìàøèíà äà¸ò óäîáíûé ðàáî÷èé àïïàðàò äëÿ ìíîãèõ èññëåäîâàíèé, òðåáóþùèõ òî÷íîãî ïîíÿòèÿ àëãîðèòìà.  ÷àñòíîñòè, ââèäó åñòåñòâåííîñòè ñîâåðøàåìûõ èìè øàãîâ, Òüþðèíãà ìàøèíà ñòàëè îáúåêòîì ïðèñòàëüíîãî âíèìàíèÿ â òåîðèè ñëîæíîñòè àëãîðèòìè÷åñêèõ âû÷èñëåíèé.  õîäå ðàçâèòèÿ òåîðèè Òüþðèíãà ìàøèíà ðàññìàòðèâàëèñü ðàçëè÷íûå èõ îáîáùåíèÿ: íàïðèìåð, Òüþðèíãà ìàøèíà ñ áîëåå îáùèì òèïîì ëåíò, ñ íåñêîëüêèìè ëåíòàìè, à òàêæå íåäåòåðìèíèðîâàííûå Òüþðèíãà ìàøèíà
Ëèò.: Êëèíè Ñ. Ê., Ââåäåíèå â ìåòàìàòåìàòèêó, ïåð. ñ àíãë., Ì., 1957; Ìåíäåëüñîí Ý., Ââåäåíèå â ìàòåìàòè÷åñêóþ ëîãèêó, ïåð. ñ àíãë., Ì., 1971. Í. Ì. Íàãîðíûé.
|
||||||||||||||||||||||||||||||||||||||||||||||
|