Сегодня практически все программы создаются с помощью языков программирования. Теоретически программу можно написать и на естественном языке (говорят: программирование на метаязыке), но из-за неоднозначности естественного языка автоматически перевести такую программу в машинный код пока невозможно.

Языки программирования – это формальные искусственные языки. Как и естественные языки, они имеют алфавит, словарный запас, грамматику и синтаксис, а также семантику.

Алфавит – разрешенный  к использованию набор символов, с помощью которого могут быть образованы слова и величины данного языка.

Синтаксис – система  правил, определяющих допустимые конструкции языка программирования из букв алфавита.

Семантика – система правил однозначного толкования каждой языковой конструкции, позволяющих производить процесс обработки данных.[5]

Развитие компьютерных систем и их функционали потребовали научных разработок и в сфере систем представления и обработки информации, т.е. программировании. Исходя из этого, с 50-х годов идет эпопея развития различных языков программирования. Языки программирования имеют разные целевые установки, например:

- для математического расчета данных;

- для представления графических объектов;

- для визуального обрамления информации.

То есть, языки программирования, согласно механизмам применения делятся на:

- процедурные;

- объектно-ориентированные;

- функциональные;

- логические.