Programala sistemleri genel olarak bir dil ve bir birlestirici ya da derleyici programdan olusur.Programlama diliprogramci tarafindan kolayca ogrenilebilecek ve yazilabilcekbilgi islem sisteminin yapim ozellikleri ve yapilacak islemler arasinda uzlasma saglayabilecek bir bicimde olmalidir.Bu dilindiger herhangi bir dildeki gibi dilbilgisinoktalama ve yazma kurallari olacagi aciktir.
Bir bilgisayarda programlama sistemlerinin bulunmasi makina dilinde programlamanin gucluklerini onemli olcude azaltir.Birlestirici program ve derleyicilerprogramlarin makina dili disinda probleme yonelmis bir dilde hazirlanabilmesi olanagini saglar.Programlama dilinde makina diline ceviriyibirlestirici ya da derleyici araciligi ilebilgisayarin kendisi yapar. Programlama sisteminin dili makinaya ya da programa yonelmis olabilir.