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

UptoLike

ВУЗ: 

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

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

Рубрика: 

7
êîíå÷íûì ÷èñëîì îáúåêòîâ. Âñå ýòî ïîòðåáîâàëî óòî÷íåíèÿ ïîíÿòèÿ
àëãîðèòì.
2.2. Ïðåäìåò òåîðèè àëãîðèòìîâ
 òåõíèêó òåðìèí àëãîðèòì ïðèøåë âìåñòå ñ êèáåðíåòèêîé. Åñëè
ïîíÿòèå ìåòîäà âû÷èñëåíèé íå íóæäàëîñü â ïîÿñíåíèÿõ, òî ïîíÿòèå
ïðîöåññà óïðàâëåíèÿ ñ ïîìîùüþ àëãîðèòìîâ ïðèøëîñü âûðàáàòûâàòü
ïðàêòè÷åñêè çàíîâî. Íåÿñíîñòü ñîäåðæàòåëüíîãî îïèñàíèÿ àëãîðèòìà
ïîñëóæèëà ïðè÷èíîé óòî÷íåíèÿ ïîíÿòèÿ àëãîðèòìà, â ðåçóëüòàòå ÷åãî
áûë ñäåëàí âûâîä î ñóùåñòâîâàíèè òàê íàçûâàåìîé àëãîðèòìè÷åñêîé
íåðàçðåøèìîñòè, ò. å. î íåñóùåñòâîâàíèè åäèíîãî àëãîðèòìà ðåøåíèÿ
çàäà÷ íåêîòîðîãî êëàññà ïðè âîçìîæíîñòè ðåøåíèÿ îòäåëüíûõ çàäà÷
ýòîãî êëàññà.
Ïîýòîìó ïðåäìåòîì òåîðèè àëãîðèòìîâ, ðåøàþùåé çàäà÷ó óòî÷íå-
íèÿ ïîíÿòèÿ àëãîðèòì, ÿâëÿåòñÿ â ïåðâóþ î÷åðåäü óòî÷íåíèå òàêèõ
ïîíÿòèé, êàê îáúåêò, êîòîðûé ïîäâåðãàåòñÿ ïðåîáðàçîâàíèþ è äåé-
ñòâèå, ñîâåðøàåìîå íàä ýòèì îáúåêòîì. Ïîýòîìó, ðàçðàáàòûâàÿ àëãî-
ðèòì, íåîáõîäèìî ïðåäâàðèòåëüíî âûÿñíèòü:
êàêèå îáúåêòû ñëåäóåò ñ÷èòàòü òî÷íî îïðåäåëåííûìè;
êàêèå ýëåìåíòàðíûå äåéñòâèÿ íàä íèìè ñëåäóåò ñ÷èòàòü òî÷íî îï-
ðåäåëåííûìè;
êàêèìè ñâîéñòâàìè è âîçìîæíîñòÿìè îáëàäàþò êîìáèíàöèè ýëåìåí-
òàðíûõ äåéñòâèé, ò. å. ÷òî ìîæíî è ÷åãî íåëüçÿ ñäåëàòü ñ ïîìîùüþ
ýòèõ äåéñòâèé;
êàêèì òðåáîâàíèÿì äîëæíà óäîâëåòâîðÿòü ïîñëåäîâàòåëüíîñòü äåé-
ñòâèé, ÷òîáû ñ÷èòàòüñÿ êîíñòðóêòèâíî çàäàííîé, ò. å. èìåòü ïðàâî íà-
çûâàòüñÿ àëãîðèòìîì.
 ýòîì îñîçíàíèè îãðîìíóþ ðîëü ñûãðàëà ïðàêòèêà èñïîëüçîâàíèÿ
âû÷èñëèòåëüíûõ ìàøèí, ñäåëàâøàÿ ïîíÿòèå àëãîðèòìà îùóòèìîé ðå-
àëüíîñòüþ. Ïîýòîìó ïðèìåíèòåëüíî ê âû÷èñëèòåëüíîé òåõíèêå ìîæíî
ñôîðìóëèðîâàòü áîëåå êîððåêòíîå îïðåäåëåíèå àëãîðèòìà: àëãîðèòì
ýòî òî÷íîå ïðåäïèñàíèå î âûïîëíåíèè â îïðåäåëåííîì ïîðÿäêå íå-
êîòîðîé ñèñòåìû îïåðàöèé äëÿ ðåøåíèÿ âñåõ çàäà÷ íåêîòîðîãî
çàäàííîãî òèïà.
Òåì íå ìåíåå, íåëüçÿ ñ÷èòàòü àëãîðèòìîì ëþáóþ èíñòðóêöèþ, ðàç-
áèòóþ íà øàãè. Ïîýòîìó íåîáõîäèìî îïðåäåëèòü îñíîâíûå òðåáîâàíèÿ,
ïðåäúÿâëÿåìûå ê àëãîðèòìàì.

Страницы