Qollap-quwatlaw

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