Programovací jazyk je prostriedkom pre formálny opis algoritmických problémov.
Prechod od programovania v strojových jazykoch k štrukturovanej a potom k modulárnej
metóde v procedurálnych jazykoch, ako sú napr. Pascal, MODULA, C
alebo Java je zvýšením úrovne abstrakcie pri programovaní. Praktickým dôsledkom
je možnost riešenia zložitejších problémov rýchlejšie a spolahlivejšie.