1 Бағдарламалау парадигмалары және бағдарламалардың жалпы қасиеттері


Командаларды тағайындау және дәйектілік



бет4/12
Дата31.08.2023
өлшемі186 Kb.
#180035
1   2   3   4   5   6   7   8   9   ...   12
Байланысты:
2023-МУК-4. Бағдарламалардағы абстракциялар

Командаларды тағайындау және дәйектілік. Тағайындау операторы тағайындау операторының оң жағында жазылған өрнекті анықтау үшін жад ұяшығын идентификатормен байланыстырады. Байланыстыру анықталғаннан кейін жүзеге асырылады. Жалпы жағдайда тағайындау бір байланыстырудан тұрады, яғни оператор <идентификатор> = <өрнек>түрінде болады.
Сәйкес өрнектердің мәндерін бір уақытта тағайындау кезінде бір уақытта бірнеше жеке байланыссыз айнымалылар тағайындалады, ал өрнекті есептеу бастапқы ұяшықтың мәндерін алады. Бір уақытта тағайындаудың негізгі талабы-айнымалылар жеке жад ұяшықтарына жазылуы керек.
Императивті бағдарламалау парадигмасын қолдайтын бағдарламалау тілдерінде тағайындау операторы мутатор болып табылады. Бұл идентификатор деструктивті түрде жаңартылуы мүмкін жад ұяшығымен байланысты екенін білдіреді. Бұрын айтылғандай, жойқын жаңартудың артықшылығы-алдыңғы есептеулер мен жанама әсерлердің нәтижелерін жоғалту арқылы жадты қайта пайдалану-бағдарламалау үшін маңызды Негізгі математикалық принциптерді бұзуы мүмкін бағдарламаның қолайсыз режимдері.
Декларативті бағдарламалау парадигмасы бір мақсатты сипатты қолданады және өрнектің айнымалы мәнін тек бір рет тағайындайды, ал байланыстыруды нақты жою мүмкін емес. Дегенмен, кейбір бағдарламалау тілдері, мысалы, Prolog, шешімді табу үшін алдыңғы есептеуге оралуды қолдайды. Қайтарулармен сұрыптауды орындау кезінде Prolog бағдарламасындағы негізгі іске асыру машинасы алдыңғы мәннен айнымалыны байланыстырудан бас тарта алады.
Логикалық бағдарламалаудағы тағайындау операторының нұсқасы-біріктіру ұғымы. Біріктіруде екі логикалық термин теңестіріледі. Логикалық термин-айнымалыларды, тұрақтыларды, литералдарды және басқа енгізілген логикалық терминдерді қамтитын құрама құрылым. Теңестіру кезінде бағалау болмайды, өйткені терминдер өрнек емес. Оның орнына, сол жақтағы логикалық терминдер және оң жақтағы логикалық терминдер сәйкес келеді позиция позиция бойынша. Егер терминдердің бірі айнымалы болса, онда екі логикалық терминдегі бірдей айнымалының әрбір пайда болуы декларативті бағдарламалау парадигмасындағы бір мақсатты қасиетке байланысты сәйкес логикалық терминге байланысты болады. Егер сәйкес терминдердің екеуі де литерал болса, онда олар сөзбе-сөз салыстырылады.


Достарыңызбен бөлісу:
1   2   3   4   5   6   7   8   9   ...   12




©engime.org 2024
әкімшілігінің қараңыз

    Басты бет