Qollap-quwatlaw



Download 36,73 Kb.
bet2/2
Sana11.11.2022
Hajmi36,73 Kb.
#864223
1   2
Bog'liq
3-lekciya

1-keste. Vena usılı boyınsha programmalastırıw tilin anıqlaw ushın dekompoziciya sxeması
Abstrakt sintaksisti ulıwmalıq bolǵan programmalastırıw tilleri, semantikalıq jaqtan ekvivalent bolıp tabıladı. Olarǵa sarıplanatuǵın miynet kóleminiń parametri jaǵınan nasazlıqlardı dúzetiw (otladka) programması menen teńlestiriw múmkin.
Mánisler hám funkciyalardıń birlesiwi bazakıq qurallarǵa funkciyalar atın kiritpewge imkaniyat beredi. Bunday mexanizmdi járdemshi semantika retinde yaǵnıy “obyektler kategoriyaları” retinde kórip shıǵılsa, programmalastırıw tiliniń jánede anıgıraq táriypinde payda boladı.
2. Abstrakt mashina
Kompilyaciya processiniń qásiyetleri ápiwayı tiller ushın da biraz quramalı, sonlıqtan kompilyaciya nátiyjesiniń specifikaciyası kóbinese tilge baǵdarlanǵan abstrakt mashinalar jaǵınan qaraladı. Abstrakt mashina buyrıqlar sisteması – bazalıq semantikanı ózinde sáwlelendirgen parametrlerdi ózlestiriw hám qamtıw sheńberin qorǵaw boyınsha bir qatar sistema háreketleri menen toltırılǵan programmalastırıw tillleri názerde tutılǵan. Biraq anıq sintaksislik kóriniske iye bolmaǵan semantika programması. Bunday abstrakt mashina ádette tómendegi tiptegi buyrıqlardı ajıratıp turadı:
- mánis yadınan stekke jaylastırıw;
- ańlatpalardı qayta islew waqtında stektegi atı joq operandlar boyınsha esabatlar;
- lokalizaciyanı esapqa alıp mánislerdi stekten yadqa ótkeriw;
- baǵdarlar hám cikllerdi shólkemlestiriw;
- kontekstti saqlaw/tiklew menen procedura hám funkciyalardı shaqırıwdı shólkemlestiriw.
Buyrıqlardıń basqa tipleri de bolıwı múmkin.
Programmalastırıwda imperativ hám funkcional jandasıwlardı salıstırǵanda P.J.Landin Lisp semantikasınıń mashinaǵa baylanıslı táreplerin anıqlaw ushın qolaylı bolǵan arnawlı abstrakt SECD mashinasın usınıs etti. Usı mashinanıń tolıq xarakteristikasın Xendersonnıń funkcional programmalastırıw boyınsha kitabınan tabıw múmkin.
SECD mashinası tort regisrde isleydi.
- aralıq nátiyjelerdi alıw ushın (Stack);
- atama berilgen mánislerdi saqlaw ushın kontekst (Environment);
- esabatlardı basqarıwshı programma (Control List);
- zapas yad (Dump).
Registrlar atomlar yaki dizimler kórinislerin saqlaw ushın juwap beredi. Mashinanıń halatı usı registrlardıń quramı menen tolıq anıqlanadı.


Download 36,73 Kb.

Do'stlaringiz bilan baham:
1   2




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

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish