CONTEX (Материалы к контрольным работам)

ƒ« ¢  6. Š®­â¥ªáâ­ë¥ ãá«®¢¨ï ï§ëª®¢ ¯à®£à ¬¬¨à®¢ ­¨ï

6.1. Ž¯¨á ­¨¥ ®¡« á⥩ ¢¨¤¨¬®á⨠¨ ¡«®ç­®© áâàãªâãàë

‡ ¤ ç¥© ª®­â¥ªáâ­®£®  ­ «¨§  ï¥âáï ãáâ ­®¢«¥­¨¥ ¯à ¢¨«ì­®á⨠¨á¯®«ì§®¢ ­¨ï ®¡ê¥ªâ®¢. � ¨¡®«¥¥ ç áâ® à¥è ¥¬®© § ¤ ç¥© ï¥âáï ®¯à¥¤¥«¥­¨¥ áãé¥á⢮¢ ­¨ï ®¡ê¥ªâ  ¨ ᮮ⢥âáâ¢¨ï ¥£® ¨á¯®«ì§®¢ ­¨ï ª®­â¥ªáâã, çâ® ®áãé¥á⢫ï¥âáï á ¯®¬®éìî  ­ «¨§  ⨯  ®¡ê¥ªâ .

’ ª¨¬ ®¡à §®¬ ­¥®¡å®¤¨¬® åà ­¨âì ®¡ê¥ªâë, ¨å ⨯ë, 㬥âì ­ å®¤¨âì í⨠®¡ê¥ªâë ¨ ®¯à¥¤¥«ïâì ¨å ⨯ë, ®¯à¥¤¥«ïâì å à ªâ¥à¨á⨪¨ ª®­â¥ªáâ . ‘®¢®ªã¯­®áâì ¤®áâ㯭ëå ¢ ¤ ­®© â®çª¥ ®¡ê¥ªâ®¢ ¡ã¤¥¬ ­ §ë¢ âì "á।®©". Ž¡ëç­® á।  ¯à®£à ¬¬ë á®á⮨⠨§ ç áâ¨ç­® 㯮à冷祭­®£® ­ ¡®à  ª®¬¯®­¥­â

E={DS1,...DSn}.

Š ¦¤ ï ª®¬¯®­¥­â  - íâ® ¬­®¦¥á⢮ ®¡ê¥­¨©, ¯à¥¤áâ ¢«ïîé¨å ᮡ®© ¯ àë <¨¬ï,⨯>:

DSi={<¨¬ï,⨯>},

£¤¥ ¯®¤ ⨯®¬ ¡ã¤¥¬ ¯®¤à §ã¬¥¢ âì ¯®«­®¥ ®¯¨á ­¨¥ ᢮©á⢠®¡ê¥ªâ  (®¡ê¥ªâ®¬, ¢ ç áâ­®áâ¨, ¬®¦¥â ¡ëâì á ¬® ®¯¨á ­¨¥ ⨯ ).

Œ¥¦¤ã ª®¬¯®­¥­â ¬¨ DS_i ¨ DS_j ¨¬¥¥â ¬¥áâ® ®â­®è¥­¨¥ "DS_i ¢ª«îç ¥â DS_j" ⮣¤  ¨ ⮫쪮 ⮣¤ , ª®£¤  «î¡®© ®¡ê¥ªâ ¨§ DS_i ¬®¦¥â ¡ëâì ¤®áâ㯥­ ¨§ DS_j (ª®­ªà¥â­ë© ᯮᮡ ¤®áâ㯠 ®¯à¥¤¥«ï¥âáï ¯à ¢¨« ¬¨ ¢¨¤¨¬®á⨠ï§ëª ), ­® ­¥ ­ ®¡®à®â. Š®¬¯®­¥­âë ®¡à §ãîâ ¤¥à¥¢®. �â® ¤¥à¥¢® ᮮ⢥âáâ¢ã¥â ¡«®ª ¬ ¨«¨ ¯à®æ¥¤ãà ¬ (à¨á. 6.1

ÚÄÄÄÄÄÄÄÄÄÄÄÄÄ¿

³ Š®à­¥¢ ï ³

³ ª®¬¯®­¥­â  ³

³ (¯à®£à ¬¬ ) ³

ÀÄÄÄÂÄÄÂÄÄÂÄÄÄÙ

ÚÄÄÄÄÄÄÄÄÄÙ ³ ÀÄÄÄÄÄÄÄÄ¿

³ ³ ³

ÚÄÄÄÄÄÁÄÄÄÄÄ¿ÚÄÄÄÄÄÁÄÄÄÄÄ¿ÚÄÄÄÄÁÄÄÄÄÄÄ¿

³ ¯à®æ¥¤ãà  ³³ ¯à®æ¥¤ãà  ³³ ¯à®æ¥¤ãà  ³

³ (¡«®ª) ³³ (¡«®ª) ³³ (¡«®ª) ³

ÀÄÄÄÄÂÄÄÄÄÄÄÙÀÄÄÄÄÄÄÂÄÄÄÄÙÀÄÄÄÄÄÂÄÄÄÄÄÙ

/³\ /³\ /³\

�¨á. 6.1

Ž¡ëç­ë¬¨ ®¯¥à æ¨ï¬¨ ¯à¨ à ¡®â¥ á® á।®© ïîâáï:

- ¢ª«îç¨âì ®¡ê¥ªâ ¢ ª®¬¯®­¥­âã á।ë;

- ­ ©â¨ ®¡ê¥ªâ ¢ á।¥ ¨ ¯®«ãç¨âì ¤®áâ㯠ª ¥£® ®¯¨á ­¨î;

- ®¡à §®¢ âì ¢ á।¥ ­®¢ãî ª®¬¯®­¥­âã, ®¯à¥¤¥«¥­­ë¬ ®¡à §®¬ á¢ï§ ­­ãî á ®áâ «ì­ë¬¨;

- 㤠«¨âì ª®¬¯®­¥­âã ¨§ á।ë.

Š®¬¯®­¥­âë áà¥¤ë ¬®£ãâ ¡ëâì ¨¬¥­®¢ ­ë. �®¨áª ¢ á।¥ ®¡ëç­® ¢¥¤¥âáï á ãç¥â®¬ 㯮à冷祭­®á⨠ª®¬¯®­¥­â. ‘।  ¬®¦¥â ¢ª«îç âì ¢ á¥¡ï ª ª ª®¬¯®­¥­âë, ¯®«ã祭­ë¥ ¯à¨ âà ­á«ï樨 "⥪ã饣®" ⥪áâ  ¯à®£à ¬¬ë, â ª ¨ "¢­¥è­¨¥" ª®¬¯®­¥­âë.

„«ï ®¡®§­ ç¥­¨ï ãç á⪮¢ ¯à®£à ¬¬ë, ¢ ª®â®àëå ¤®áâ㯭ë ⥠¨«¨ ¨­ë¥ ®¯¨á ­¨ï, ¨á¯®«ì§ãîâáï ¯®­ïâ¨ï "®¡« áâì ¤¥©á⢨ï" ¨ "®¡« áâì ¢¨¤¨¬®áâ¨". Ž¡« áâìî ¤¥©áâ¢¨ï ®¯¨á ­¨ï ï¥âáï ¯à®æ¥¤ãà  (¡«®ª), ᮤ¥à¦ é ï ®¯¨á ­¨¥, á® ¢á¥¬¨ ¢å®¤ï騬¨ ¢ ­¥¥ (¯®¤ç¨­¥­­ë¬¨ ¯® ¤¥à¥¢ã) ¯à®æ¥¤ãà ¬¨ (¡«®ª ¬¨). Ž¡« áâìî ¢¨¤¨¬®á⨠®¯¨á ­¨ï ­ §ë¢ ¥âáï ç áâì ®¡« á⨠¤¥©á⢨ï, ¨§ ª®â®à®© ¨áª«î祭ë ⥠¯®¤®¡« áâ¨, ¢ ª®â®àëå ¯® ⥬ ¨«¨ ¨­ë¬ ¯à¨ç¨­ ¬ ®¯¨á ­¨¥ ­¥¤®áâ㯭®.

‚ à §­ëå ï§ëª å ¯®­ïâ¨ï ®¡« á⨠¤¥©áâ¢¨ï ¨ ®¡« á⨠¢¨¤¨¬®á⨠ãâ®ç­ïîâáï ¯®-à §­®¬ã. ‚ ¤ «ì­¥©è¥¬ ¨§«®¦¥­¨¥ ¢¥¤¥âáï ­  ¯à¨¬¥à¥ ï§ëª  Œ®¤ã«  -2.

6.2. ‘âàãªâãà  áà¥¤ë Œ®¤ã«ë-2

ˆ¬¥îâáï ç¥âëॠத  ï§ëª®¢ëå ª®­áâàãªæ¨©, ª®â®àë¥ ¬®£ãâ ᮤ¥à¦ âì ®¯¨á ­¨ï: 1) ¯à®£à ¬¬­ë© ¬®¤ã«ì ¨«¨ ¬®¤ã«ì ॠ«¨§ æ¨¨; 2) ¬®¤ã«ì ®¯à¥¤¥«¥­¨ï; 3) ¯à®æ¥¤ãà ; 4) «®ª «ì­ë© ¬®¤ã«ì.

"Š®à­¥¢ãî" ª®¬¯®­¥­âã áà¥¤ë ¢ Œ®¤ã«¥-2 ®¡à §ã¥â ¯à®£à ¬¬­ë© ¬®¤ã«ì ¨«¨ ¬®¤ã«ì ॠ«¨§ æ¨¨. Ž¡ê¥ªâë í⮩ ª®¬¯®­¥­âë ¬®£ãâ ¡ëâì ®¯¨á ­ë ¢ á ¬®¬ ¬®¤ã«¥ ¨«¨ ¬®£ãâ ¡ëâì ¨¬¯®àâ¨à®¢ ­ë ¨§ ¤àã£¨å ¬®¤ã«¥© ®¯à¥¤¥«¥­¨©. ’ ª®© ¨¬¯®àâ ¬®¦¥â ¡ëâì ª¢ «¨ä¨æ¨à®¢ ­­ë¬ (from M import X,Y, ...;) ¨«¨ ­¥ ª¢ «¨ä¨æ¨à®¢ ­­ë¬ (import M;).

�ªá¯®àâ¨àãî騩 Š®¬¯®­¥­â  ˆ¬¯®àâ¨àãî騩

«®ª «ì­ë© ¬®¤ã«ì áà¥¤ë «®ª «ì­ë© ¬®¤ã«ì

ÚÄÄÄÄÄÄÄÄÄÄÄÄ¿ ÚÄÄÄÄÄÄÄÄÄÄÄÄ¿ ÚÄÄÄÄÄÄÄÄÄÄÄÄ¿

³ MODULE M1; ³ ³ ÚÄÄÄÄ¿ ³ ³ MODULE X1; ³

³ EXPORT A1;ÄÅÄÄÄÄÄÄÄÄÅÄÄ>³ A1 ÃÄÄÄÅÄÄ¿ ³ IMPORT A1; ³

³ ......... ³ ³ ÀÄÄÄÄÙ ³ ³ ³ ³

ÀÄÄÄÄÄÄÄÄÄÄÄÄÙ ³ ³ ÀÄÄÅÄÄÄÄÄÄ> A1 ³

³ ³ ÀÄÄÄÄÄÄÄÄÄÄÄÄÙ

ÚÄÄÄÄÄÄÄÄÄÄÄÄÄÄ¿ ³ ³

³ MODULE M2; ³ ³ ³ ÚÄÄÄÄÄÄÄÄÄÄÄÄ¿

³ EXPORT ³ ³ ÚÄÄÄÄ¿ ³ ³ MODULE X2; ³

³ QUALIFIED A2ÄÅÄÄÄÄÄÄÅÄÄ>³ M2 ³ ³ ³ FROM M2 ³

³ ............ ³ ³ ÀÄÂÄÄÙ ³ ³ IMPORT A2; ³

ÀÄÄÄÄÄÄÄÄÄÄÄÄÄÄÙ ³ v ³ ÚÄÄÄÅÄÄÄÄ>A2 ³

³ ÚÄÄÄÄ¿ ³ ³ ÀÄÄÄÄÄÄÄÄÄÄÄÄÙ

³ ³ A2 ÃÄÄÄÅÄÙ

³ ÀÄÄÄÄÙ ³

ÚÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ¿ ³ ³

³ MODULE M3; ³ ³ ÚÄÄÄÄÄ¿ ³

³ EXPORT M31;ÄÄÄÄÄÅÄÄÄÅÄÄ>³ M31 ³ ³ ÚÄÄÄÄÄÄÄÄÄÄÄÄÄ¿

³ ÚÄÄÄÄÄÄÄÄÄÄÄÄÄ¿³ ³ ÀÄÄÄÄÄÙ ³ ³ MODULE X3; ³

³ ³ MODULE M31; ³³ ³ ÚÄÄÄÄÄ¿ ³ ³ IMPORT A31; ³

³ ³ EXPORT A31;ÄÅÅÄÄÄÅÄÄ>³ A31 ÃÄÄÅÄÄÂÄÄÅÄÄ> A31 ³

³ ³ .......... ³³ ³ ÀÄÄÄÄÄÙ ³ ³ ÀÄÄÄÄÄÄÄÄÄÄÄÄÄÙ

³ ÀÄÄÄÄÄÄÄÄÄÄÄÄÄÙ³ ³ ³ ³

³ ................³ ³ ³ ³ ÚÄÄÄÄÄÄÄÄÄÄÄÄÄ¿

ÀÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÙ ³ ³ ³ ³ MODULE X ³

³ ³ ³ ³ IMPORT M31; ³

³ ³ ÀÄÄÅÄÄÄ> A31 ³

v v ÀÄÄÄÄÄÄÄÄÄÄÄÄÄÙ

ÚÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ¿ v v

³ MODULE M4; ³ ³ ÚÄÄÄÄÄ¿ ³

³ EXPORT M41;ÄÄÄÄÄÄÄÅÄÅÄÄ>³ M41 ³ ³ ÚÄÄÄÄÄÄÄÄÄÄÄÄÄ¿

³ ÚÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ¿³ ³ ÀÄÄÂÄÄÙ ³ ³ MODULE X4; ³

³ ³ MODULE M41; ³³ ³ v ³ ³ FROM M41 ³

³ ³ EXPORT ³³ ³ ÚÄÄÄÄÄ¿ ³ ³ IMPORT A41; ³

³ ³ QUALIFIED A41;ÃÅÄÅÄÄ>³ A41 ÃÄÄÅÄÄÂÄÄÅÄÄÄÄ> A41 ³

³ ³ .......... ³³ ³ ÀÄÄÄÄÄÙ ³ ³ ÀÄÄÄÄÄÄÄÄÄÄÄÄÄÙ

³ ÀÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÙ³ ³ ³ ³ ÚÄÄÄÄÄÄÄÄÄÄÄÄÄÄ¿

³ ..................³ ³ ³ ³ ³ MODULE X ³

ÀÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÙ ³ ³ ³ ³ IMPORT M41; ³

³ ³ ÀÄÄÅÄÄ>A41 ³

³ ³ ÀÄÄÄÄÄÄÄÄÄÄÄÄÄÄÙ

ÚÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ¿ ³ ÚÄÄÄÄ¿ ³

³ MODULE M5; ³ ³ ³ M5 ³ ³ ÚÄÄÄÄÄÄÄÄÄÄÄÄÄ¿

³ EXPORT ³ ³ ÀÄÄÂÄÙ ³ ³ MODULE X5; ³

³ QUALIFIED M51;ÄÄÅÄÄÄÅÄ¿ v ³ ³ FROM M5 ³

³ ÚÄÄÄÄÄÄÄÄÄÄÄÄÄ¿³ ³ ³ ÚÄÄÄÄÄ¿ ³ ³ IMPORT M51; ³

³ ³ MODULE M51; ³³ ³ ÀÄ>³ M51 ÃÄÅÄÄÄÄÄÄÅÄ> M51.A51 ³

³ ³ EXPORT A51;ÄÅÅÄÄÄÅÄ¿ ÀÄÄÂÄÄÙ ³ ÀÄÄÄÄÄÄÄÄÄÄÄÄÄÙ

³ ³ .......... ³³ ³ ³ v ³

³ ÀÄÄÄÄÄÄÄÄÄÄÄÄÄÙ³ ³ ³ ÚÄÄÄÄÄ¿ ³

³ ................³ ³ ÀÄ>³ A51 ³ ³

ÀÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÙ ³ ÀÄÄÄÄÄÙ ³

ÚÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ¿ ³ ÚÄÄÄÄ¿ ³

³ MODULE M6; ³ ³ ³ M6 ³ ³ ÚÄÄÄÄÄÄÄÄÄÄÄÄÄ¿

³ EXPORT ³ ³ ÀÄÄÂÄÙ ³ ³ MODULE X6; ³

³ QULIFIED M61;ÄÄÄÄÄÅÄÅÄ¿ v ³ ³ FROM M6 ³

³ ÚÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ¿³ ³ ³ ÚÄÄÄÄÄ¿ ³ ³ IMPORT M61; ³

³ ³ MODULE M61; ³³ ³ ÀÄ>³ M61 ÃÄÅÄÄÄÄÄÄÅÄÄ> M61.A61 ³

³ ³ EXPORT ³³ ³ ÀÄÄÂÄÄÙ ³ ÀÄÄÄÄÄÄÄÄÄÄÄÄÄÙ

³ ³ QUALIFIED A61;ÃÅÄÅÄ¿ v ³

³ ³ ............ ³³ ³ ³ ÚÄÄÄÄÄ¿ ³

³ ÀÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÙ³ ³ ÀÄ>³ A61 ³ ³

³ ..................³ ³ ÀÄÄÄÄÄÙ ³

ÀÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÙ ÀÄÄÄÄÄÄÄÄÄÄÄÄÙ

�¨á. 6.2

‚ ¯¥à¢®¬ á«ãç ¥ ¨¬¯®àâ¨à®¢ ­­ë¥ ®¡ê¥ªâë áâ ­®¢ïâáï í«¥¬¥­â ¬¨ áà¥¤ë ¤ ­­®£® ¬®¤ã«ï, ¢® ¢â®à®¬ - á ¬ ¨¬¯®àâ¨à®¢ ­­ë© ¬®¤ã«ì áâ ­®¢¨âáï í«¥¬¥­â®¬ á।ë,   ¥£® ®¡ê¥ªâë ¬®£ãâ ¡ëâì ¤®áâ㯭ë ç¥à¥§ 㪠§ ­¨¥ ¨¬¥­¨ ¬®¤ã«ï (M.X).

Ž¡« áâì ¤¥©áâ¢¨ï ®¡ê¥ªâ®¢, ®¯¨á ­­ëå ¢ «®ª «ì­®¬ ¬®¤ã«¥, ¬®¦¥â á®áâ®ïâì ¨§ á ¬®£® í⮣® «®ª «ì­®£® ¬®¤ã«ï ¨«¨ ¨§ ®å¢ â뢠î饣® ¥£® ¡«®ª , ¥á«¨ ®¡ê¥ªâ íªá¯®àâ¨àã¥âáï ¨§ «®ª «ì­®£® ¬®¤ã«ï. ‘奬㠨¬¯®àâ  ¢ «®ª «ì­ë© ¬®¤ã«ì ¬®¦­® ¯®ïá­¨âì à¨á. 6.2. ‘ãé¥áâ¢ã¥â ¯à¥¤®¯à¥¤¥«¥­­ ï ª®¬¯®­¥­â , ®¡ê¥ªâë ª®â®à®© ¤®áâã¯­ë ¢® ¢á¥å ¤àã£¨å ª®¬¯®­¥­â å (¥á«¨ ®­¨ â ¬ ­¥ ¯¥à¥®¯à¥¤¥«¥­ë). �â  ª®¬¯®­¥­â  ¢ª«î砥⠢ ᥡï â¨¯ë ¤ ­­ëå â ª¨¥ ª ª, integer, real, boolean, char, word, address, proc, ª®­áâ ­âë true, false, nil, ¯à®æ¥¤ãàë adr, tsize, cap, small, chr, inc, dec, float, halt, hihg, odd, ord, trunc, val, excl, incl, max, min, size, abs.

�«¥¬¥­â®¬ ®¯¨á ­¨ï ¬®¦¥â ¡ëâì ¯à®æ¥¤ãà  ¨«¨ «®ª «ì­ë© ¬®¤ã«ì, ¨¬¥î騥 ᢮© ᯨ᮪ ®¯¨á ­¨©. �à®æ¥¤ãà  ®¡à §ã¥â ­®¢ãî ª®¬¯®­¥­âã á।ë,   «®ª «ì­ë© ¬®¤ã«ì - ­¥â (à¨á. 6.3).

Ž¡ê¥ªâë «®ª «ì­®£® ¬®¤ã«ï ïîâáï ®¡ê¥ªâ ¬¨ ®å¢ â뢠î饩 ª®¬¯®­¥­âë, ­® á ®£à ­¨ç¥­­ë¬¨ ®¡« áâﬨ ¢¨¤¨¬®áâ¨. ‚­ãâਠ«®ª «ì­®£® ¬®¤ã«ï ¤®áâ㯭ë ⥠¨ ⮫쪮 ⥠®¡ê¥ªâë í⮩ ª®¬¯®­¥­âë, ª®â®àë¥ ï¢­® ¨¬¯®àâ¨à®¢ ­ë ¢ «®ª «ì­ë© ¬®¤ã«ì. ˆ ­ ®¡®à®â: ®¡ê¥ªâë «®ª «ì­®£® ¬®¤ã«ï ¬®£ãâ ¡ëâì íªá¯®àâ¨à®¢ ­ë ¢ ®å¢ â뢠îéãî ª®¬¯®­¥­âã. ‚ â® ¦¥ ¢à¥¬ï ®¡ê¥ªâë ¯à®æ¥¤ãàë ®¡à §ãîâ ­®¢ãî ª®¬¯®­¥­âã, ¯®áª®«ìªã ®¡ê¥ªâë í⮩ ª®¬¯®­¥­âë ¬®£ãâ ¡ëâì ¤®áâã¯­ë ¢ ¯à®æ¥¤ãà¥. Š®­ä«¨ªâ ¨¬¥­ ¯à¨ í⮬ ­¥ ¯à®â¨¢®à¥ç¨â ®¯à¥¤¥«¥­¨î ª®¬¯®­¥­âë: ®¡ê¥ªâ ®å¢ â뢠î饩 ª®¬¯®­¥­âë ¬®¦¥â ¡ëâì ¢¨¤¥­ (¥á«¨ ¢­ãâਠ¤ ­­®© ¯à®æ¥¤ãàë ­¥ ®¯¨á ­ ®¡ê¥ªâ á ⥬ ¦¥ ¨¬¥­¥¬).

Œ®¤ã«ì (¯à®£à ¬¬­ë© ¨«¨ ॠ«¨§ æ¨¨)

ÚÄÄÄÄÄÄÄÄÄÄÄÄ¿

³ ‘।  ³<----- ‘¢®© ¬®¤ã«ì ®¯à¥¤¥«¥­¨©

ÃÄÄÄÄÄÄÄÄÄÄÄÄ´<----- ˆ¬¯®àâ ¨§ ¤à㣨å

³ Ž¡ê¥­¨ï ³ ¬®¤ã«¥© ®¯à¥¤¥«¥­¨©

ÀÄÄÂÄÄÄÄÂÄÄÄÄÙ

³^ ³

ˆ¬¯®àâ ³³ ³ ‚¨¤¨¬®áâì

ÚÄÄÄÄÄÄÄÄÙ³ ÀÄÄÄÄÄÄÄÄÄÄÄ¿

³ ÚÄÄÄÄÄÄÄÙ ³

v ³�ªá¯®àâ v

ÚÄÄÄÄÄÄÄÁÄÄÄÄÄÄÄÄÄÄ¿ ÚÄÄÄÄÄÄÄÄÄÄÄ¿

³ ‹®ª «ì­ë© ¬®¤ã«ì ³ ³ �à®æ¥¤ãà  ³

ÃÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ´ ÃÄÄÄÄÄÄÄÄÄÄÄ´

³ ................ ³ ³ ......... ³

³ ³ ³ ³

ÀÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÙ ÀÄÄÄÄÄÄÄÄÄÄÄÙ

�¨á. 6.3

‘।  á®á⮨⠨§ ®â¤¥«ì­ëå ®¡ê¥ªâ®¢, ॠ«¨§ã¥¬ëå ª ª § ¯¨á¨. ‘®áâ ¢ ¯®«¥© § ¯¨á¨ ¢®®¡é¥ £®¢®àï § ¢¨á¨â ®â ®¡ê¥ªâ  (⨯, ¯¥à¥¬¥­­ ï ¨ â.¤.), ­® ¥áâì ¯®«ï, ¢å®¤ï騥 ¢ § ¯¨áì ¤«ï «î¡®£® ®¡ê¥ªâ :

Object - ª â¥£®à¨ï ®¡ê¥ªâ : ⨯, ¯¥à¥¬¥­­ ï, ¯à®æ¥¤ãà  ¨ â.¤.;

Mode - ¢¨¤ ®¡ê¥ªâ : 楫ë©, ¬ áᨢ, § ¯¨áì ¨ â.¤.;

Name - ¨¬ï ®¡ê¥ªâ ;

Type - 㪠§ â¥«ì ­  ®¯¨á ­¨¥ ⨯ .

6.3. ‡ ­¥á¥­¨¥ ¢ á।㠨 ¯®¨áª ®¡ê¥ªâ®¢

�®áª®«ìªã ¡«®ª¨ ®¡à §ãîâ ¨¥à àå¨î ­  ¤¥à¥¢¥ à §¡®à  ¯à®£à ¬¬ë, ¯à¨ ¯®¨áª¥ ®¡ê¥ªâ  ¬ë ¬®¦¥¬ á ¯®¬®éìî  âਡãâ  â¨¯  "㪠§ â¥«ì ­  ¡«®ª" ¯¥à¥å®¤¨âì ®â ¡«®ª  ª ®å¢ â뢠î饬㠡«®ªã. …᫨ ⥯¥àì ã ª ¦¤®£® ¡«®ª  ¥áâì  âਡãâ, 㪠§ë¢ î騩, ï¥âáï «¨ ¡«®ª ¯à®æ¥¤ãன ¨«¨ ¬®¤ã«¥¬, â® «¥£ª® ॠ«¨§®¢ âì á®ç¥â ­¨¥ ¡«®ç­®© áâàãªâãàë á® á।á⢠¬¨ ã¯à ¢«¥­¨ï ¢¨¤¨¬®áâìî. Šà®¬¥ ⮣®, ª®à¥­ì ¤¥à¥¢  ¨¬¥¥â  âਡãâ, ᮮ⢥âáâ¢ãî騩 ¯à¥¤®¯à¥¤¥«¥­­®© ª®¬¯®­¥­â¥, â ª çâ® ç¥à¥§ íâ®â £«®¡ «ì­ë©  âਡãâ ¤®áâã¯­ë ¢á¥ ¯à¥¤®¯à¥¤¥«¥­­ë¥ ®¯¨á ­¨ï (à¨á. 6.4).

Env

^ ^

/ \

Env Env

^^ ^^

/ \ / \

Env Env Env Env

�¨á. 6.4

‚ ª ç¥á⢥ ⨯®¢ ¤ ­­ëå  âਡã⮢ ¬ë ¡ã¤¥¬ ¨á¯®«ì§®¢ âì ¬­®¦¥á⢮. Œ­®¦¥á⢮ ¬®¦¥â ¡ëâì 㯮à冷祭­ë¬ ¨«¨ ­¥ã¯®à冷祭­ë¬, ª«îç¥¢ë¬ ¨«¨ ¯à®áâë¬. �«¥¬¥­â®¬ ª«î祢®£® ¬­®¦¥á⢠ ¬®¦¥â ¡ëâì § ¯¨áì, ®¤­¨¬ ¨§ ¯®«¥© ª®â®à®© ï¥âáï ª«îç:

SET OF T - ¯à®á⮥ ­¥ã¯®à冷祭­®¥ ¬­®¦¥á⢮ ®¡ê¥ªâ®¢ ⨯  T;

KEY K SET OF T - ª«î祢®¥ ­¥ã¯®à冷祭­®¥ ¬­®¦¥á⢮ ®¡ê¥ªâ®¢ ⨯  T á ª«î箬 K;

LIST OF T - ¯à®á⮥ 㯮à冷祭­®¥ ¬­®¦¥á⢮ ®¡ê¥ªâ®¢ ⨯  T;

KEY K LIST OF T - ª«î祢®¥ 㯮à冷祭­®¥ ¬­®¦¥á⢮ ®¡ê¥ªâ®¢ ⨯  T á ª«î箬 K;

� ¤ ®¡ê¥ªâ ¬¨ ⨯  ¬­®¦¥á⢠ ®¯à¥¤¥«¥­ë á«¥¤ãî騥 ®¯¥à æ¨¨:

Init(S) - ᮧ¤ âì ¨ ¯à®¨­¨æ¨ «¨§¨à®¢ âì ¯¥à¥¬¥­­ãî S;

Include(V,S) - ¢ª«îç¨âì ®¡ê¥ªâ V ¢ ¬­®¦¥á⢮ S; ¥á«¨ ¬­®¦¥á⢮ 㯮à冷祭­®¥, â® ¢ª«î祭¨¥ ®áãé¥á⢫ï¥âáï ¢ ª ç¥á⢥ ¯®á«¥¤­¥£® í«¥¬¥­â ;

Find(K,S) - ¢ë¤ âì 㪠§ â¥«ì ­  ®¡ê¥ªâ á ª«î箬 K ¢® ¬­®¦¥á⢥ S ¨ NIL, ¥á«¨ ®¡ê¥ªâ á â ª¨¬ ª«î箬 ­¥ ­ ©¤¥­.

ˆ¬¥¥âáï ᯥ樠«ì­ë© ®¯¥à â®à 横« , ¯à®¡¥£ î騩 í«¥¬¥­âë ¬­®¦¥á⢠:

for V in S do Ž¯¥à â®à;