Ïðîöåäóðíàÿ ñåìàíòèêà
Ïðîöåäóðíàÿ ñåìàíòèêà îïðåäåëÿåò, êàê ïðîëîã-ñèñòåìà îòâå÷àåò íà âîïðîñû. Îòâåòèòü íà âîïðîñ - ýòî çíà÷èò óäîâëåòâîðèòü ñïèñîê öåëåé. Ýòîãî ìîæíî äîáèòüñÿ, ïðèïèñàâ âñòðå÷àþùèìñÿ ïåðåìåííûì çíà÷åíèÿ òàêèì îáðàçîì, ÷òîáû öåëè ëîãè÷åñêè ñëåäîâàëè èç ïðîãðàììû. Ìîæíî ñêàçàòü, ÷òî ïðîöåäóðíàÿ ñåìàíòèêà Ïðîëîãà - ýòî ïðîöåäóðà âû÷èñëåíèÿ ñïèñêà öåëåé ñ ó÷åòîì çàäàííîé ïðîãðàììû. "Âû÷èñëèòü öåëè" ýòî çíà÷èò ïîïûòàòüñÿ äîñòè÷ü èõ.
Íàçîâåì ýòó ïðîöåäóðó âû÷èñëèòü. Êàê ïîêàçàíî íà ðèñ. 2.9, âõîäîì è âûõîäîì ýòîé ïðîöåäóðû ÿâëÿþòñÿ:
âõîäîì - ïðîãðàììà è ñïèñîê öåëåé,
âûõîäîì - ïðèçíàê óñïåõ/íåóñïåõ è ïîäñòàíîâêà ïåðåìåííûõ.
Ðèñ. 2. 9. Âõîäû è âûõîäû ïðîöåäóðû âû÷èñëåíèÿ ñïèñêà öåëåé.
Ñìûñë äâóõ ñîñòàâëÿþùèõ âûõîäà òàêîé:
(1) Ïðèçíàê óñïåõ/íåóñïåõ ïðèíèìàåò çíà÷åíèå "äà", åñëè öåëè äîñòèæèìû, è "íåò" - â ïðîòèâíîì ñëó÷àå. Áóäåì ãîâîðèòü, ÷òî "äà" ñèãíàëèçèðóåò îá óñïåøíîì çàâåðøåíèè è "íåò" - î íåóñïåõå.
(2) Ïîäñòàíîâêà ïåðåìåííûõ ïîðîæäàåòñÿ òîëüêî â ñëó÷àå óñïåøíîãî çàâåðøåíèÿ; â ñëó÷àå íåóñïåõà ïîäñòàíîâêà îòñóòñòâóåò.
line();ÏÐÎÃÐÀÌÌÀ
áîëüøîé( ìåäâåäü).
% Ïðåäëîæåíèå 1
áîëüøîé( ñëîí).
% Ïðåäëîæåíèå 2
ìàëåíüêèé( êîò). % Ïðåäëîæåíèå 3
êîðè÷íåâûé ( ìåäâåäü). % Ïðåäëîæåíèå 4
÷åðíûé ( êîò). % Ïðåäëîæåíèå 5
ñåðûé( ñëîí). % Ïðåäëîæåíèå 6
ÐÅËÌØÈ( Z) :- % îÏÅÄÊÍÔÅÌÕÅ 7:
ÂÅÏÌØÈ( Z). % Ê×ÀÍÈ ÂÅÏÌØÈ
% ÍÀÇÅÉÐ ÚÁÊÚÅÐßÚ ÐÅËÌØË
ÐÅËÌØÈ( Z) :- % îÏÅÄÊÍÔÅÌÕÅ 8:
ÉÍÏÕÂÌÅÁØÈ( Z). % ê×ÀÍÈ ÉÍÏÕÂÌÅÁØÈ
% ÍÀÇÅÉÐ ÚÁÊÚÅÐßÚ ÐÅËÌØË
áíîïíÿ
?- ÐÅËÌØÈ( X), ÀÍÊÝÜÍÈ( X) % éÐÍ ÍÄÌÍÁÏÅËÅÌÌÍ ÐÅËÌØÈ
% Õ ÀÍÊÝÜÍÈ?
üþöõ áøâõÿêåìõú
(1) õßÓÍÄÌØÈ ßÎÕßÍÉ ÆÅÊÅÁØÓ ÑÐÁÅÏÔÄÅÌÕÈ:
ÐÅËÌØÈ( X), ÀÍÊÝÜÍÈ( X).
(2) îÏÍßËÍÐÏ ÁßÅÈ ÎÏÍÖÏÞËËØ ÍÐ ÌÞÂÞÊÞ É ÉÍÌÆÑ Õ ÎÍÕßÉ ÎÏÅÄÊÍÔÅÌÕÚ, Ñ ÉÍÐÍÏÍÖÍ ÖÍÊÍÁÞ ßÍÎÍßÐÞÁÕËÞ ß ÎÅÏÁØË ÆÅÊÅÁØË ÑÐÁÅÏÔÄÅÌÕÅË
ÐÅËÌØÈ( X).
ìÞÈÄÅÌÞ ÒÍÏËÑÊÞ 7:
ÐÅËÌØÈ( Z) :- ÂÅÏÌØÈ( Z).
ãÞËÅÌÞ ÎÅÏÁÍÖÍ ÆÅÊÅÁÍÖÍ ÑÐÁÅÏÔÄÅÌÕÚ ÉÍÌÉÏÅÐÕÃÕÏÍÁÞÌÌØË ÐÅÊÍË ÎÏÅÄÊÍÔÅÌÕÚ 7 - ÎÍÏÍÔÄÅÌÕÅ ÌÍÁÍÖÍ ßÎÕßÉÞ ÆÅÊÅÁØÓ ÑÐÁÅÏÔÄÅÌÕÈ.
ÂÅÏÌØÈ( X), ÀÍÊÝÜÍÈ( X)
(3) îÏÍßËÍÐÏ ÎÏÍÖÏÞËËØ ÄÊÚ ÌÞÓÍÔÄÅÌÕÚ ÎÏÅÄÊÍÔÅÌÕÚ, ßÍÎÍßÐÞÁÕËÍÖÍ ß ÂÅÏÌØÈ( X). ìÞÈÄÅÌÍ ÎÏÅÄÊÍÔÅÌÕÅ 5: ÂÅÏÌØÈ ( ÉÍÐ). ñ ÙÐÍÖÍ ÎÏÅÄÊÍÔÅÌÕÚ ÌÅÐ ÐÅÊÞ, ÎÍÙÐÍËÑ ßÎÕßÍÉ ÆÅÊÅÈ ÎÏÕ ßÍÍÐÁÅÐßÐÁÑ×ÛÅÈ ÉÍÌÉÏÅÐÕÃÞÆÕÕ ßÍÉÏÞÛÞÅÐßÚ ÄÍ
ÀÍÊÝÜÍÈ( ÉÍÐ)
(4) îÏÍßËÍÐÏ ÎÏÍÖÏÞËËØ Á ÎÍÕßÉÞÓ ÆÅÊÕ ÀÍÊÝÜÍÈ( ÉÍÐ). ìÕ ÍÄÌÍ ÎÏÅÄÊÍÔÅÌÕÅ ÌÅ ÌÞÈÄÅÌÍ. îÍÙÐÍËÑ ÎÏÍÕßÓÍÄÕÐ ÁÍÃÁÏÞÐ É ÜÞÖÑ (3) Õ ÍÐËÅÌÞ ÉÍÌÉÏÅÐÕÃÞÆÕÕ ó = ÉÍÐ. ÿÎÕßÍÉ ÆÅÊÅÈ ÐÅÎÅÏÝ ßÌÍÁÞ
ÂÅÏÌØÈ( X), ÀÍÊÝÜÍÈ( X)
îÏÍÄÍÊÔÅÌÕÅ ÎÏÍßËÍÐÏÞ ÎÏÍÖÏÞËËØ ÌÕÔÅ ÎÏÅÄÊÍÔÅÌÕÚ 5. ìÕ ÍÄÌÍ ÎÏÅÄÊÍÔÅÌÕÅ ÌÅ ÌÞÈÄÅÌÍ. îÍÙÐÍËÑ ÁÍÃÁÏÞÐ É ÜÞÖÑ (2) Õ ÎÏÍÄÍÊÔÅÌÕÅ ÎÏÍßËÍÐÏÞ ÌÕÔÅ ÎÏÅÄÊÍÔÅÌÕÚ 7. ìÞÈÄÅÌÍ ÎÏÅÄÊÍÔÅÌÕÅ (8):
ÐÅËÌØÈ( Z) :- ÉÍÏÕÂÌÅÁØÈ( Z).
ãÞËÅÌÞ ÎÅÏÁÍÈ ÆÅÊÕ Á ßÎÕßÉÅ ÌÞ ÉÍÏÕÂÌÅÁØÈ( ó), ÂÐÍ ÄÞÅÐ
ÉÍÏÕÂÌÅÁØÈ( X), ÀÍÊÝÜÍÈ( X)
(5) îÏÍßËÍÐÏ ÎÏÍÖÏÞËËØ ÄÊÚ ÍÀÌÞÏÑÔÅÌÕÚ ÎÏÅÄÊÍÔÅÌÕÚ, ßÍÎÍßÐÞÁÕËÍÖÍ ÉÍÏÕÂÌÅÁØÈ( X). ìÞÈÄÅÌÍ ÎÏÅÄÊÍÔÅÌÕÅ ÉÍÏÕÂÌÅÁØÈ( ËÅÄÁÅÄÝ). ñ ÙÐÍÖÍ ÎÏÅÄÊÍÔÅÌÕÚ ÌÅÐ ÐÅÊÞ, ÎÍÙÐÍËÑ ßÎÕßÍÉ ÆÅÊÅÈ ÑËÅÌÝÜÞÅÐßÚ ÄÍ
ÀÍÊÝÜÍÈ( ËÅÄÁÅÄÝ)
(6) îÏÍßËÍÐÏ ÎÏÍÖÏÞËËØ Õ ÍÀÌÞÏÑÔÅÌÕÅ ÎÏÅÄÊÍÔÅÌÕÚ ÀÍÊÝÜÍÈ( ËÅÄÁÅÄÝ). ñ ÌÅÖÍ ÌÅÐ ÐÅÊÞ, ÎÍÙÐÍËÑ ßÎÕßÍÉ ÆÅÊÅÈ ßÐÞÌÍÁÕÐßÚ ÎÑßÐØË. ùÐÍ ÑÉÞÃØÁÞÅÐ ÌÞ ÑßÎÅÜÌÍÅ ÃÞÁÅÏÜÅÌÕÅ, Þ ßÍÍÐÁÅÐßÐÁÑ×ÛÞÚ ÉÍÌÉÏÅÐÕÃÞÆÕÚ ÎÅÏÅËÅÌÌØÓ ÐÞÉÍÁÞ:
line(); ïÕß. 2. 10. îÏÕËÅÏ, ÕÊÊ×ßÐÏÕÏÑ×ÛÕÈ ÎÏÍÆÅÄÑÏÌÑ× ßÅËÞÌÐÕÉÑ
îÏÍÊÍÖÞ: ÜÞÖÕ ÁØÂÕßÊÅÌÕÈ, ÁØÎÍÊÌÚÅËØÓ ÎÏÍÆÅÄÑÏÍÈ ÁØÂÕßÊÕÐÝ.
á ÖÊÞÁÅ 1 Á ÏÞÃÄ. "éÞÉ ÎÏÍÊÍÖ- ßÕßÐÅËÞ ÍÐÁÅÂÞÅÐ ÌÞ ÁÍÎÏÍßØ" ËØ ÑÔÅ ÒÞÉÐÕÂÅßÉÕ ÏÞßßËÍÐÏÅÊÕ, ÂÐÍ ÄÅÊÞÅÐ ÎÏÍÆÅÄÑÏÞ ÁØÂÕßÊÕÐÝ. á ÍßÐÞÁÜÅÈßÚ ÂÞßÐÕ ÄÞÌÌÍÖÍ ÏÞÃÄÅÊÞ ÎÏÕÁÍÄÕÐßÚ ÌÅßÉÍÊÝÉÍ ÀÍÊÅÅ ÒÍÏËÞÊÝÌÍÅ Õ ßÕßÐÅËÞÐÕÂÅßÉÍÅ ÍÎÕßÞÌÕÅ ÙÐÍÖÍ ÎÏÍÆÅßßÞ, ÉÍÐÍÏÍÅ ËÍÔÌÍ ÎÏÍÎÑßÐÕÐÝ ÀÅà ßÅÏÝÅÃÌÍÖÍ ÑÛÅÏÀÞ ÄÊÚ ÎÍÌÕËÞÌÕÚ ÍßÐÞÊÝÌÍÖÍ ËÞÐÅÏÕÞÊÞ ÉÌÕÖÕ.
éÍÌÉÏÅÐÌØÅ ÍÎÅÏÞÆÕÕ, ÁØÎÍÊÌÚÅËØÅ Á ÎÏÍÆÅßßÅ ÁØÂÕßÊÅÌÕÚ ÆÅÊÅÁØÓ ÑÐÁÅÏÔÄÅÌÕÈ, ÎÍÉÞÃÞÌØ ÌÞ ÏÕß. 2.10. áÍÃËÍÔÌÍ, ßÊÅÄÑÅÐ ÕÃÑÂÕÐÝ ÙÐÍÐ ÏÕßÑÌÍÉ ÎÏÅÔÄÅ, ÂÅË ÃÌÞÉÍËÕÐÝßÚ ß ÎÍßÊÅÄÑ×ÛÕË ÍÀÛÕË ÍÎÕßÞÌÕÅË.
âÐÍÀØ ÁØÂÕßÊÕÐÝ ßÎÕßÍÉ ÆÅÊÅÁØÓ ÑÐÁÅÏÔÄÅÌÕÈ
G1, G2, ..., Gm
ÎÏÍÆÅÄÑÏÞ ÁØÂÕßÊÕÐÝ ÄÅÊÞÅÐ ßÊÅÄÑ×ÛÅÅ:
line();
- åßÊÕ ßÎÕßÍÉ ÆÅÊÅÈ ÎÑßÐ - ÃÞÁÅÏÜÞÅÐ ÏÞÀÍÐÑ ÑßÎÅÜÌÍ.
- åßÊÕ ßÎÕßÍÉ ÆÅÊÅÈ ÌÅ ÎÑßÐ, ÎÏÍÄÍÊÔÞÅÐ ÏÞÀÍÐÑ, ÁØÎÍÊÌÚÚ (ÍÎÕßÞÌÌÑ× ÄÞÊÅÅ) ÍÎÅÏÞÆÕ× 'îïíÿëíðï'.
- îïíÿëíðï: îÏÍßËÞÐÏÕÁÞÅÐ ÎÏÅÄÊÍÔÅÌÕÚ ÎÏÍÖÏÞËËØ ÍÐ ÌÞÂÞÊÞ É ÉÍÌÆÑ ÄÍ ÍÀÌÞÏÑÔÅÌÕÚ ÎÅÏÁÍÖÍ ÎÏÅÄÊÍÔÅÌÕÚ ÿ, ÐÞÉÍÖÍ, ÂÐÍ ÖÍÊÍÁÞ ÿ ßÍÎÍßÐÞÁÕËÞ ß ÎÅÏÁÍÈ ÆÅÊÝ× G1. åßÊÕ ÐÞÉÍÖÍ ÎÏÅÄÊÍÔÅÌÕÚ ÍÀÌÞÏÑÔÕÐÝ ÌÅ ÑÄÞÅÐßÚ, ÐÍ ÏÞÀÍÐÞ ÃÞÉÞÌÂÕÁÞÅÐßÚ ÌÅÑßÎÅÓÍË.
åßÊÕ ÿ ÌÞÈÄÅÌÍ Õ ÕËÅÅÐ ÁÕÄ
ì :- B1, ..., án.
ÐÍ ÎÅÏÅËÅÌÌØÅ Á ÿ ÎÅÏÅÕËÅÌÍÁØÁÞ×ÐßÚ, ÂÐÍÀØ ÎÍÊÑÂÕÐÝ ÐÞÉÍÈ ÁÞÏÕÞÌÐ ÿ' ÎÏÅÄÊÍÔÅÌÕÚ ÿ, Á ÉÍÐÍÏÍË ÌÅÐ ÍÀÛÕÓ ÎÅÏÅËÅÌÌØÓ ßÍ ßÎÕßÉÍË G1, ..., Gm. îÑßÐÝ ÿ' - ÙÐÍ
ì' :- B1', ..., án'.
ÿÍÎÍßÐÞÁÊÚÅÐßÚ G1 ß H'; ÎÑßÐÝ S - ÏÅÃÑÊÝÐÕÏÑ×ÛÞÚ ÉÍÌÉÏÅÐÕÃÞÆÕÚ ÎÅÏÅËÅÌÌØÓ. á ßÎÕßÉÅ ÆÅÊÅÈ G1, G2, .... Gm, ÆÅÊÝ G1 ÃÞËÅÌÚÅÐßÚ ÌÞ ßÎÕßÍÉ á1', .., án', ÂÐÍ ÎÍÏÍÔÄÞÅÐ ÌÍÁØÈ ßÎÕßÍÉ ÆÅÊÅÈ:
á1', ..., án', G2, ..., Gm
(ãÞËÅÐÕË, ÂÐÍ, ÅßÊÕ ÿ - ÒÞÉÐ, ÐÍÖÄÞ n=0, Õ Á ÙÐÍË ßÊÑÂÞÅ ÌÍÁØÈ ßÎÕßÍÉ ÆÅÊÅÈ ÍÉÞÃØÁÞÅÐßÚ ÉÍÏÍÂÅ, ÌÅÔÅÊÕ ÕßÓÍÄÌØÈ; ÐÞÉÍÅ ÑËÅÌÝÜÅÌÕÅ ßÎÕßÉÞ ÆÅÊÅÈ ËÍÔÅÐ Á ÍÎÏÅÄÅÊÅÌÌØÓ ßÊÑÂÞÚÓ ÎÏÅÁÏÞÐÕÐÝ ÅÖÍ Á ÎÑßÐÍÈ, Þ ßÊÅÄÍÁÞÐÅÊÝÌÍ, - ÎÏÕÁÅßÐÕ É ÑßÎÅÜÌÍËÑ ÃÞÁÅÏÜÅÌÕ×.)
îÅÏÅËÅÌÌØÅ Á ÌÍÁÍË ßÎÕßÉÅ ÆÅÊÅÈ ÃÞËÅÌÚ×ÐßÚ ÌÍÁØËÕ ÃÌÞÂÅÌÕÚËÕ, ÉÞÉ ÙÐÍ ÎÏÅÄÎÕßØÁÞÅÐ ÉÍÌÉÏÅÐÕÃÞÆÕÚ S, ÂÐÍ ÎÍÏÍÔÄÞÅÐ ÅÛÅ ÍÄÕÌ ßÎÕßÍÉ ÆÅÊÅÈ
á1'', .... án", G2', ..., Gm'
- áØÂÕßÊÚÅÐ (ÕßÎÍÊÝÃÑÚ ÏÅÉÑÏßÕÁÌÍ ÐÑ ÔÅ ßÞËÑ× ÎÏÍÆÅÄÑÏÑ) ÙÐÍÐ ÌÍÁØÈ ßÎÕßÍÉ ÆÅÊÅÈ. åßÊÕ ÅÖÍ ÁØÂÕßÊÅÌÕÅ ÃÞÁÅÏÜÞÅÐßÚ ÑßÎÅÜÌÍ, ÐÍ Õ ÁØÂÕßÊÅÌÕÅ ÕßÓÍÄÌÍÖÍ ßÎÕßÉÞ ÆÅÊÅÈ ÐÍÔÅ ÃÞÁÅÏÜÞÅÐßÚ ÑßÎÅÜÌÍ. åßÊÕ ÔÅ ÅÖÍ ÁØÂÕßÊÅÌÕÅ ÎÍÏÍÔÄÞÅÐ ÌÅÑßÎÅÓ, ÐÍÖÄÞ ÌÍÁØÈ ßÎÕßÍÉ ÆÅÊÅÈ ÍÐÀÏÞßØÁÞÅÐßÚ Õ ÎÏÍÕßÓÍÄÕÐ ÁÍÃÁÏÞÐ É ÎÏÍßËÍÐÏÑ ÎÏÍÖÏÞËËØ. ùÐÍÐ ÎÏÍßËÍÐÏ ÎÏÍÄÍÊÔÞÅÐßÚ, ÌÞÂÕÌÞÚ ß ÎÏÅÄÊÍÔÅÌÕÚ, ÌÅÎÍßÏÅÄßÐÁÅÌÌÍ ßÊÅÄÑ×ÛÅÖÍ ÃÞ ÎÏÅÄÊÍÔÅÌÕÅË ÿ (ÿ - ÎÏÅÄÊÍÔÅÌÕÅ, ÕßÎÍÊÝÃÍÁÞÁÜÅÅßÚ ÎÍßÊÅÄÌÕË) Õ ÄÅÊÞÅÐßÚ ÎÍÎØÐÉÞ ÄÍßÐÕÂÝ ÑßÎÅÜÌÍÖÍ ÃÞÁÅÏÜÅÌÕÚ ß ÎÍËÍÛÝ× ÄÏÑÖÍÖÍ ÎÏÅÄÊÍÔÅÌÕÚ.
ãÄÅßÝ ßÊÅÄÑÅÐ ßÄÅÊÞÐÝ ÌÅßÉÍÊÝÉÍ ÄÍÎÍÊÌÕÐÅÊÝÌØÓ ÃÞËÅÂÞÌÕÈ, ÉÞßÞ×ÛÕÓßÚ ÎÏÍÆÅÄÑÏØ ÁØÂÕßÊÕÐÝ Á ÐÍË ÁÕÄÅ, Á ÉÍÐÍÏÍË ÍÌÞ ÎÏÕÁÍÄÕÐßÚ. áÍ-ÎÅÏÁØÓ, Á ÌÅÈ ÚÁÌÍ ÌÅ ÑÉÞÃÞÌÍ, ÉÞÉ ÎÍÏÍÔÄÞÅÐßÚ ÍÉÍÌÂÞÐÅÊÝÌÞÚ ÏÅÃÑÊÝÐÕÏÑ×ÛÞÚ ÉÍÌÉÏÅÐÕÃÞÆÕÚ ÎÅÏÅËÅÌÌØÓ. ïÅÂÝ ÕÄÅÐ Í ÉÍÌÉÏÅÐÕÃÞÆÕÕ S, ÉÍÐÍÏÞÚ ÎÏÕÁÍÄÕÐ É ÑßÎÅÜÌÍËÑ ÃÞÁÅÏÜÅÌÕ× Õ ÉÍÐÍÏÞÚ, ÁÍÃËÍÔÌÍ, ÑÐÍÂÌÚÊÞßÝ ÎÍßÊÅÄÑ×ÛÕËÕ ÉÍÌÉÏÅÐÕÃÞÆÕÚËÕ ÁÍ ÁÏÅËÚ ÁÊÍÔÅÌÌØÓ ÏÅÉÑÏßÕÁÌØÓ ÁØÃÍÁÍÁ ÁØÂÕßÊÕÐÝ.
line(); procedure ÁØÂÕßÊÕÐÝ (îÏÍÖÏ, ÿÎÕßÍÉæÅÊÅÈ, ñßÎÅÓ)
áÓÍÄÌØÅ ÎÞÏÞËÅÐÏØ:
îÏÍÖÏ: ßÎÕßÍÉ ÎÏÅÄÊÍÔÅÌÕÈ
ÿÎÕßÍÉæÅÊÅÈ: ßÎÕßÍÉ ÆÅÊÅÈ
áØÓÍÄÌÍÈ ÎÞÏÞËÅÐÏ:
ñßÎÅÓ: ÕßÐÕÌÌÍßÐÌÍÅ ÃÌÞÂÅÌÕÅ; ñßÎÅÓ ÎÏÕÌÕËÞÅÐ ÃÌÞÂÅÌÕÅ
ÕßÐÕÌÞ, ÅßÊÕ ßÎÕßÍÉ ÆÅÊÅÁØÓ ÑÐÁÅÏÔÄÅÌÕÈ
(ÕÓ ÉÍÌÇ×ÌÉÆÕÚ) ÕßÐÕÌÌÅÌ ß ÐÍÂÉÕ ÃÏÅÌÕÚ îÏÍÖÏ
êÍÉÞÊÝÌØÅ ÎÅÏÅËÅÌÌØÅ:
æÅÊÝ: ÆÅÊÝ
äÏÑÖÕÅæÅÊÕ: ßÎÕßÍÉ ÆÅÊÅÈ
äÍßÐÕÖÌÑÐØ: ÕßÐÕÌÌÍßÐÌÍÅ ÃÌÞÂÅÌÕÅ
ÿÍÎÍßÐÞÁÕÊÕßÝ: ÕßÐÕÌÌÍßÐÌÍÅ ÃÌÞÂÅÌÕÅ
éÍÌÉÏÅÐ: ÉÍÌÉÏÅÐÕÃÞÆÕÚ ÎÅÏÅËÅÌÌØÓ
ì, ì', B1, B1', ..., án , án': ÆÅÊÕ
áßÎÍËÍÖÞÐÅÊÝÌØÅ ÒÑÌÉÆÕÕ:
ÎycÐÍÈ( L): ÁÍÃÁÏÞÛÞÅÐ ÕßÐÕÌÑ, ÅßÊÕ L - ÎÑßÐÍÈ ßÎÕßÍÉ
ÖÍÊoÁa( L): ÁÍÃÁÏÞÛÞÅÐ ÎÅÏÁØÈ ÙÊÅËÅÌÐ ßÎÕßÉÞ L
ÓÁÍßÐ( L): ÁÍÃÁÏÞÛÞÅÐ ÍßÐÞÊÝÌÑ× ÂÞßÐÝ ßÎÕßÉÞ L
ÉÍÌÉÞÐ( L1, L2): ßÍÃÄÞÅÐ ÉÍÌÉÞÐÅÌÞÆÕ× ßÎÕßÉÍÁ - ÎÏÕßÍÅÄÕÌÚÅÐ
ßÎÕßÍÉ L2 É ÉÍÌÆÑ ßÎÕßÉÞ L1
ßÍÎÍßÐÞÁÊÅÌÕÅ( T1, T2, ÿÍÎÍßÐÞÁÕÊÕßÝ, éÍÌÉÏÅÐ): ÎØÐÞÅÐßÚ
ßÍÎÍßÐÞÁÕÐÝ ÐÅÏËØ ð1 Õ T2; ÅßÊÕ ÍÌÕ ßÍÎÍßÐÞÁÕËØ, ÐÍ
ÿÍÎÍßÐÞÁÕÊÕßÝ - ÕßÐÕÌÞ, Þ éÍÌÉÏÅÐ ÎÏÅÄßÐÞÁÊÚÅÐ
ßÍÀÍÈ ÉÍÌÉÏÅÐÕÃÞÆÕ× ÎÅÏÅËÅÌÌØÓ
ÎÍÄßÐÞÁÕÐÝ( éÍÌÉÏÅÐ, æÅÊÕ): ÎÏÍÕÃÁÍÄÕÐ ÎÍÄßÐÞÌÍÁÉÑ ÎÅÏÅËÅÌÌØÓ
Á æÅÊÕ ßÍÖÊÞßÌÍ éÍÌÉÏÅÐ
begin
if ÎÑßÐÍÈ( ÿÎÕßÍÉæÅÊÅÈ) then ñßÎÅÓ : = ÕßÐÕÌÞ
else
begin
æÅÊÝ : = ÖÍÊÍÁÞ( ÿÎÕßÍÉæÅÊÅÈ);
äÏÑÖÕÅæÅÊÕ : = ÓÁÍßÐ( ÿÎÕßÍÉæÅÊÅÈ);
äÍßÐÕÖÌÑÐÞ : = ÊÍÔÝ;
while not äÍßÐÕÖÌÑÐÞ and
" Á ÎÏÍÖÏÞËËÅ ÅßÐÝ ÅÛÅ ÎÏÅÄÊÍÔÅÌÕÚ" do
begin
îÑßÐÝ ßÊÅÄÑ×ÛÅÅ ÎÏÅÄÊÍÔÅÌÕÅ Á îÏÍÖÏ ÅßÐÝ
ì :- B1, .... án.
ÿÍÃÄÞÐÝ ÁÞÏÕÞÌÐ ÙÐÍÖÍ ÎÏÅÄÊÍÔÅÌÕÚ
ì' :- á1', .... án'.
ßÍÎÍßÐÞÁÊÅÌÕÅ( æÅÊÝ, ì',
ÿÍÎÍßÐÞÁÕÊÕßÝ, éÍÌÉÏÅÐ)
if ÿÍÎÍßÐÞÁÕÊÕßÝ then
begin
ìÍÁØÅæÅÊÕ : =
ÉÍÌÉÞÐ( [á1', ..., án' ], äÏÑÖÕÅ æÅÊÕ);
ìÍÁØÅæÅÊÕ : =
ÎÍÄßÐÞÁÕÐÝ( éÍÌÉÏÅÐ, ìÍÁØÅæÅÊÕ);
ÁØÂÕßÊÕÐÝ( îÏÍÖÏ, ìÍÁØÅæÅÊÕ, äÍßÐÕÖÌÑÐØ)
end
end;
ñßÎÅÓ : = äÍßÐÕÖÌÑÐØ
end
end;
line(); ïÕß. 2. 11. áØÂÕßÊÅÌÕÅ ÆÅÊÅÁØÓ ÑÐÁÅÏÔÄÅÌÕÈ îÏÍÊÍÖÞ.
áßÚÉÕÈ ÏÞÃ, ÉÞÉ ÏÅÉÑÏßÕÁÌØÈ ÁØÃÍÁ ÎÏÍÆÅÄÑÏØ ÁØÂÕßÊÕÐÝ ÎÏÕÁÍÄÚÐ É ÌÅÑßÎÅÓÑ, ÎÏÍÆÅßß ÁØÂÕßÊÅÌÕÈ ÁÍÃÁÏÞÛÞÅÐßÚ É îïíÿëíðïñ Õ ÎÏÍÄÍÊÔÞÅÐßÚ ß ÐÍÖÍ ÎÏÅÄÊÍÔÅÌÕÚ ÿ, ÉÍÐÍÏÍÅ ÕßÎÍÊÝÃÍÁÞÊÍßÝ ÎÍßÊÅÄÌÕË. îÍßÉÍÊÝÉÑ ÎÏÕËÅÌÅÌÕÅ ÎÏÅÄÊÍÔÅÌÕÚ ÿ ÌÅ ÎÏÕÁÅÊÍ É ÑßÎÅÜÌÍËÑ ÃÞÁÅÏÜÅÌÕ×, ÎÏÍÊÍÖ-ßÕßÐÅËÞ ÄÍÊÔÌÞ ÄÊÚ ÎÏÍÄÍÊÔÅÌÕÚ ÁØÂÕßÊÅÌÕÈ ÎÍÎÏÍÀÍÁÞÐÝ ÞÊÝÐÅÏÌÞÐÕÁÌÍÅ ÎÏÅÄÊÍÔÅÌÕÅ.
á ÄÅÈßÐÁÕÐÅÊÝÌÍßÐÕ ßÕßÐÅËÞ ÞÌÌÑÊÕÏÑÅÐ ÏÅÃÑÊÝÐÞÐØ ÂÞßÐÕ ÁØÂÕßÊÅÌÕÈ, ÎÏÕÁÅÄÜÕÓ É ÌÅÑßÎÅÓÑ, Õ ÍßÑÛÅßÐÁÊÚÅÐ ÁÍÃÁÏÞÐ Á ÐÑ ÐÍÂÉÑ (ÎÏÅÄÊÍÔÅÌÕÅ ÿ), Á ÉÍÐÍÏÍÈ ÙÐÞ ÌÅÑßÎÅÜÌÞÚ ÁÅÐÁÝ ÌÞÂÕÌÞÊÞßÝ. éÍÖÄÞ ÎÏÍÆÅÄÑÏÞ ÍßÑÛÅßÐÁÊÚÅÐ ÁÍÃÁÏÞÐ Á ÌÅÉÍÐÍÏÑ× ÐÍÂÉÑ, ÁßÅ ÉÍÌÉÏÅÐÕÃÞÆÕÕ ÎÅÏÅËÅÌÌØÓ, ßÄÅÊÞÌÌØÅ ÎÍßÊÅ ÙÐÍÈ ÐÍÂÉÕ, ÞÌÌÑÊÕÏÑ×ÐßÚ. ðÞÉÍÈ ÎÍÏÚÄÍÉ ÍÀÅßÎÅÂÕÁÞÅÐ ßÕßÐÅËÞÐÕÂÅßÉÑ× ÎÏÍÁÅÏÉÑ ÎÏÍÊÍÖ-ßÕßÐÅËÍÈ ÁßÅÓ ÁÍÃËÍÔÌØÓ ÞÊÝÐÅÏÌÞÐÕÁÌØÓ ÎÑÐÅÈ ÁØÂÕßÊÅÌÕÚ ÄÍ ÐÅÓ ÎÍÏ, ÎÍÉÞ ÌÅ ÀÑÄÅÐ ÌÞÈÄÅÌ ÎÑÐÝ, ÁÅÄÑÛÕÈ É ÑßÎÅÓÑ, ÕÊÕ ÔÅ ÄÍ ÐÅÓ ÎÍÏ, ÎÍÉÞ ÌÅ ÍÉÞÔÅÐßÚ, ÂÐÍ ÁßÅ ÎÑÐÕ ÎÏÕÁÍÄÚÐ É ÌÅÑßÎÅÓÑ.
ëØ ÑÔÅ ÃÌÞÅË, ÂÐÍ ÄÞÔÅ ÎÍßÊÅ ÑßÎÅÜÌÍÖÍ ÃÞÁÅÏÜÅÌÕÚ ÎÍÊÝÃÍÁÞÐÅÊÝ ËÍÔÅÐ ÃÞßÐÞÁÕÐÝ ßÕßÐÅËÑ ßÍÁÅÏÜÕÐÝ ÁÍÃÁÏÞÐ ÄÊÚ ÎÍÕßÉÞ ÌÍÁØÓ ÏÅÜÅÌÕÈ. á ÌÞÜÅË ÍÎÕßÞÌÕÕ ÎÏÍÆÅÄÑÏØ ÁØÂÕßÊÕÐÝ ÙÐÞ ÄÅÐÞÊÝ ÀØÊÞ ÍÎÑÛÅÌÞ.
éÍÌÅÂÌÍ, Á ÌÞßÐÍÚÛÕÓ ÏÅÞÊÕÃÞÆÕÚÓ îÏÍÊÍÖÞ Á ÎÏÍÆÅÄÑÏÑ ÁØÂÕßÊÕÐÝ ÄÍÀÞÁÊÅÌØ Õ ÅÛÅ ÌÅÉÍÐÍÏØÅ ÑßÍÁÅÏÜÅÌßÐÁÍÁÞÌÕÚ. íÄÌÍ Õà ÌÕÓ - ßÍÉÏÞÛÅÌÕÅ ÏÞÀÍÐØ ÎÍ ÎÏÍßËÍÐÏÞË ÎÏÍÖÏÞËËØ ß ÆÅÊÝ× ÎÍÁØÜÅÌÕÚ ÙÒÒÅÉÐÕÁÌÍßÐÕ. îÍÙÐÍËÑ ÌÞ ÎÏÞÉÐÕÉÅ ÎÏÍÊÍÖ-ßÕßÐÅËÞ ÌÅ ÎÏÍßËÞÐÏÕÁÞÅÐ ÁßÅ ÎÏÅÄÊÍÔÅÌÕÚ ÎÏÍÖÏÞËËØ, Þ ÁËÅßÐÍ ÙÐÍÖÍ ÏÞßßËÞÐÏÕÁÞÅÐ ÐÍÊÝÉÍ ÐÅ Õà ÌÕÓ, ÉÍÐÍÏØÅ ÉÞßÞ×ÐßÚ ÐÅÉÑÛÅÖÍ ÆÅÊÅÁÍÖÍ ÑÐÁÅÏÔÄÅÌÕÚ.
