Физикадағы компьютерлік эксперимент
Эксперименттің сандық берілуінде физика мен инженерлік ғылымдар шекарасына қаншалық жақындайтын болсақ, соншалық қасиеттер айқын бейнелетін болады .Бұл салаларда ЭЕМ-дегі жұмыс теорияға қарағанда эспериментке...
Лексикалық анализ (сканер)
Сканердің кірісінде қайсыбір алфавит символдарының тізбегі тұрады.(сканер үшін бастапқы программамыз осындай болып көрінеді) Кейбір символдар комбинацияларын сканер бір объект ретінде қарастыру мүмкін. Мысалы:
...
Транслятор блоктарының аралас өзараәрекеттесуі
Көп өтімді мен бір өтімді трансляция схемаларын үйлестіру әртүрлі аралас вариантарды тудырды.Олардың көбісі табысты қолдануда. Мысал ретінде олардың кейбірін қарастырамыз.
Төмендегі суретте барлық процессті...
Транслятор блоктарының өзараәрекетінің бірөтпелі ұйымдастырылуы
Компилятор блоктарының өзара әрекеттесуін бірөтпелі етіп ұйымдастырудың бір түрі суретте көрсетілген.
Код генераторы аралық көріністің фрагментін алып, сәйкес обьектті код фрагментін құрады. Бұдан...
Транслятор фазаларының функциялары
Лексикалық анализатор (сканер деген атпен белгілі) лексемалар деп аталатын, кіретін символдар тізбегінің оқылуын және олардың элементар конструкцияларға бірігуін қамтамассыз етеді. Әрбір лексеманың классы...
Транслятордың жалпылама құрылымы
Әр түрлі программалау тілдерінің жалпы қасиеті мен заңдылықтары осы тілдердің трансляторларына да тән. Оларда берілген текстерді түрлендірудің ұқсас процестері жүреді. Бұл процестердің өзара...
Программалау тілдері теориясының негізгі түсініктері мен анықтамалары
Транслятор-қандай да бір программалау тілінде жазылған программалары объектілі тілде бейнеленген жұмыс істейтін программаға айналдыратын арнайы программа. Бұл анықтама трансляцияланатын программалардың барлық түрлеріне қатысты....
Транслятор және программалау тілдерінің жалпы ерекшіліктері
Программалау тілдері міндеттемесі, құрылымы, семантикалық күрделілігі, іске асу әдістері бойынша бір – бірінен едәуір айырмашылық жасайды. Бұл конкрет трансляторды жасауда өзіндік спецификалық ерекшіліктеріне...
Программаның дұрыстығы туралы ұғым
Қарастырылып отырған обьектілер есепті шешуге мүмкіндікберетін, нақты, толық және бірмәнді жазылғанпрограмма болыптабылады. Есепті шешу мағынасында оның алғашқы деректермәндерімен аралықнәтижелер алубарысында соңғы нәтижесін табу...
Программалау тілдерінің семантикалық мінездемелері
Алдыңғы сабақта біз мынандай тезисті алға тартқан болатынбыз: Егер S конструкцияның предикаттар түрлендірушісін білсек онда S конструкциясының семантикасын жеткілікті жақсы білеміз. Басқаша айтқанда...
Предикат түрлендірушісінің қасиеттері
R соңғы шартының функциясы бетінде қарастырылатын предикаттар түрлендірушісімен бірнеше анықталған қасиеттерге ие.
Қасиет 1. Кез келген S конструкциясы үшін
WP (S,F)=F
Айталық, бұл теңдік орындалмасын. Мұндай...
Семантика мінездемелері
Егер біз ең үлкен ортақ бөлінгішті таба алатын машина құрғымыз келсе, онда машинаның соңғы жағдайы
x=EOБ(x,y) (1)
шартын қанағаттандыру керек деп талап етеміз. (Алдын қарастырған...
Программалау тілдерінің рөлі
Өткен сабақта екі оң санның ең үлкен ортақ бөлінгішін есептейтін екі түрлі машинаның формальді емес бейнесін келтірдік. Физикалық тұрғыдан олар екі басқа, бірақ...
Трансформациялық программалау
Трансформациялық программалау. Макрогенерациялар мен дербес есептеулер программаларын тиімді етудің техникасын әдістемелік тұрғыдан біріктірді. Бұл саладағы ең өзекті ұғым – ол ақпараттық эквиваленттілігі. Ол программалар...