Добавил:
Studfiles2
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Лекции по АУП / АУП_1 / AUPL5
.TXT ЋЎйЁҐ ў®Їа®бл ®аЈ Ё§ жЁЁ ЂђЊ
Ѓг¤Ґ¬ а бб¬ ваЁў вм ЂђЊ Є Є ЈЁЎЄЁ© ЁвҐ««ҐЄвг «мл© ЂђЊ.
‘ў®©бвў ЂђЊ_“ђ, ®ЇаҐа вЁў® Ё ¤ҐЄў в® Ё§¬ҐпойЁ¬бп Їа®Ё§ў®¤б⢥л¬
гб«®ўЁп¬ ®ЎҐбЇҐзЁў вм бва®©Єг ЂђЊ нвЁ Ё§¬ҐпойЁҐбп гб«®ўЁп, ўЄ«оз п Ё
Ё§¬ҐҐЁп б ¬®Ј® “ђ §®ўҐ¬ ЈЁЎЄ®бвмо.
‘ў®©бвў® ЂђЊ ®ЎҐбЇҐзЁвм ®ўго Ёд®а¬ жЁ®го вҐе®«®ЈЁо ўв®¬ вЁ§Ёа®ў -
®Ј® аҐиҐЁп гЇа ў«ҐзҐбЄЁе § ¤ з Ё ў ⮬ зЁб«Ґ § ¤ з а §ўЁвЁп б ¬®Ј® ЂђЊ
§®ўҐ¬ ҐЈ® ЁвҐ««ҐЄвг «м®бвмо.
Њ®¤Ґ«м ЈЁЎЄ®Ј® ЁвҐ««ҐЄвг «м®Ј® ЂђЊ ( ѓ€ЂђЊ )
ЇаҐ¤бв ўЁ¬ бвагЄвга®© б«Ґ¤го饣® ўЁ¤ :
<Њ®¤Ґ«м Џ®, ¬®¤Ґ«м ®аЈ Ё§ жЁЁ ѓ€ЂђЊ, ¬®¤Ґ«м Їа®ҐЄвЁа®ў Ёп ѓ€ЂђЊ>
Њ®¤Ґ«м ®аЈ Ё§ жЁЁ ѓ€ЂђЊ
‚뤥«Ё¬ ¤ў га®ўп а бᬮваҐЁп ЂђЊ: Є®жҐЇвг «мл© Ё вҐе®«®ЈЁзҐбЄЁ©.
Љ®жҐЇвг «мл© ўЄ«оз Ґв ®б®ўлҐ Є®жҐЇжЁЁ Ё Їа ў«ҐЁп Ё«Ё ЇгвЁ Ёе аҐиҐ-
Ёп. ’Ґе®«®ЈЁзҐбЄЁ© га®ўҐм - ¬Ґв®¤л Ё б।б⢠ॠ«Ё§ жЁЁ нвЁе Їг⥩.
ЋЇаҐ¤Ґ«Ё ᥬ вЁЄг ЁбЇ®«м§гҐ¬ле бЁ¬ў®«®ў Ё ®ЇҐа жЁ©:
:=>< > - бвагЄвг஥ ЇаҐ¤бв ў«ҐЁҐ
:={ } - Є« ббЁдЁЄ жЁ®®Ґ ЇаҐ¤бв ў«ҐЁҐ ҐЄ®в®а®Ј® ®ЎкҐЄв ;
’ЈЁ а¬ :=>< ’ЈЁ а¬(Є),’ЈЁ а¬(в),|==,Ћ,Џ >
|== - ®в®Ўа ¦ҐЁҐ Є®жҐЇжЁ© Ё Їа ў«ҐЁ© Ёе ॠ«Ё§ жЁЁ Є®жҐЇвг «м®Ј®
га®ўп ¬®¤Ґ«Ё,¬Ґв®¤л Ё аеЁвҐЄвгалҐ аҐиҐЁп вҐе®«®ЈЁзҐбЄ®Ј®
га®ўп
Ћ := {ЋЄ,Ћв} - б®ў®ЄгЇ®бвм ®ЇҐа жЁ© Ї® ¬®¤ЁдЁЄ жЁЁ ¬®¤Ґ«Ё
ᮮ⢥вб⢥® Є®жҐЇвг «м®Ј® Ё вҐе®«®ЈЁзҐбЄ®Ј® га®ўҐ©;
Џ := {ЏЄ,Џв} - Їа ўЁ« ¬ ЁЇг«Ёа®ў Ёп б®бв ў«пойЁ¬Ё ¬®¤Ґ«Ё
Є®жҐЇв㠫쮬 Ё вҐе®«®ЈЁзҐбЄ®¬ га®ўпе;
ЋЄ :=>< U^,R^,C~,P~>
U^ - ¬®¦Ґбвў® ®жҐ®Є, е а ЄвҐаЁ§гойЁе б⥯Ґм 㤮ў«Ґвў®аҐЁп вॡ®ў -
Ё© ѓ€ЂђЊ Є®жҐЇв㠫쮬 га®ўҐ;
R^ - ¬®¦Ґбвў® ЄаЁвҐаЁҐў а Ў®в®бЇ®б®Ў®бвЁ Є®жҐЇжЁЁ Ё«Ё Їа ў«ҐЁп ҐҐ
ॠ«Ё§ жЁЁ;
C~ - ¬®¤ЁдЁжЁа®ў ЁҐ Є®жҐЇжЁЁ;
P~ - ¬®¤ЁдЁжЁа®ў ЁҐ Їг⥩ ॠ«Ё§ жЁЁ.
C~ := {~C,C*,C'}
~C - ®вЄ § ®в Є®жҐЇжЁЁ;
C* - ўл¤ўЁ¦ҐЁҐ ®ў®© Є®жҐЇжЁЁ;
C' - гв®зҐЁҐ Ё«Ё а §ўЁвЁҐ ЇаҐ¦Ґ© Є®жҐЇжЁЁ.
ѓ€ЂђЊ (Є) : => < U, S, C, P >
U - Є®жҐЇвг «м п ¬®¤Ґ«м Їа®Ў«Ґ¬®© ®Ў« бвЁ (ЏЋ);
S - Їа®Ў«Ґ¬ п бЁвг жЁп (д®а¬г«Ёа®ўЄ Їа®Ў«Ґ¬л);
‘ - Ґ§ ўЁбЁ¬ п б®ў®ЄгЇ®бвм Є®жҐЇжЁ© Ё«Ё ЁЎ®«ҐҐ ®ЎйЁе ЇаҐ¤бв ў«ҐЁ©
®Ў ®аЈ Ё§ жЁЁ ¤ ®Ј® ®ЎкҐЄв ;
ђ - Їа ў«ҐЁп Ё«Ё Їг⨠ॠ«Ё§ жЁЁ нвЁе Є®жҐЇжЁ©.
‘ : => < Љ - б ¬®а §ўЁвЁп
Љ - вЁЇЁ§ жЁЁ
Љ - ЁвҐ««ҐЄвг «Ё§ жЁЁ >
I Ќ Їа ў«ҐЁҐ ॠ«Ё§ жЁЁ б ¬®а §ўЁвЁп:
< 2 - е га®ўҐў п ®аЈ Ё§ жЁп ѓ€ЂђЊ,
Ў Є д®а¬ «Ё§®ў ле § ¤ з (Ѓ”‡) >
II Ќ Їа ў«ҐЁҐ ॠ«Ё§ жЁЁ Є®жҐЇжЁЁ вЁЇЁ§ жЁЁ:
< ’ЁЇ®ў п § ¤ з (’‡), ‘’‡ >
III Ќ Їа ў«ҐЁҐ ॠ«Ё§ жЁЁ Є®жҐЇжЁЁ ЁвҐ««ҐЄвг «Ё§ жЁЁ:
< Ќ®ў п Ёд®а¬ жЁ® п вҐе®«®ЈЁп ўв®¬ вЁ§ жЁЁ аҐиҐЁп
гЇа ў«ҐзҐбЄЁе § ¤ з>
I. ѓ€ЂђЊ
ЪД Д Д Д Д Д Д Д Д Д Д Д Д Д Д Д Д Дї
ЪДДДДДДДДДДДДДДДДДДДї ЪДДДДДДДДДДДДДДДДДДї
і і ЉЂЏђ і і ЉЏ”‡ і і
і і і і
іЉЏ-Џ‚ і ЪДДДДДї і і ЪДДДДДї іЉЏ-“ђ і
Ћ НННі€‘Џ‡ і і і і€‘Џ‡ іННН Ћ і
і і АДДДДДЩ і і АДДДДДЩ і і
і і і і
і і і і і і і і
АДДДДДДДДДДДДДДДДДДДЩ АДДДДДДДДДДДДДДДДДДЩ
і і ЪДДДДДДДДДДДДДДї і і
АДДДі Њ‚ іДДДЩ
і АДДДДДДДДДДДДДДЩ і
ѓ€ ЂђЊ - “ђ
А Д Д Д Д Д Д Д Д Д Д Д Д Д Д Д Д Д ДЩ
ЉЏ-Џ‡ - Є®Ґзл© Ї®«м§®ў ⥫м - Їа®ҐЄвЁа®ў ЁҐ § ¤ з
ЉЂЏђ - Є®вга ўв®¬ вЁ§Ёа®ў ®Ј® Їа®ҐЄвЁа®ў Ёп (Є®вга б ¬®а §ўЁў о-
饣®бп ЂђЊ)
€‘Џ‡ - Ёбва㬥⠫м п бЁб⥬ Їа®ҐЄвЁа®ў Ёп § ¤ з
€‘ђ‡ - -//- аҐиҐЁп § ¤ з
Љђ”‡ - Є®вга аҐиҐЁп дгЄжЁ® «мле § ¤ з (гЇа ў«ҐзҐбЄЁе)
Њ‚ - ¬®¤г«м ў§ Ё¬®¤Ґ©бвўЁп
ЉЏ-“ђ - Є®Ґзл© Ї®«м§®ў ⥫м - гЇа ў«ҐзҐбЄЁ© а Ў®вЁЄ
Ѓ Є д®а¬ «Ё§®ў ле § ¤ з (Ѓ”‡).
1 ЇаЁжЁЇ - ЇаЁжЁЇ вЁЇЁ§ жЁЁ дгЄжЁ® «мле § ¤ з
2 ЇаЁжЁЇ - Ґ§ ўЁбЁ¬®бвЁ § ¤ з Ё ®Ўа Ў®вЄЁ ¤ ле
Ѓ”‡ : => < {‘’‡}, {ЊЊ}, {Ђ}, Џ(Љ‡-’‡), Џ(’‡-ЊЊ), Џ(ЊЊ-Ђ) >
‘’‡ - ᥬҐ©бвў® вЁЇ®ўле § ¤ з
ЊЊ - ¬®¦Ґбвў® ¬ ⥬ вЁзҐбЄЁе ¬Ґв®¤®ў аҐиҐЁп § ¤ з
Ђ - ¬®¦Ґбвў® «Ј®аЁв¬®ў, ॠ«Ё§гойЁе ¬ ⥬ вЁзҐбЄЁҐ ¬Ґв®¤л
Џ(Љ‡-’‡) - ᮮ⢥вбвўЁҐ ¬Ґ¦¤г Є®ЄаҐв®© § ¤ 祩 Ё вЁЇ®ў®©
‘’‡
Ѓг¤Ґ¬ а бб¬ ваЁў вм ЂђЊ Є Є ЈЁЎЄЁ© ЁвҐ««ҐЄвг «мл© ЂђЊ.
‘ў®©бвў ЂђЊ_“ђ, ®ЇаҐа вЁў® Ё ¤ҐЄў в® Ё§¬ҐпойЁ¬бп Їа®Ё§ў®¤б⢥л¬
гб«®ўЁп¬ ®ЎҐбЇҐзЁў вм бва®©Єг ЂђЊ нвЁ Ё§¬ҐпойЁҐбп гб«®ўЁп, ўЄ«оз п Ё
Ё§¬ҐҐЁп б ¬®Ј® “ђ §®ўҐ¬ ЈЁЎЄ®бвмо.
‘ў®©бвў® ЂђЊ ®ЎҐбЇҐзЁвм ®ўго Ёд®а¬ жЁ®го вҐе®«®ЈЁо ўв®¬ вЁ§Ёа®ў -
®Ј® аҐиҐЁп гЇа ў«ҐзҐбЄЁе § ¤ з Ё ў ⮬ зЁб«Ґ § ¤ з а §ўЁвЁп б ¬®Ј® ЂђЊ
§®ўҐ¬ ҐЈ® ЁвҐ««ҐЄвг «м®бвмо.
Њ®¤Ґ«м ЈЁЎЄ®Ј® ЁвҐ««ҐЄвг «м®Ј® ЂђЊ ( ѓ€ЂђЊ )
ЇаҐ¤бв ўЁ¬ бвагЄвга®© б«Ґ¤го饣® ўЁ¤ :
<Њ®¤Ґ«м Џ®, ¬®¤Ґ«м ®аЈ Ё§ жЁЁ ѓ€ЂђЊ, ¬®¤Ґ«м Їа®ҐЄвЁа®ў Ёп ѓ€ЂђЊ>
Њ®¤Ґ«м ®аЈ Ё§ жЁЁ ѓ€ЂђЊ
‚뤥«Ё¬ ¤ў га®ўп а бᬮваҐЁп ЂђЊ: Є®жҐЇвг «мл© Ё вҐе®«®ЈЁзҐбЄЁ©.
Љ®жҐЇвг «мл© ўЄ«оз Ґв ®б®ўлҐ Є®жҐЇжЁЁ Ё Їа ў«ҐЁп Ё«Ё ЇгвЁ Ёе аҐиҐ-
Ёп. ’Ґе®«®ЈЁзҐбЄЁ© га®ўҐм - ¬Ґв®¤л Ё б।б⢠ॠ«Ё§ жЁЁ нвЁе Їг⥩.
ЋЇаҐ¤Ґ«Ё ᥬ вЁЄг ЁбЇ®«м§гҐ¬ле бЁ¬ў®«®ў Ё ®ЇҐа жЁ©:
:=>< > - бвагЄвг஥ ЇаҐ¤бв ў«ҐЁҐ
:={ } - Є« ббЁдЁЄ жЁ®®Ґ ЇаҐ¤бв ў«ҐЁҐ ҐЄ®в®а®Ј® ®ЎкҐЄв ;
’ЈЁ а¬ :=>< ’ЈЁ а¬(Є),’ЈЁ а¬(в),|==,Ћ,Џ >
|== - ®в®Ўа ¦ҐЁҐ Є®жҐЇжЁ© Ё Їа ў«ҐЁ© Ёе ॠ«Ё§ жЁЁ Є®жҐЇвг «м®Ј®
га®ўп ¬®¤Ґ«Ё,¬Ґв®¤л Ё аеЁвҐЄвгалҐ аҐиҐЁп вҐе®«®ЈЁзҐбЄ®Ј®
га®ўп
Ћ := {ЋЄ,Ћв} - б®ў®ЄгЇ®бвм ®ЇҐа жЁ© Ї® ¬®¤ЁдЁЄ жЁЁ ¬®¤Ґ«Ё
ᮮ⢥вб⢥® Є®жҐЇвг «м®Ј® Ё вҐе®«®ЈЁзҐбЄ®Ј® га®ўҐ©;
Џ := {ЏЄ,Џв} - Їа ўЁ« ¬ ЁЇг«Ёа®ў Ёп б®бв ў«пойЁ¬Ё ¬®¤Ґ«Ё
Є®жҐЇв㠫쮬 Ё вҐе®«®ЈЁзҐбЄ®¬ га®ўпе;
ЋЄ :=>< U^,R^,C~,P~>
U^ - ¬®¦Ґбвў® ®жҐ®Є, е а ЄвҐаЁ§гойЁе б⥯Ґм 㤮ў«Ґвў®аҐЁп вॡ®ў -
Ё© ѓ€ЂђЊ Є®жҐЇв㠫쮬 га®ўҐ;
R^ - ¬®¦Ґбвў® ЄаЁвҐаЁҐў а Ў®в®бЇ®б®Ў®бвЁ Є®жҐЇжЁЁ Ё«Ё Їа ў«ҐЁп ҐҐ
ॠ«Ё§ жЁЁ;
C~ - ¬®¤ЁдЁжЁа®ў ЁҐ Є®жҐЇжЁЁ;
P~ - ¬®¤ЁдЁжЁа®ў ЁҐ Їг⥩ ॠ«Ё§ жЁЁ.
C~ := {~C,C*,C'}
~C - ®вЄ § ®в Є®жҐЇжЁЁ;
C* - ўл¤ўЁ¦ҐЁҐ ®ў®© Є®жҐЇжЁЁ;
C' - гв®зҐЁҐ Ё«Ё а §ўЁвЁҐ ЇаҐ¦Ґ© Є®жҐЇжЁЁ.
ѓ€ЂђЊ (Є) : => < U, S, C, P >
U - Є®жҐЇвг «м п ¬®¤Ґ«м Їа®Ў«Ґ¬®© ®Ў« бвЁ (ЏЋ);
S - Їа®Ў«Ґ¬ п бЁвг жЁп (д®а¬г«Ёа®ўЄ Їа®Ў«Ґ¬л);
‘ - Ґ§ ўЁбЁ¬ п б®ў®ЄгЇ®бвм Є®жҐЇжЁ© Ё«Ё ЁЎ®«ҐҐ ®ЎйЁе ЇаҐ¤бв ў«ҐЁ©
®Ў ®аЈ Ё§ жЁЁ ¤ ®Ј® ®ЎкҐЄв ;
ђ - Їа ў«ҐЁп Ё«Ё Їг⨠ॠ«Ё§ жЁЁ нвЁе Є®жҐЇжЁ©.
‘ : => < Љ - б ¬®а §ўЁвЁп
Љ - вЁЇЁ§ жЁЁ
Љ - ЁвҐ««ҐЄвг «Ё§ жЁЁ >
I Ќ Їа ў«ҐЁҐ ॠ«Ё§ жЁЁ б ¬®а §ўЁвЁп:
< 2 - е га®ўҐў п ®аЈ Ё§ жЁп ѓ€ЂђЊ,
Ў Є д®а¬ «Ё§®ў ле § ¤ з (Ѓ”‡) >
II Ќ Їа ў«ҐЁҐ ॠ«Ё§ жЁЁ Є®жҐЇжЁЁ вЁЇЁ§ жЁЁ:
< ’ЁЇ®ў п § ¤ з (’‡), ‘’‡ >
III Ќ Їа ў«ҐЁҐ ॠ«Ё§ жЁЁ Є®жҐЇжЁЁ ЁвҐ««ҐЄвг «Ё§ жЁЁ:
< Ќ®ў п Ёд®а¬ жЁ® п вҐе®«®ЈЁп ўв®¬ вЁ§ жЁЁ аҐиҐЁп
гЇа ў«ҐзҐбЄЁе § ¤ з>
I. ѓ€ЂђЊ
ЪД Д Д Д Д Д Д Д Д Д Д Д Д Д Д Д Д Дї
ЪДДДДДДДДДДДДДДДДДДДї ЪДДДДДДДДДДДДДДДДДДї
і і ЉЂЏђ і і ЉЏ”‡ і і
і і і і
іЉЏ-Џ‚ і ЪДДДДДї і і ЪДДДДДї іЉЏ-“ђ і
Ћ НННі€‘Џ‡ і і і і€‘Џ‡ іННН Ћ і
і і АДДДДДЩ і і АДДДДДЩ і і
і і і і
і і і і і і і і
АДДДДДДДДДДДДДДДДДДДЩ АДДДДДДДДДДДДДДДДДДЩ
і і ЪДДДДДДДДДДДДДДї і і
АДДДі Њ‚ іДДДЩ
і АДДДДДДДДДДДДДДЩ і
ѓ€ ЂђЊ - “ђ
А Д Д Д Д Д Д Д Д Д Д Д Д Д Д Д Д Д ДЩ
ЉЏ-Џ‡ - Є®Ґзл© Ї®«м§®ў ⥫м - Їа®ҐЄвЁа®ў ЁҐ § ¤ з
ЉЂЏђ - Є®вга ўв®¬ вЁ§Ёа®ў ®Ј® Їа®ҐЄвЁа®ў Ёп (Є®вга б ¬®а §ўЁў о-
饣®бп ЂђЊ)
€‘Џ‡ - Ёбва㬥⠫м п бЁб⥬ Їа®ҐЄвЁа®ў Ёп § ¤ з
€‘ђ‡ - -//- аҐиҐЁп § ¤ з
Љђ”‡ - Є®вга аҐиҐЁп дгЄжЁ® «мле § ¤ з (гЇа ў«ҐзҐбЄЁе)
Њ‚ - ¬®¤г«м ў§ Ё¬®¤Ґ©бвўЁп
ЉЏ-“ђ - Є®Ґзл© Ї®«м§®ў ⥫м - гЇа ў«ҐзҐбЄЁ© а Ў®вЁЄ
Ѓ Є д®а¬ «Ё§®ў ле § ¤ з (Ѓ”‡).
1 ЇаЁжЁЇ - ЇаЁжЁЇ вЁЇЁ§ жЁЁ дгЄжЁ® «мле § ¤ з
2 ЇаЁжЁЇ - Ґ§ ўЁбЁ¬®бвЁ § ¤ з Ё ®Ўа Ў®вЄЁ ¤ ле
Ѓ”‡ : => < {‘’‡}, {ЊЊ}, {Ђ}, Џ(Љ‡-’‡), Џ(’‡-ЊЊ), Џ(ЊЊ-Ђ) >
‘’‡ - ᥬҐ©бвў® вЁЇ®ўле § ¤ з
ЊЊ - ¬®¦Ґбвў® ¬ ⥬ вЁзҐбЄЁе ¬Ґв®¤®ў аҐиҐЁп § ¤ з
Ђ - ¬®¦Ґбвў® «Ј®аЁв¬®ў, ॠ«Ё§гойЁе ¬ ⥬ вЁзҐбЄЁҐ ¬Ґв®¤л
Џ(Љ‡-’‡) - ᮮ⢥вбвўЁҐ ¬Ґ¦¤г Є®ЄаҐв®© § ¤ 祩 Ё вЁЇ®ў®©
‘’‡
