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

UptoLike

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

10
ýòîìó íàçûâàåòñÿ êîìïîçèöèåé ôóíêöèé, áóäåò èìåòü âèä, ïðåäñòàâ-
ëåííûé íà ðèñ. 2.1.
 òàêîé áëîê-ñõåìå âõîäíûå äàííûå (âõîäû) àëãîðèòìà À2 åñòü ðå-
çóëüòàòû (âûõîäû) àëãîðèòìà À1.Òàêîå ñîåäèíåíèå àëãîðèòìîâ íàçû-
âàåòñÿ êîìïîçèöèåé àëãîðèòìîâ.
Íà áëîê-ñõåìå àëãîðèòìà õîðîøî âèäíà ðàçíèöà ìåæäó îïèñàíèåì
àëãîðèòìà è ïðîöåññîì åãî ðåàëèçàöèè. Îïèñàíèå ýòî ãðàô, à ïðîöåññ
ðåàëèçàöèè ýòî ïóòè â ãðàôå, êîòîðûå îïðåäåëÿþòñÿ ëîãè÷åñêèìè óñ-
ëîâèÿìè. Åñëè â ïðîöåññå ðåàëèçàöèè âû÷èñëåíèé íå ïîÿâëÿåòñÿ óñëî-
âèé, âåäóùèõ ê êîíöó, è ïðîöåññ çàöèêëèâàåòñÿ, ýòî îçíà÷àåò îòñóòñòâèå
ñõîäèìîñòè àëãîðèòìà.
2.4. Àëãîðèòìè÷åñêèå ìîäåëè
 êëàññè÷åñêîì âàðèàíòå áëîê-ñõåìû àëãîðèòìîâ, ïðè âñåé ñâîåé
íàãëÿäíîñòè, îòðàæàþò ñâÿçè ëèøü ïî óïðàâëåíèþ (÷òî äåëàòü â ñëåäó-
þùèé ìîìåíò, êàêîìó áëîêó ïåðåäàòü óïðàâëåíèå), à íå ïî èíôîðìàöèè
(íå ñîäåðæàò ñâåäåíèé íè î äàííûõ, íè î ïàìÿòè, íè îá èñïîëüçóåìîì
íàáîðå ýëåìåíòàðíûõ øàãîâ). Òàêèì îáðàçîì, ïðåäñòàâëåíèå àëãîðèò-
ìà â âèäå áëîê-ñõåìû íå óäîâëåòâîðÿåò ïåðå÷èñëåííûì âûøå òðåáî-
âàíèÿì.
Ïîýòîìó â òåîðèè àëãîðèòìîâ ïðèíèìàåòñÿ è äðóãîé ïîäõîä ê ïðåä-
ñòàâëåíèþ àëãîðèòìà, ïîçâîëÿþùèé ïîñòðîèòü àëãîðèòìè÷åñêóþ ìî-
äåëü ïðîöåññà, êîãäà óäàåòñÿ óäîâëåòâîðèòü âñåì òðåáîâàíèÿì, ïðåäúÿâ-
ëÿåìûì ê àëãîðèòìàì. Ïðè ïîñòðîåíèè àëãîðèòìè÷åñêîé ìîäåëè ïðî-
èçâîäèòñÿ óòî÷íåíèå äåòåðìèíèçìà àëãîðèòìà:
âûáèðàåòñÿ êîíå÷íûé íàáîð èñõîäíûõ îáúåêòîâ, êîòîðûå íàçûâà-
þòñÿ ýëåìåíòàðíûìè;
À1  àëãîðèòì âû÷èñëåíèÿ ôóíêöèè B
(N),
B
(N).
À2À1 ÊîíåöÍà÷àëî
Ðèñ. 2.1