Po teoretični definiciji se jezik razume kot komunikacijski sistem, ki ima določeno strukturo, vsebino in uporabo. Programiranje je v besednjaku računalnika postopek pisanja izvorne kode programske opreme . Na ta način lahko rečemo, da programiranje računalniškemu programu pripoveduje, kakšno dejanje mora opraviti in na kakšen način ga določi.
S temi jasnimi pojmi lahko trdimo, da je programski jezik tista struktura, ki z določeno sintaktično in semantično osnovo računalniškemu programu daje različna navodila.
Ko gre za določitev izvora programskega jezika, se moramo brez dvoma sklicevati na Ado Lovelace, ki se šteje za prvega računalniškega programerja, znanega po vsem svetu. Zato je bilo zanimivo, da je programski jezik Ada govoril v njegovo čast. In to je, da je ta številka izvedla ne samo manipulacijo niza simbolov za stroj britanskega znanstvenika Charlesa Babbagea, ampak tudi doseganje potrebnih navodil, da bi računalnik lahko izvedel vrsto začetnih izračunov.
Znotraj tega, kar je programski jezik, je zelo pomembno poudariti, da strokovnjaki, ki se zavzemajo za razvijanje tega dela, z nizom elementov, ki ji dajejo obliko in pomen, omogočajo, da delajo in dosegajo svoje cilje. Med njimi bi bile na primer spremenljivke, vektorji, zanke, omejitve, sintaksa ali statična semantika.
Programska zaporedja za najbolj običajne akcije so bila povezana z imeni, ki jih je mogoče enostavno zapomniti (npr. ADD ali MUL ). Zbiranje navodil se imenuje zbirni jezik .
Potrebno je razlikovati med programskim jezikom in računalniškim jezikom . Obstajajo računalniški jeziki, ki v resnici niso programski jeziki, kot je to v primeru HTML ( označevalni jezik ).
Programski jezik ima možnost natančno določiti, kateri podatki naj bi delovala v računalniški opremi, kako naj se ti podatki ohranijo ali prenesejo in katera navodila naj se začnejo izvajati v določenih okoliščinah.
Obstaja več programskih jezikov, ki so privedli do razvoja tolmačev (programov, ki prilagajajo navodila, ki jih najdete v drugem jeziku) in prevajalcev (tiste programe, ki prevajajo iz enega jezika v drugega).
Glede na raven abstrakcije govorijo o strojnem jeziku (to so binarni nizi, ki jih računalnik lahko bere neposredno), jezik nizke ravni (programski jezik, ki pristopi k delovanju računalnika), jezik polovičnega (deli značilnosti z jeziki nizke ravni, pa tudi z najnaprednejšimi) ali jezikom visoke ravni (ki ga tvorijo elementi človeškega jezika).
Veliko je jezikov, ki trenutno obstajajo na trgu tehnologije in informacijske tehnologije. Med najpomembnejšimi pa lahko omenimo Pascal, Visual Basic, SQL, Delphi, Lingo, Cobol, HTML ali Java. Slednje je na primer značilno, ker ga je leta 1995 razvil računalniški znanstvenik James Gosling in ker je objektno usmerjen.
Medtem pa omenjeni jezik HTML lahko ugotovi, da je danes eden najpomembnejših, saj se uporablja za ustvarjanje spletnih strani.