Qollap-quwatlaw

3-LEKCIYA. PROGRAMMALASTÍRÍW PARADIGMALARÍN
QOLLAP-QUWATLAW


Reje:
1. Semantika.
2. Abstrakt mashina.

Programmalastırıw paradigmaların qollap quwatlaw - tiykarǵı ideyalar evolyuciyasın kórsetip beriwden ibarat. Derlik barlıq zamanagóy programmalastırıw tilleri, hár túrli paradigmalardı (multiparadigmalı programmalastırıw) qollawǵa imkaniyat beredi.

Usı lekciyanıń maqseti programmalastırıw tilin anıqlaw hám onı programmalastırıw sistemasında túrli programmalıq paradigmalardı qollap-quwatlawdı kórsetiw. Programmalastırıw tillerin anıqlawda qollanılatuǵın qurallar hám usıllardı sonday-aq olardı programmalıq sistemalardı ámelge asırıwda keńeytip beriliwi kórip shıǵılǵan. Máselen Pure Lisp hám Paskal? C++ te sistemalı programmalastırıw materiallarınan paydalanıladı.
Ádette, programmalastırıw tiliniń táriypi leksika, sintaksis, semantika hám pragmatika dárejelerinde óz aldına beriledi. Programmalastırıw tiliniń belgili bir semantikası ushın programmalastırıw sistemasın interpretator yaki kompilyator retinde yaki ekewin de orınlawı múmkin. Kompilyaciya pútin programma ushın bir pútin retinde yaki óz aldına belgilengen funkciyalar/proceduralar ushın, atap ótsek júdá tez waqıt ishinde orınlanıwı múmkin.
Leksikalıq jaqtan bir-birine jaqın programmalastırıw tilleri, programma “otladkası”nıń dáslepki basqıshlarında oqılıwınıń qolaylıǵı menen ózine qamtıp alıwı múmkin.
Jańa programmalastırıw tilleri ádette sintaksislik jaqtan tanıp alıwı qıyın bolǵan konstrukciyalardan waz keship hám avtomat ráwishte tanıp alıwshı qurallarǵa itibar beriledi. Bunda programmanı tayarlawda qáteler sanın azaytıwǵa járdem beredi. Leksika hám sintaksistegi ózgerisler programmanı oqıwǵa hám programmalastırıw tiline tiyisli tekstti túsinip alıwǵa tásir etedi. Sintaksislik jaqtan uqsas programmalastırıw tilleri programmanı tayarlaw hám olarǵa ózgeris kirgiziwde hámde basqa sistemalarǵa ótkerilgende paydalanıw múmkin.
Bir qatar programmalastırıw tilleri programmalardı tuwrıdan-tuwrı usınıw hám orınlaw ushın paydalanatuǵın maǵlıwmatlardıń strukturası retinde ańlatadı. Bunday jaǵdayda, sintaksis ápiwayı kórinedi. Ońıń konkretizaciyası basqa programmalastırıw tilleri menen semantik salıstırıw ushın qollanıladı.
Programmalastırıw tilinde “sintaktikalıq sheker” di joq qılıw, avtor tárepinen programmanı dúzetiw hám otladka qılıwda ámelge asırılatuǵın algoritm hám mazmunın túsiwdi támiyinleydi.
Programmalastırıw tiliniń leksika hám sintaksisiniń táriypi belgili bir programmalıq paradigmanı ámelge asırıw pragmatikası menen tikkeley baylanıslı, sonlıqtan olardı tolıq kórip shıqpastan programmalastırıw tiliniń semantikası hám pragmatikasınıń qásiyetlerin analiz etiwdi dawam ettiremiz.

1. Semantika

Programmalastırıw tilin hám programmalastırıw sistemasın anıqlaw mashqalası Vena programmalastırıw tillerin anıqlaw metodologiyasında tolıq kórip shıǵılǵan. Bul metod 60-jıllardıń sońında islep shıǵılǵan. Tiykarǵı ideya programmalastırıw tiliniń semantikasın anıqlawda abstrakt sintaksis (AS) hám abstrakt mashina (Abst.M) dan paydalanıw bolıp tabıladı. Tildiń konkret sintaksisi (KS) abstrakt formaǵa keltiriledi. Konkret mashina (KM) járdeminde abstrakt mashinanı ámelge asırıw múmkin, bunnan tısqarı sáwlelendiriw sonday-aq ámelge asırıw kishi kólemge hám tómen dárejedegi quramalılıqqa iye bolıwı múmkin.

Diagramma	Táriyp
КС ↔ KS ↔ AS → Abst.M→ KM	Konkret sintaksisti abstrakt sintaksiste sáwlelendiriw hám kerisinshe abstrakt sintaksisti konkret sintaksiske sáwlelendiriwge boladı. Abstrakt sintaksis abstrakt mashinaǵa sáwlelendiriledi. Abstrakt mashina bolsa konkret mashina menen ámelge asırıladı.