Remiantis teoriniu apibrėžimu, kalba suprantama kaip ryšių sistema, turinti tam tikrą struktūrą, turinį ir naudojimą. Kompiuterio žodyne programavimas yra programinės įrangos pirminio kodo rašymo tvarka. Tokiu būdu galima teigti, kad programavimas nurodo kompiuterinei programai, kokių veiksmų ji turi atlikti, ir kaip tai nurodyti.
Šiomis aiškiomis sąvokomis galime patvirtinti, kad programavimo kalba yra tokia struktūra, kuri tam tikru sintaksiniu ir semantiniu pagrindu suteikia skirtingas instrukcijas kompiuterinei programai.
Kalbant apie programavimo kalbos kilmę, turime neabejotinai kreiptis į Ada Lovelace, kuris laikomas pirmuoju visame pasaulyje žinomu kompiuterių programuotoju. Taigi įdomu, kad Ados programavimo kalba buvo kalbama jo garbei. Ir tai, kad šis skaičius atliko ne tik britų mokslininko Charleso Babbageo mašinų simbolių manipuliavimą, bet ir reikalingų instrukcijų sukūrimą, kad kompiuteris galėtų atlikti keletą pradinių skaičiavimų.
Programavimo kalba yra labai svarbu pabrėžti, kad specialistai, kurie yra pasiryžę plėtoti šį darbą, su elementais, kurie suteikia jam formą ir reikšmę, leidžiančius tiems dirbti ir pasiekti savo tikslus. Tarp jų būtų, pavyzdžiui, kintamieji, vektoriai, kilpos, suvaržymai, sintaksė arba statinis semantika.
Dažniausių veiksmų programavimo sekos buvo susietos su pavadinimu su lengvai įsimintinais pavadinimais (pvz., ADD arba MUL ). Instrukcijų surinkimas vadinamas surinkimo kalba .
Būtina atskirti programavimo kalbą ir kompiuterio kalbą . Yra kompiuterių kalbos, kurios iš tikrųjų nėra programavimo kalbos, kaip ir HTML ( žymėjimo kalba ).
Programavimo kalba turi galimybę tiksliai nurodyti, kokius duomenis kompiuterinė įranga turėtų veikti, kaip šie duomenys turėtų būti saugomi ar perduodami, ir kokias instrukcijas kompiuteris turėtų pradėti tam tikromis aplinkybėmis.
Yra keletas programavimo kalbų, kurios leido kurti vertėjus (programas, pritaikančias nurodymus kitoje kalboje) ir kompiliatorius (tas programas, kurios verčia iš vienos kalbos į kitą).
Pagal jų abstrakcijos lygį jie kalba apie mašinų kalbą (tai yra dvejetainės eilutės, kurias gali skaityti tiesiogiai kompiuteris), žemo lygio kalba (programavimo kalba, kuri artėja prie kompiuterio veikimo), pusinio lygio kalba (ji dalijasi su žemo lygio kalbomis, bet ir su pažangiausiais) arba aukšto lygio kalba (kurią sudaro žmogaus kalbos elementai).
Daugelis yra kalbų, kurios šiuo metu yra technologijų ir informacinių technologijų rinkoje. Tačiau iš svarbiausių galime paminėti Pascal, Visual Basic, SQL, Delphi, Lingo, Cobol, HTML ar Java. Pastarasis, pavyzdžiui, apibūdinamas, nes 1995 m. Jį sukūrė kompiuterių mokslininkas Jamesas Goslingas ir jis yra orientuotas į objektą.
Tuo tarpu minėta HTML kalba gali įrodyti, kad ji yra viena iš svarbiausių šiandien, nes ji yra naudojama tinklalapiams kurti.