Бағдарламалау тілдеріне шолу

Кез келген адам жаңа бір бағдарламалау тілімен кездескенде қоятын бірінші сұрағы: «Бұл тіл не істей алады?» – жауабы өте қарапайым, барлық бағдарламалау тілдері есептеулер жасай алады.Егер олардың бәрі тек есептеулер жасаса, онда жаңа бағдарламалау тілдері пайда болуына не себеп? Анықтама берейік: Бағдарлама–бұл есептеулерді анықтайтын таңбалар тізбегі.Бағдарламалау тілдері – бұл бағдарламаны қандай таңбалар тізбегі құрайды және бағдарлама қандай есептеуді сипаттайтынын анықтайтын ережелер жиыны. Бұл анықтамада «компьютер» - деген сөз еске алынбайды. Бағдарламалар және тілдер формальды математикалық объектілер түрінде берілуі мүмкін.