TRAN (1131576), страница 2

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 2)

‘ ª ¦¤ë¬ ᨬ¢®«®¬ X <- N U T á¢ï¦¥¬ ¬­®¦¥á⢮ A(X) âਡã⮢ ᨬ¢®« X.�¥ª®â®àë¥ ¨§ ¬­®¦¥á⢠A(x) ¬®£ãâ ¡ëâì ¯ãáâë. ‡ ¯¨áì a(X) ®§­ ç ¥â, çâ® a <- A(X).

‘ ª ¦¤ë¬ ¯à ¢¨«®¬ ¢ë¢®¤ p <- P á¢ï¦¥¬ ¬­®¦¥á⢮ F ᥬ ­â¨ç¥áª¨å ¯à ¢¨«, ¨¬¥îé¨å á«¥¤ãîéãî ä®à¬ã:

a₀<i₀> = f^p_a0<i0>(a₁<i₁>, ... , a_j<i_j>),

£¤¥ i_k <- [0,n_p] - ­®¬¥à ᨬ¢®« ¯à ¢¨« p, a_k<i_k> - âਡãâ ᨬ¢®« X_ik , â.¥. a_k<i_k> <- A(X_ik).

‚ â ª®¬ á«ãç ¥ ¡ã¤¥¬ £®¢®à¨âì , çâ® a₀<i₀> "§ ¢¨á¨â" ®â a₁<i₁>,...,a_j<i_j> ¨«¨ çâ® a₀<i₀> "¢ëç¨á«ï¥âáï ¯®" a₁<i₁>,...,a_j<i_j>. ‚ ç áâ­®¬ á«ãç ¥ j ¬®¦¥â ¡ëâì à ¢­® ­ã«î, ⮣¤ ¡ã¤¥¬ £®¢®à¨âì, çâ® âਡãâ a₀<i₀> "¯®«ãç ¥â ¢ ª ç¥á⢥ §­ 祭¨ï ª®­áâ ­âã".

Š‘-£à ¬¬ ⨪ã, ª ¦¤®¬ã ᨬ¢®«ã ª®â®à®© ᮯ®áâ ¢«¥­® ¬­®¦¥á⢮ âਡã⮢, ª ¦¤®¬ã ¯à ¢¨«ã ¢ë¢®¤ - ¬­®¦¥á⢮ ᥬ ­â¨ç¥áª¨å ¯à ¢¨«, ¡ã¤¥¬ ­ §ë¢ âì âਡãâ­®© £à ¬¬ ⨪®© (AG).

� §®¢¥¬ âਡãâ a(X₀) ᨭ⥧¨à㥬ë¬, ¥á«¨ ®¤­®¬ã ¨§ ¯à ¢¨« ¢ë¢®¤ p: X₀ ->X₁ ... X_np ᮯ®áâ ¢«¥­® ᥬ ­â¨ç¥áª®¥ ¯à ¢¨«® a<0>=f_a<0>(...). � §®¢¥¬ âਡãâ a(X_i) ­ á«¥¤ã¥¬ë¬, ¥á«¨ ®¤­®¬ã ¨§ ¯à ¢¨« ¢ë¢®¤ p:X₀ -> X₁ ... X_i ... X_np ᮯ®áâ ¢«¥­® ᥬ ­â¨ç¥áª®¥ ¯à ¢¨«® a<i>=f_a<i>(...), i <- [1,n_p]. Œ­®¦¥á⢮ ᨭ⥧¨à㥬ëå âਡã⮢ ᨬ¢®« X ®¡®§­ 稬 ç¥à¥§ S(X), ­ á«¥¤ã¥¬ëå âਡã⮢ - ç¥à¥§ I(X).

�㤥¬ áç¨â âì, çâ® §­ 祭¨¥ âਡã⮢ â¥à¬¨­ «ì­ëå ᨬ¢®«®¢ - ª®­áâ ­âë, â.¥. ¨å §­ 祭¨ï ®¯à¥¤¥«¥­ë, ­® ¤«ï ­¨å ­¥â ᥬ ­â¨ç¥áª¨å ¯à ¢¨«, ®¯à¥¤¥«¥ïîé¨å ¨å §­ 祭¨ï.

5.3.2. €âਡãâ¨à®¢ ­­®¥ ¤¥à¥¢® à §¡®à

…᫨ ¤ ­ âਡãâ­ ï £à ¬¬ ⨪ AG ¨ 楯®çª , ¯à¨­ ¤«¥¦ é ï ï§ëªã, ®¯à¥¤¥«ï¥¬®¬ã G, â® ¬®¦­® ¯®áâநâì ¤¥à¥¢® à §¡®à í⮩ 楯®çª¨ ¢ £à ¬¬ ⨪¥ G. ‚ í⮬ ¤¥à¥¢¥ ª ¦¤ ï ¢¥à設 ¯®¬¥ç¥­ ᨬ¢®«®¬ £à ¬¬ ⨪¨ G. �ਯ¨è¥¬ ⥯¥àì ª ¦¤®© ¢¥à設¥ ¬­®¦¥á⢮ âਡã⮢, ᮯ®áâ ¢«¥­­ëå ᨬ¢®«ã, ª®â®àë¬ ¯®¬¥ç¥­ íâ ¢¥à設 . €âਡãâë, ᮯ®áâ ¢«¥­­ë¥ ¢å®¦¤¥­¨ï¬ ᨬ¢®«®¢ ¢ ¤¥à¥¢® à §¡®à , ¡ã¤¥¬ ­ §ë¢ âì ¢å®¦¤¥­¨ï¬¨ âਡã⮢ ¢ ¤¥à¥¢® à §¡®à , ¤¥à¥¢® á ᮯ®áâ ¢«¥­­ë¬¨ ª ¦¤®© ¢¥à設¥ âਡãâ ¬¨ - âਡãâ¨à®¢ ­­ë¬ ¤¥à¥¢®¬ à §¡®à .

Œ¥¦¤ã ¢å®¦¤¥­¨ï¬¨ âਡã⮢ ¢ ¤¥à¥¢® à §¡®à áãé¥áâ¢ãîâ § ¢¨á¨¬®áâ¨, ®¯à¥¤¥«ï¥¬ë¥ ᥬ ­â¨ç¥áª¨¬¨ ¯à ¢¨« ¬¨, ᮮ⢥âáâ¢ãî騬¨ ¯à¨¬¥­¥­­ë¬ ᨭ⠪á¨ç¥áª¨¬ ¯à ¢¨« ¬.

5.3.3. Ÿ§ëª ®¯¨á ­¨ï âਡãâ­ëå £à ¬¬ ⨪

”®à¬ «¨§¬ âਡãâ­ëå £à ¬¬ ⨪ ®ª § «áï ®ç¥­ì 㤮¡­ë¬ á।á⢮¬ ¤«ï ®¯¨á ­¨ï ᥬ ­â¨ª¨ ï§ëª®¢ ¯à®£à ¬¬¨à®¢ ­¨ï. ‚¬¥á⥠á ⥬ ¢ëïá­¨«®áì, ç⮠ॠ«¨§ æ¨ï ¢ëç¨á«¨â¥«¥© ¤«ï âਡãâ­ëå £à ¬¬ ⨪ ®¡é¥£® ¢¨¤ áâ «ª¨¢ ¥âáï á ¡®«ì訬¨ âà㤭®áâﬨ. ‚ á¢ï§¨ á í⨬ ¡ë«® ᤥ« ­® ¬­®¦¥á⢮ ¯®¯ë⮪ à áᬠâਢ âì ⥠¨«¨ ¨­ë¥ ª« ááë âਡãâ­ëå £à ¬¬ ⨪, ®¡« ¤ îé¨å "å®à®è¨¬¨" ᢮©á⢠¬¨. Š ç¨á«ã â ª¨å ᢮©á⢠®â­®áïâáï ¯à¥¦¤¥ ¢á¥£® ¯à®áâ®â «£®à¨â¬ ¯à®¢¥àª¨ âਡãâ­®© £à ¬¬ ⨪¨ ­ § 横«¥­­®áâì ¨ ¯à®áâ®â «£®à¨â¬ ¢ëç¨á«¥­¨ï âਡã⮢ ¤«ï âਡãâ­ëå £à ¬¬ ⨪ ¤ ­­®£® ª« áá [].

€âਡãâ­ë¥ £à ¬¬ ⨪¨ ¨á¯®«ì§®¢ «¨áì ¤«ï ®¯¨á ­¨ï ᥬ ­â¨ª¨ ï§ëª®¢ ¯à®£à ¬¬¨à®¢ ­¨ï ¨ ¡ë«® ᮧ¤ ­® ­¥áª®«ìª® á¨á⥬ ¢â®¬ ⨧ 樨 à §à ¡®âª¨ âà ­á«ïâ®à®¢, ®á­®¢ ­­ëå ­ ä®à¬ «¨§¬¥ âਡãâ­ëå £à ¬¬ ⨪. Ž¯ëâ ¨å ¨á¯®«ì§®¢ ­¨ï ¯®ª § «, çâ® "ç¨áâë©" âਡãâ­ë© ä®à¬ «¨§¬ ¬®¦¥â ¡ëâì ãᯥ譮 ¯à¨¬¥­¥­ ¤«ï ®¯¨á ­¨ï ᥬ ­â¨ª¨ ï§ëª , ­® ¥£® ¨á¯®«ì§®¢ ­¨¥ ¢ë§ë¢ ¥â âà㤭®á⨠¯à¨ ᮧ¤ ­¨¨ âà ­á«ïâ®à . �⨠âà㤭®á⨠á¢ï§ ­ë ª ª á á ¬¨¬ ä®à¬ «¨§¬®¬, â ª ¨ á ­¥ª®â®à묨 â¥å­®«®£¨ç¥áª¨¬¨ ¯à®¡«¥¬ ¬¨. Š âà㤭®áâï¬ ¯¥à¢®£® த ¬®¦­® ®â­¥á⨠­¥á®®â¢¥âá⢨¥ ç¨áâ® ä㭪樮­ «ì­®© ¯à¨à®¤ë âਡãâ­®£® ¢ëç¨á«¨â¥«ï ¨ á¢ï§ ­­®© á ­¥© ­¥ã¯®à冷祭­®áâìî ¯à®æ¥áá ¢ëç¨á«¥­¨ï âਡã⮢ (çâ® ¢ §­ ç¨â¥«ì­®© á⥯¥­¨ ï¥âáï ¯à¥¨¬ãé¥á⢮¬ í⮣® ä®à¬ «¨§¬ ) ¨ 㯮à冷祭­®áâìî í«¥¬¥­â®¢ ¯à®£à ¬¬ë. �â® ­¥á®®â¢¥âá⢨¥ ¢¥¤¥â ª ⮬ã, çâ® ¯à¨å®¤¨âáï ¨¤â¨ ­ ¨áªãáá⢥­­ë¥ ¯à¨¥¬ë ¤«ï ¨å á®ç¥â ­¨ï. ’¥å­®«®£¨ç¥áª¨¥ âà㤭®á⨠á¢ï§ ­ë á íä䥪⨢­®áâìî âà ­á«ïâ®à®¢, £¥­¥à¨à®¢ ­­ëå á ¯®¬®éìî âਡãâ­ëå á¨á⥬. Š ª ¯à ¢¨«®, ª ç¥á⢮ â ª¨å âà ­á«ïâ®à®¢ ¤®¢®«ì­® ­¨§ª® ¨§-§ ¡®«ìè¨å à á室®¢ ¯ ¬ïâ¨, ­¥íä䥪⨢­®á⨠¨áªãáá⢥­­ëå ¯à¨¥¬®¢, ® ª®â®àëå ¡ë«® ᪠§ ­® ¢ëè¥.

“ç¨âë¢ ï íâ®, ¬ë ¡ã¤¥¬ ¢¥á⨠¤ «ì­¥©è¥¥ ¨§«®¦¥­¨¥ ­ ï§ëª¥, á®ç¥â î饬 ®á®¡¥­­®á⨠âਡãâ­®£® ä®à¬ «¨§¬ ¨ ®¡ëç­®£® ï§ëª , ¢ ª®â®à®¬ ¯à¥¤¯®« £ ¥âáï ¢®§¬®¦­®áâì ã¯à ¢«¥­¨ï ¯®à浪®¬ ¨á¯®«­¥­¨ï ®¯¥à â®à®¢. �â®â ¯®à冷ª ¯à¨¢ï§ë¢ ¥âáï ª ®¡å®¤ã âਡãâ¨à®¢ ­­®£® ¤¥à¥¢ à §¡®à ᢥàåã ¢­¨§ á«¥¢ ­ ¯à ¢®. ‚ᥠâਡãâë ¤®«¦­ë ¡ëâì ¢ëç¨á«¥­ë § ®¤¨­ â ª®© ®¡å®¤. €âਡãâ­ë¥ £à ¬¬ ⨪¨, ®¡« ¤ î騥 â ª¨¬ ᢮©á⢮¬, ­ §ë¢ îâáï L- âਡãâ­ë¬¨.

�ਠ§ ¯¨á¨ ᨭ⠪á¨á ¬ë ¡ã¤¥¬ ¨á¯®«ì§®¢ âì à áè¨à¥­­ãî ��”. �«¥¬¥­â ¯à ¢®© ç á⨠ᨭ⠪á¨ç¥áª®£® ¯à ¢¨« , § ª«î祭­ë© ¢ ᪮¡ª¨ [ ], ¬®¦¥â ®âáãâá⢮¢ âì. �«¥¬¥­â ¯à ¢®© ç á⨠ᨭ⠪á¨ç¥áª®£® ¯à ¢¨« , § ª«î祭­ë© ¢ ᪮¡ª¨ ( ), ®§­ ç ¥â ¢®§¬®¦­®áâì ¯®¢â®à¥­¨ï ®¤¨­ ¨«¨ ¡®«¥¥ à §. �«¥¬¥­â ¯à ¢®© ç á⨠ᨭ⠪á¨ç¥áª®£® ¯à ¢¨« , § ª«î祭­ë© ¢ ᪮¡ª¨ [()], ®§­ ç ¥â ¢®§¬®¦­®áâì ¯®¢â®à¥­¨ï ­®«ì ¨«¨ ¡®«¥¥ à §. ‚ ᪮¡ª å [] ¨«¨ [()] ¬®¦¥â 㪠§ë¢ âìáï à §¤¥«¨â¥«ì ª®­áâàãªæ¨©.

�¨¦¥ ¤ ­ ᨭ⠪á¨á ï§ëª ®¯¨á ­¨ï âਡãâ­ëå £à ¬¬ ⨪.

€âਡãâ­ ï £à ¬¬ ⨪ ::= 'ALPHABET'

( Ž¯¨á ­¨¥�¥â¥à¬¨­ « ) ( �à ¢¨«® )

Ž¯¨á ­¨¥�¥â¥à¬¨­ « ::= ˆ¬ï�¥â¥à¬¨­ «

'::' [( Ž¯¨á ­¨¥€âਡã⮢ / ';')] '.'

Ž¯¨á ­¨¥€âਡã⮢ ::= ( ˆ¬ï€âਡãâ / ',') ':' ’¨¯

�à ¢¨«® ::= 'RULE' ‘¨­â ªá¨á 'SEMANTICS' ‘¥¬ ­â¨ª '.'

‘¨­â ªá¨á ::= ˆ¬ï�¥â¥à¬¨­ « '::=' �à ¢ ï— áâì

�à ¢ ï— áâì ::= [( �«¥¬¥­â®¢�à ¢®©— á⨠)]

�«¥¬¥­â�à ¢®©— á⨠::= ˆ¬ï�¥â¥à¬¨­ «

| ’¥à¬¨­ «

| '(' �¥â¥à¬¨­ « [ '/' ’¥à¬¨­ « ] ')'

| '[' �¥â¥à¬¨­ « ']'

| '[(' �¥â¥à¬¨­ « [ '/' ’¥à¬¨­ « ] ')]'

‘¥¬ ­â¨ª ::= [( ‹®ª «ì­®¥Ž¡ê¥­¨¥ ])

[( ‘¥¬ ­â¨ç¥áª®¥„¥©á⢨¥ ])

‘¥¬ ­â¨ç¥áª®¥„¥©á⢨¥ ::= �à¨á¢ ¨¢ ­¨¥

| [ Œ¥âª ] Ž¯¥à â®à

�à¨á¢ ¨¢ ­¨¥ ::= �¥à¥¬¥­­ ï ':=' ‚ëà ¦¥­¨¥

�¥à¥¬¥­­ ï ::= ‹®ª «ì­ ï�¥à¥¬¥­­ ï

| €âਡãâ

€âਡãâ ::= ‹®ª «ì­ë©€âਡãâ

| ƒ«®¡ «ì­ë©€âਡãâ

‹®ª «ì­ë©€âਡãâ ::= ˆ¬ï€âਡãâ '<' �®¬¥à '>' ƒ«®¡ «ì­ë©€âਡãâ ::= ˆ¬ï€âਡãâ '<' �¥â¥à¬¨­ « '>'

Œ¥âª ::= –¥«®¥ ':'

| –¥«®¥ '…' ':'

| –¥«®¥ '€' ':'

Ž¯¥à â®à ::= “á«®¢­ë©

| Ž¯¥à â®à�à®æ¥¤ãàë

| –¨ª«�®Œ­®¦¥áâ¢ã

| �à®á⮩–¨ª«

| –¨ª«‘“á«®¢¨¥¬Žª®­ç ­¨ï

Ž¯¨á ­¨¥ âਡãâ­®© £à ¬¬ ⨪¨ á®á⮨⠨§ à §¤¥« ®¯¨á ­¨ï âਡã⮢ ¨ à §¤¥« ¯à ¢¨«. � §¤¥« ®¯¨á ­¨ï âਡã⮢ ®¯à¥¤¥«ï¥â á®áâ ¢ âਡã⮢ ¤«ï ª ¦¤®£® ᨬ¢®« £à ¬¬ ⨪¨ ¨ ⨯ ª ¦¤®£® âਡãâ . �à ¢¨« á®áâ®ïâ ¨§ ᨭ⠪á¨ç¥áª®© ¨ ᥬ ­â¨ç¥áª®© ç áâ¨. ‚ ᨭ⠪á¨ç¥áª®© ç á⨠¨á¯®«ì§ã¥âáï à áè¨à¥­­ ï ��”. ‘¥¬ ­â¨ç¥áª ï ç áâì ¯à ¢¨« á®á⮨⠨§ «®ª «ì­ëå ®¡ê¥­¨© ¨ ᥬ ­â¨ç¥áª¨å ¤¥©á⢨©. ‚ ª ç¥á⢥ ᥬ ­â¨ç¥áª¨å ¤¥©á⢨© ¤®¯ã᪠îâáï ª ª âਡãâ­ë¥ ¯à¨á¢ ¨¢ ­¨ï, â ª ¨ á®áâ ¢­ë¥ ®¯¥à â®àë.

Œ¥âª ¢ ᥬ ­â¨ç¥áª®© ç á⨠¯à ¢¨« ¯à¨¢ï§ë¢ ¥â ¢ë¯®«­¥­¨¥ ®¯¥à â®à ª ®¡å®¤ã ¤¥à¥¢ à §¡®à ᢥàåã-¢­¨§ á«¥¢ ­ ¯à ¢®. Š®­áâàãªæ¨ï "i : ®¯¥à â®à" ®§­ ç ¥â, çâ® ®¯¥à â®à ¤®«¦¥­ ¡ëâì ¢ë¯®«­¥­ áà §ã ¯®á«¥ ®¡å®¤ i-© ª®¬¯®­¥­âë ¯à ¢®© ç áâ¨. Š®­áâàãªæ¨ï "i E : ®¯¥à â®à" ®§­ ç ¥â, çâ® ®¯¥à â®à ¤®«¦¥­ ¡ëâì ¢ë¯®«­¥­, ⮫쪮 ¥á«¨ ¯®à®¦¤¥­¨¥ i-© ª®¬¯®­¥­âë ¯à ¢®© ç á⨠¯ãáâ®. Š®­áâàãªæ¨ï "i A : ®¯¥à â®à" ®§­ ç ¥â, çâ® ®¯¥à â®à ¤®«¦¥­ ¡ëâì ¢ë¯®«­¥­ ¯®á«¥ à §¡®à ª ¦¤®£® ¯®¢â®à¥­¨ï i-© ª®¬¯®­¥­âë ¯à ¢®© ç á⨠(¨¬¥¥âáï ¢ ¢¨¤ã ª®­áâàãªæ¨ï ¯®¢â®à¥­¨ï).

Š ¦¤®¥ ¯à ¢¨«® ¬®¦¥â ¨¬¥âì «®ª «ì­ë¥ ®¯à¥¤¥«¥­¨ï (⨯®¢ ¨ ¯¥à¥¬¥­­ëå). ‚ ä®à¬ã« å ¨á¯®«ì§ãîâáï ª ª âਡãâë ᨬ¢®«®¢ ¤ ­­®£® ¯à ¢¨« («®ª «ì­ë¥ âਡãâë) ¨ ¢ í⮬ á«ãç ¥ ᮮ⢥âáâ¢ãî騥 ᨬ¢®«ë 㪠§ë¢ îâáï ­®¬¥à ¬¨ ¢ ¯à ¢¨«¥ (0 ¤«ï ᨬ¢®« «¥¢®© ç áâ¨, 1 ¤«ï ᨬ¢®« ¯à ¢®© ç á⨠¨ â.¤.), â ª ¨ âਡãâë ᨬ¢®«®¢ ¯à¥¤ª®¢ «¥¢®© ç á⨠¯à ¢¨« (£«®¡ «ì­ë¥ âਡãâë). ‚ í⮬ á«ãç ¥ ᮮ⢥âáâ¢ãî騩 ᨬ¢®« 㪠§ë¢ ¥âáï ¨¬¥­¥¬ ­¥â¥à¬¨­ « . ’ ª¨¬ ®¡à §®¬, ­ ¤¥à¥¢¥ ®¡à §ãîâáï ®¡« á⨠¢¨¤¨¬®á⨠âਡã⮢: âਡãâ ᨬ¢®« ¨¬¥¥â ®¡« áâì ¢¨¤¨¬®áâ¨, á®áâ®ïéãî ¨§ ¯à ¢¨« , ¢ ª®â®à®¥ ᨬ¢®« ¢å®¤¨â ¢ ¯à ¢ãî ç áâì, ¯«îá ¢á¥ ¯®¤¤¥à¥¢®, ª®à­¥¬ ª®â®à®£® ï¥âáï ᨬ¢®«, § ¨áª«î祭¨¥¬ ¯®¤¤¥à¥¢ì¥¢ - ¯®â®¬ª®¢ ⮣® ¦¥ ᨬ¢®« ¢ í⮬ ¯®¤¤¥à¥¢¥ (à¨á. 5.4).

|

...

. N .

. / \ .

. / \ .

. /\ /\ .

. / /\ /\ \ .

. / -- -- \ .

...N...........N...

/\ /\

-- --

�¨á. 5.4

‡­ 祭¨¥ â¥à¬¨­ «ì­®£® ᨬ¢®« ¤®áâ㯭® ç¥à¥§ âਡãâ VAL ᮮ⢥âáâ¢ãî饣® ⨯ .

Характеристики

Список файлов ответов (шпаргалок)