Qollap-quwatlaw



Download 36,73 Kb.
bet1/2
Sana11.11.2022
Hajmi36,73 Kb.
#864223
  1   2
Bog'liq
3-lekciya
Obilov O\'ral, pejogomosupis, Raqamli dasturiy boshqarish, 1 курслар Меъёрий хужжатлар бўйича масъуллар, 1-курс фан ўқитувчилари, ogiz-boshligi-shilliq-qavati-tuzilishi-va-funksiyasi-obshqdagi-patologik-jarayonlar-morfologik-eleme, 8-мавзу (2), 7-мавзу (1), 9-SINF-Geometriya, Fanga oid kompetensiyalar-fayllar.org, 51.Ergasheva Hilola 7-son, 2 5339307401684197664, dental caries, file




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ı.




Download 36,73 Kb.

Do'stlaringiz bilan baham:
  1   2




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2023
ma'muriyatiga murojaat qiling

    Bosh sahifa
davlat universiteti
ta’lim vazirligi
axborot texnologiyalari
zbekiston respublikasi
maxsus ta’lim
guruh talabasi
nomidagi toshkent
O’zbekiston respublikasi
o’rta maxsus
toshkent axborot
texnologiyalari universiteti
xorazmiy nomidagi
davlat pedagogika
rivojlantirish vazirligi
pedagogika instituti
Ўзбекистон республикаси
tashkil etish
vazirligi muhammad
haqida tushuncha
таълим вазирлиги
toshkent davlat
respublikasi axborot
O'zbekiston respublikasi
kommunikatsiyalarini rivojlantirish
махсус таълим
vazirligi toshkent
fanidan tayyorlagan
saqlash vazirligi
bilan ishlash
Toshkent davlat
Ishdan maqsad
fanidan mustaqil
sog'liqni saqlash
uzbekistan coronavirus
respublikasi sog'liqni
coronavirus covid
vazirligi koronavirus
koronavirus covid
qarshi emlanganlik
covid vaccination
risida sertifikat
sertifikat ministry
vaccination certificate
haqida umumiy
o’rta ta’lim
matematika fakulteti
fanlar fakulteti
pedagogika universiteti
ishlab chiqarish
moliya instituti
fanining predmeti