Алғысөз және Негізгі түсініктер……………………………………………………………………………….…

2 Алғысөз және Негізгі түсініктер……………………………………………………………………………….…..
.....52 
2.1. Фон нейман машинасы……………………………………………………………………………………………..……
...52 
2.1.1 Адрес механизмдері………………………………………………………………………………………………...
...….54 
2.2 Үзілісті құрылымдардың тұжырымдамасы……………………………………………………………………
.…57 
2.2.1 Жиындармен операциялар………………………………………………………………………………………
..…..57 
2.2.1.1 Декарттың шығармасы………………………………………………………………………………………...……
...58 
2.2.1.2 Бейнелеу………………………………………………………………………………………………………………..…
.….58 
2.2.1.3 Изоморфизм…………………………………………………………………………………………………………..…
....59 
2.2.1.4 Функциялар…………………………………………………………………………………………………………….……
.59 
2.2.2 Буль логикасы және предикаттарды есептеу………………………………………………………….…….
.61 
2.2.2.1 Бірінші қатардың предиктін есептеу………………………………………………………………….…......62 
2.2.2.2    Қатынастар…………………………………………………………………………………………………………….…63 
2.2.3 Рекурсия…………………………………………………………………………………………………………………
......…65 
2.2.3.1  Құйрықтық  Рекурсия  және  Итерация…………………………………………………………………….…65 
2.2.3.2  Сызықтық  рекурсия  және  итерация……………………………………………………………………..….66 
2.2.4  Соңғы  автоматтар…………………………………………………………………………………………………….…..67 
2.3  Деректер  құрылымының  тұжырымдамасы……………………………………………………………………69 
2.3.1 Әрекеттер тізбегі……………………………………………………………………………………
..………………….....69 
284

2.3.2 Стектар мен Тізімдер…………………………………………………………………………………………………..….70 
2.3.2.1Стек………………………………………………………………………………………………………………………………..
.71 
2.3.2.2 Тізім…………………………………………………………………………………………………………………………..….
.72 
2.3.3 Референттік механизмдер…………………………………………………………………………………………...
....73 
2.3.4  Рекурсивті  мәліметтер  құрылымы……………………………………………………………………………..….74 
2.3.5  Ағаш……………………………………………………………………………………………………………………………..….75 
2.3.6  Бағаналар…………………………………………………………………………………………………………………………76 
2.3.7 Іріктеп алу әдісі………………………………………………………………………………………………………………..79 
2.3.7.1 Тереңінен іздеу…………………………………………………………………………………………………………...
..79 
2.3.7.2  Енінен  іздеу…………………………………………………………………………………………………………………..81 
2.3.8 Бірөлшемді жадыдағы мәліметтер құрылымының бейнесі………………………………….……...83 
2.3.9  Хэш-кестелер………………………………………………………………………………………………………….………..85 
2.4 Есептеу барысында абстрактілі ұғымдар қолда-ну………………………………………………….……….86 
2.4.1 Өзгергіш айнымалылар өзгермейтін айнымалыларға қарсы……………………………….……...89 
2.4.2 Көріну облысын байланыстыру және ережесі……………………………………………………….………89 
2.4.3  Айнымалылар  типі………………………………………………………………………………………………….……….91 
2.4.4 Қабықша және Сақтаушы……………………………………………………………………………………….………
..93 
2.4.5 Функциялар мен Үдерістер…………………………………………………………………………………….……....
.95 
2.4.6 Бағдарламаны орындауды дерексіздендіру………………………………………………………….………96 
2.4.6.1 Үштік сияқты есептеу күйі (Қабықша, Сақтаушы, Дамп)………………………………………….….96 
2.4.7 Процестер және Ағындар…………………………………………………………………………………………….….99 
2.4.8 Буферлік салалар………………………………………………………………………………………………………….…100 
2.5 Қысқаша қорытынды………………………………………………………………………………………………………...102 
2.6 Бағалау……………………………………………………………………………………………………………………………….105 
2.6.1 «Тұжырымдамалар мен анықтамалар» деп өзгерту…………………………………………………….105 
2.6.2 Тапсырма Шығару…………………………………………………………………………………………………………..105 
2.6.3 Толық жауап…………………………………………………………………………………………………………………...107 
3 Синтаксис және Семантика……………………………………………………………………………………………….109 
3.1 Синтаксис және семантиканы енгізу…………………………………………………………………………….…..109 
3.2 Грамматика.………………………………………………………………………………………………………………………..111 
3.2.1 Грамматика түрлері……………………………………………………………………………………………………….…113 
3.2.2 Бэкус-Наур формасын пайдалана отырып, грамматиканы ұсыну………………………………...115 
3.2.3 Бэкус — Наур кеңейтілген пішіні (РБНП)………………………………………………………………………...117 
3.2.4 Атрибутивті грамматикалар…………………………………………………………………………………………….121 
3.2.5 Гиперқағида мен Мета-анықтамалар……………………………………………………………………………..123 
3.2.6 Абстрактылы синтаксис………………………………………………………………………………………………..….124 
3.3 Синтаксистік диаграммалар…………………………………………………………………………………………….…126 
3.3.1 Синтаксистік диаграммадағы синтаксистік қағидаларды ау-дару………………………………...129 
3.3.2 Синтаксистік диаграммаларды синтаксистік қағидаларға ау-дару……………………………….134 
3.4 Сөйлем құрылымын тексеру………………………………………………………………………………………………134 
3.4.3 Грамматикалық әр түрлі мәнді жою……………………………………………………………………………….136 
3.4.3.1 Енгізілген құрылымдардың әр түрлі мәнділігі…………………………………………………………….140 
3.4.5 Автоматтандырылған синтаксистік талдау……………………………………………………………………..141 
3.5  Семантика……………………………………………………………………………………………………………………………143 
3.5.1  Операциялық  семантика…………………………………………………………………………………………………143 
3.5.2 Аксиомалық семантика……………………………………………………………………………………………………146 
3.5.3 Денотациялық семантика………………………………………………………………………………………………..148 
285

4 Бағдарламалардағы абстракция және ақпаратпен ауысу……………………………………………….158 
4.1 Деректер абстракциясы………………………………………………………………………………………………….….160 
4.1.1 Деректердің бірлік элементтері………………………………………………………………………………………162 
4.1.2 Деректердің құрама элементтері……………………………………………………………………………………162 
4.1.3 Деректер элементтерінің жиыны……………………………………………………………………………………165 
4.1.4 Кеңейтілетін деректер элементтері………………………………………………………………………………..167 
4.2 Басқару абстракциясы………………………………………………………………………………………………………..168 
4.2.1 Тағайындау және командалар жүйелілігі………………………………………………………………………169 
4.2.2 Шартты операторлар……………………………………………………………………………………………………….172 
4.4 Параметрлерді беру…………………………………………………………………………………………………………..175 
4.4.1 Параметрлерді мәні бойынша беру және оның түрлері……………………………………………….177 
4.4.1.1 Күрделі объектілерді бөлу үшін параметрлерді мәні бойынша беру………………………..179 
4.4.3 Нәтиже бойынша шақыру……………………………………………………………………………………………….183 
4.4.4 Нәтиже мәні бойынша шақыру……………………………………………………………………………………….184 
4.4.5 Атауы бойынша шақыру………………………………………………………………………………………………….186 
4.4.6 Қажеттілігі бойынша шақыру…………………………………………………………………………………………..189 
4.4.7 Параметрлер түріндегі ішкі бағдарламаларды беру……………………………………………………..190 
4.4.8 Бөлінген есептеулерге арналған параметрлерді беру…………………………………………………..190 
4.5 Жанама әсерлер………………………………………………………………………………………………………………….191 
4.5.2 Жанама әсерлерді реттеу………………………………………………………………………………………………..195 
4.5.3 Маңызды мысал………………………………………………………………………………………………………………196 
4.6 Ерекше жағдайларды өңдеу………………………………………………………………………………………………198 
4.7 Анықталмаған есептеулер………………………………………………………………………………………………….201 
4.7.1 Қорғалған командалар…………………………………………………………………………………………………….203 
4.7.2 Бағдарламаны біртіндеп құру…………………………………………………………………..…………………….205 
4.8 Мәлімет тәрізді бағдарламалар…………………………………………………………………………………………206 
4.8.1 Бірінші деңгейдегі нысан ретіндегі функциялар………………………………………………………….…207 
4.8.2 Метабағдарламалау  және рефлексивтілік…………………………………………………………………….207 
4.9 Бағдарламалық қамтамассыз етуді қайталама қолдану………………………………………………….207 
4.9.1 Тағы да өзара әрекетте мүмкінділік туралы…………………………………………………………………..208 
4.10. КЕЙС-ӘДІС………………………………………………………………………………………………………………………..209 
4.10.1 Бағдарламалау тіліндегі мәліметтер абстаркциясы……………………………………………….……210 
4.10.1.1 Бірыңғай  Абстракция………………………………………………………………………………………………...210 
4.10.1.2 Құрамалы  абстракция………………………………………………………………………………………………..211 
4.10.1.3 Ақпараттық Нысандардың Бірыңғайлығы………………………………………………………………...214 
4.10.1.4 Кеңейтілген ақпараттық нысандар………………………………………………………………………….…217 
4.10.2 Бағдарламалау тілдерінде абстракцияларды басқару …………………………………………….…219 
4.10.2.1 Мутация……………………………………………………………………………………………………………………….219 
4.10.2.2 Шартты бекітулер………………………………………………………………………………………………………..219 
4.10.2.3 Итерациялар және Итераторлар………………………………………………………………………………..219 
4.10.3 Бағдарламалау тіліндегі мәліметтермен алмасу………………………………………………….………220 
4.11 Қысқаша қорытындылар………………………………………………………………………………………………….222 
4.12 Баға………………………………………………………………………………………………………………………….…..……225 
4.12.1 Концепциялар және Анықтамалар……………………………………………………………………………….225 
4.12.2 Тапсырманы шешу…………………………………………………………………………………………………………226 
4.12.3 Толық жауап…………………………………………………………………………………………………………………..227 
5 Императивті тілдердегі үлгілерді үлестіру……………………………………………………………………….230 
5.1 Абстрактілі есептеу машиналары…………………………………………………………………….………………..232 
286

5.2.1 Айқындамалардың аудармасы…………………………………………………………………………………
..….237 
5.2.2 Иелену операторының аудармасы………………………………………………………………………………
..237 
5.2.3 Шартты операторлар құрылымының аудармасы…………………………………………………………
.238 
5.2.4 Нұсқау операторының аудармасы…………………………………………………………………………………239 
5.2.5 Итерациялық конструкцияның аудармасы……………………………………………………………………240 
5.2.5.1 Контурға аудару…………………………………………………………………………………………………………
..241 
5.3 Статикалық үлестіру………………………………………………………………………………………………………
.…243 
5.4 Гибридті үлестіру………………………………………………………………………………………………………………
.247 
5.4.1 Әр түрлі нұсқаулар рөлі…………………………………………………………………………………………………
.249 
5.4.2 Шақырылатын бағдарламалар……………………………………………………………………………………….250 
5.5 Параметрлерді жіберуді үлестіру……………………………………………………………………………………
.258 
5.5.1 Мағынасы бойынша шақыруды үлестіру……………………………………………………………………....258 
5.5.2 Сілтеме арқылы шақыруды жүзеге асыру………………………………………………………………………260 
5.5.3 Нәтиженің мағынасы бойынша шақыруды үлестіру……………………………………………………..262 
5.6 Рекрусивті процедуралардың төмендеңгейлі мінез-құлқы……………………………………………..264 
5.7 Ерекшеліктер өңдегңшінің іске асуы………………………………………………………………………………...265 
5.9 Бағалау……………………………………………………………………………………………………………………………..…268 
5.9.1 Тұжырымдамалар мен анықтаулар………………………………………………………………………………..268 
5.9.3 Толық жауап…………………………………………………………………………………………………………………….269 
Қосымша I 
Тілдердегі қолдайтын парадигмалар………………………………………………………………………………….…..271 
Қосымша II 
Абстракцияның деректер жиын-тығы……………………………………………………………………………….…….273 
Қосымша III……………………………………………………………………………………………………………………………….275 
Қосымша IV……………………………………………………………………………………………………………………………….277 
Қосымша V  
Локалдылық принципі……………………………………………………………………………………………………………..278 
Қосымша VI 
Виртуалды жад және парақшадағы қателер…………………………………………………………………………..280 
Қосымша VII 
Бағдарлама жұмысының дұры-стығы және тығыздығы………………………………………………………...281 
Қосымша VIII 
 Алгоритмдер қиындығы………………………………………………………………………………………………………….282 
287