Programmalastırıw tillerinde hámmashinalıq oqıtıwda,Bayes programma sintezi(BPS) — bul Bayes itimallıq programmaları avtomat túrde jańa Bayes itimallıq programmalardı dóretetuǵın programma sintezi texnikası^[1]. Bul usıl adam baǵdarlamashıları jańa itimallıq programmalardı qoldan jazatuǵın itimallıq programmalastırıwdaǵı ádettegi ámeliyattan ózgeshelenedi.

Bayes programmasın sintezlew itimallıq programmalastırıw menen baylanıslı hám onı paydalanatuǵın freymvork retinde táriyiplengen. BPS-te, itimallıq programmalar keńisligindegi aldınǵı tarqalıwlar bolıp esaplanatuǵın itimallıq programmalar payda etiledi. Bul strategiya itimallıq juwmaq shıǵarıw arqalı jańa programmalardı avtomat túrde sintezlewge imkaniyat beredi hám modulli komponent programmalarınıń kompoziciyası arqalı ámelge asırıladı.

BPS-tegi modullik úlkenirek modelge integraciyalanbastan aldın, juwmaq shıǵarıw procesiniń kishirek itimallıq programmalarda islewine hám olardı testlewge imkaniyat beredi^[2].

Bul freymvorktı mısal menen programmalastırıw hám demonstraciya arqalı programmalastırıwdı óz ishine alatuǵın avtomatlastırılǵan programma sintezi tarawları shańaraǵı menen salıstırıwǵa boladı. Bunday tarawlardaǵı maqset — belgili bir sheklewdi qanaatlandıratuǵın eń jaqsı programmanı tabıw. Mısalı, dástúrli programma sintezinde logikalıq sheklewlerdi tekseriw múmkin bolǵan programmalar jaǵday keńisligin azaytadı, bul optimal programmanı tabıw ushın nátiyjelirek izlewge imkaniyat beredi. Bayes programmasın sintezlew sheklewlerdiń itimallıq bolıwı menen de, shıǵarılatuǵın nátiyjeniń ózi keyinirek jaqsılanıwı múmkin bolǵan programmalar boyınsha tarqalıw bolıwı menen de ayırmashılıq etedi.

Bunnan tısqarı, Bayes programmasın sintezlewdi Bayes programmasın úyreniw boyınsha jumıslar menen salıstırıwǵa boladı, onda itimallıq programma komponentleri qol menen jazıladı, maǵlıwmatlarǵa aldınnan oqıtıladı hám keyin qol jazba simvollardı tanıw ushın qol menen jıynaladı^[3].