Un limbaj de programare este un limbaj artificial care prin exprimari simbolice descrie operatiile de prelucrare automata a datelor, necesare pentru rezolvarea nuei anumite probleme a utilizatorului. Calculatorul manipuleaza informatiasub forma binara. El nu intelege decat comenzi date in binar. Codul in care sunt scrise aceste comenzi este codul binar, iar limbajul este limbajul masina. Se numeste asa pentru ca este un limbaj al masinii, al procesorului. Este specific fiecarui tip de masina deoarece setul de instructiuni pe care le intelege calculatorul trebuie sa se regaseasca sub forma de circuite electronice in procesor. Pentru om este foarte greu sa urmareasca un program scris in limbajul masina, program care este un sir de cifre binare din aceasta cauza au fost create limbajele de programare de nivel inalt.

Ele sunt mai apropiate de limbajul uman si sunt in general portabile, adica, cu foarte mici modificari, un program scris intr-un astfel de limbaj vaputea fi executat pe orice tip de calculator. O instructiune dintr-un limbaj de nivel inalt codifica un grup de instructiuni masina. Limbajele de programare de nivel inalt se mai numesc si limbaje algoritmice deoarece descriu algoritmul de rezolvare a problemei sub forma unei secvente de instructiuni care se vor executa in ordinea in care au fost scrise. Limbajul Pascal este un limbaj de nuvel inalt.