Programma sintezi

Kompyuter iliminde, programma sintezi — bul berilgen joqarı dárejeli formal specifikaciyanı dálil túrinde qanaatlandıratuǵın programma dúziw wazıypası. Programma tekseriwinen ayırmashılıǵı, programma berilgen emes, al dúziliwi kerek; degen menen, eki taraw da formal dálillew usılların paydalanadı hám ekewi de hár túrli avtomatlastırıw dárejelerindegi usıllardı óz ishine aladı. Avtomat programmalastırıw texnikalarınan ayırmashılıǵı, programma sintezindegi specifikaciyalar ádette sáykes logikalıq esaplawdaǵı algoritmik emes málimlemeler bolıp tabıladı.

Programma sinteziniń tiykarǵı qollanılıwı — baǵdarlamashını specifikaciyanı qanaatlandıratuǵın durıs, nátiyjeli kod jazıw júginen azat etiw. Degen menen, programma sintezi sonıń menen birge superoptimizaciyaǵa hám cikl invariantların shıǵarıp alıwǵa da qollanıladı(Alur, Singh & Fisman).

 Kelip shıǵıwı 
1957-jılı Kornell universitetinde ótkerilgen Simvollıq Logika Jazǵı Institutı waqtında, Alonzo Cherch matematikalıq talaplardan sxema sintezlew máselesin anıqladıAlonzo Church (1957). "Applications of recursive arithmetic to the problem of circuit synthesis". Summaries of the Summer Institute of Symbolic Logic. 1: 3–50.. Jumıs tek programmalarǵa emes, al sxemalarǵa silteme berse de, jumıs programma sinteziniń eń dáslepki táriyiplewleriniń biri dep esaplanadı hám ayırım izertlewshiler programma sintezin «Cherchtiń máselesi» dep ataydı. 1960-jılları, «avtomat baǵdarlamashı» ushın uqsas ideya jasalma intellekt izertlewshileri tárepinen izertlendi.

Sonnan berli, hár túrli izertlew birlespeleri programma sintezi máselesin qarastırdı. Belgili jumıslarǵa Buxi hám Landveberdiń 1969-jılǵı avtomat-teoriyalıq usılı hám Manna hám Valdingerdiń jumısları (shama menen 1980) kiredi. Zamanagóy joqarı dárejeli programmalastırıw tilleriniń rawajlanıwı da programma sinteziniń bir forması retinde túsiniliwi múmkin.

 XXI ásirdegi rawajlanıwlar 
XXI ásirdiń basında formal tekseriw birlespesinde hám baylanıslı tarawlarda programma sintezi ideyasına ámeliy qızıǵıwshılıqtıń artqanı baqlandı. Armando Solar-Lezama programma sintezi máselelerin bul logikasına kodlawǵa hám programmalardı avtomat túrde tabıw ushın bul qanaatlandırılıw máselesi ushın algoritmlerdi paydalanıwǵa bolatuǵının kórsetti.

 Derekler 

Kategoriya:Programmalastırıw paradigmaları
__BÖLİDİMÖNDEMEW__